一、基本概念 二、程序测试的基本方法 三、部分正确性证明方法 四、终止性证明方法

一、程序设计方法学的产生 二、程序设计方法学的基本内容 三、本课程的核心内容和目的

一、创建视图 二、修改和重命名视图 三、查看视图信息、删除视图 四、通过视图修改记录

一、创建表 二、增加、删除和修改字段 三、创建、删除和修改约束 四、查看表格

一、基本概念 二、关系数据库 三、常见数据库对象 四、范式

一、管理事务 二、管理数据库

一、SQL Server数据类型 二、SQL Server 全局变量和局部变量 三、SQL Server 函数 四、T-SQL 控制流程 五、游标

一、触发器的概念 二、触发器的功能和类型 三、使用企业管理器创建和管理触发器 四、使用T-SQL创建和管理触发器

一、数据的导入 二、数据的导出

一、CORBA基本概念 二、CORBA基本模型 三、开发工具及程序设计方法