运算器 控制器 数据通路结构 与外部的连接 指令的执行过程 CPU组成 CPU工作原理 逻辑代数与逻辑电路基础(补充)

8.1 基本概念 8.2 关系代数向Datalog规则的转换 8.3 递归原理 8.4 包的运算 8.5 本章小结

SQL Server 2000是运行于Windows 操作系统的的关系型数据库管理系 统(RDBMS-- Relational DataBase Manage System)，是新一代电子商 务、数据仓库和数据库解决方案

第二章关系数据库 2.1关系模型概述 2.2关系数据结构 2.3关系的完整性 2.4关系代数 2.5关系演算 2.6小结

1、考虑图1所示关系数据库。对于下述查询中的每一个,给出一个关系代数表达式

• 直观地介绍余归纳的定义、余归纳的证明原理和余代数 • 形式地介绍递归类型 • 形式地介绍归纳类型和余归纳类型 • 解释 – 代数方法是从“构造的”角度研究抽象数据类型 – 余代数方法是从“观察的”的角度描述像对象、自动机、进程、软件构件等基于状态的系统

2.4 关系代数 2.5 关系演算 2.6 小结

Relational Model Relational Algebra(关系代数) Relational Calculus(关系演算)

2.1 逻辑代数 2.1.1 基本逻辑 2.1.2 基本逻辑运算 2.1.3 真值表与逻辑函数 2.1.4 逻辑代数的基本定律 2.1.5 三个规则 2.1.6 常用公式 2.1.7 逻辑函数的标准形式 2.2 逻辑函数的简化 2.2.1 简化的意义和目标 2.2.2 公式化简法（代数法） 2.2.3 图解法（卡诺图法） 2.2.4 逻辑函数的系统简化法

2.1 逻辑代数 2.1.1 基本逻辑 2.1.2 基本逻辑运算 2.1.3 真值表与逻辑函数 2.1.4 逻辑代数的基本定律 2.1.5 三个规则 2.1.6 常用公式 2.1.7 逻辑函数的标准形式 2.2 逻辑函数的简化 2.2.1 简化的意义和目标 2.2.2 公式化简法（代数法） 2.2.3 图解法（卡诺图法） 2.2.4 逻辑函数的系统简化法