§1 数据库系统概述 §4 数据库系统的组成 §2 数据模型 §3 DBS的结构 §1 关系模型的基本概念 §2 RDBS的数据操纵语言：关系代数 §3 RDBS的数据操纵语言：关系演算语言 §1 SQL概述 §2 SQL数据定义功能 §3 SQL数据操纵功能 §4 视图 §5 SQL数据控制功能 §6 嵌入式SQL §1 关系系统 §2 关系系统的查询优化 §1 数据库设计概述 §2 需求分析 §3 概念结构设计 §4 逻辑结构设计 §5 物理结构设计 §6 数据库的实施和维护 §1 事务的基本概念 §2 故障的种类 §3 恢复的实现技术 §4 恢复策略 §1 并发控制概述 §2 封锁（Locking） §3 封锁协议 §5 并发调度的可串行性 §6 两段锁协议 §7 封锁的粒度 §1 数据库安全性控制 §2 统计数据库安全性 §1 完整性约束条件 §2 完整性控制 §3 SQL的完整性实现

《高等数学I》是工科(非数学)本科专业学生的一门必修的重要基础理论课，它是为培养我国社会主义现代化建设所需要的高质量专门人才服务的。通过本课程的学习，要使学生获得：1、函数与极限；2、一元函数微积分学；3、向量代数与空间解析几何；4、多元函数微积分学；5、无穷级数(包括傅立叶级数)；6、微分方程等方面的基本概念、基本理论和基本运算技能，为学习后继课程和进一步获取数学知识奠定必要的数学基础。同时，要通过各个教学环节逐步培养学生具有抽象思维能力、逻辑推理能力、空间想象能力、运算能力和自学能力，还要特别注意培养学生具有综合运用所学知识去分析问题和解决问题的能力

– 代数项和它们在多类别代数中的解释 – 等式规范（也叫代数规范）和等式证明系统 – 等式证明系统的可靠性和完备性（公理语义和指称语义的等价） – 代数之间的同态关系和初始代数 – 数据类型的代数理论 – 从代数规范导出的重写规则（操作语义）

代数结构的主要研究对象是各种各样的代数系 统，即具有一些元运算的集合,本章介绍的群就 是具有一个二元运算的代数系统. 本章以群为例讨论代数结构，它的思想和方 法已经渗透到现代科学的许多分支、它的结果 已应用到计算机的不少方面，因此计算机科学 工作者应初步掌握其基本的理论和方法. 读者通过对群的学习应初步掌握对代数系统研 究的一般方法，从简单到复杂、从具体到一般

主要内容 7.1概述 7.2关系代数的基本运算 7.3关系代数的附加运算 7.4扩充的关系代数运算 7.5关系演算 7.6关系代数的修改运算 7.7关系代数表达式的优化策略 7.8本章小结

关系代数概述 一、关系是一个属性数目相同的元组的集合。 二、关系代数

关系模型的重要部分是关系操纵,关系 代数是一种抽象的查询语言,是关系数 据操纵语言的一种传统表达方式,它是 用对关系的运算来表达查询的。利用关 系代数可以演示一个查询语言从关系数 据库系统中检索信息的潜力,可以用最 简单的形式来表达所有关系数据库查询 语言必须完成的运算的集合,这些基本 的运算对解释标准查询语言SQL如何被执 行很有帮助,同时也有利于培养关系运 算的思维能力

定义10:设A,B是两个非空集合,f是A到B的 一个二元关系。若对Va∈A,都存在唯一的b∈B, 使得(a,b)∈f,则称f是从A到B的一个映射, 定义14:设A,B,C为三个集合,称从A×B 到C的一个映射为A与B到C的一个二元 代数运算,特别地,当A=B=C时, 称为A上的一个二元运算

布尔代数是计算机科学最重要的基础理论之 一,它在开关网络及数字电路的设计上有广 泛深入的应用. 布尔代数是计算机科学工作者必备的基础知 识，应掌握格与布尔代数的一般理论和方法， 除§3 Stone定理的证明细节可根据具体情 况删减外，其他内容应很好地掌握

一、插值问题 给定函数f(x)在区间a,b]上的一组n+1个不同的点 a≤x