关系数据库系统-南京大学.ppt

* 数据独立性是指应用程序和数据库的数据结构之间相互独立，不受影响。在修改数据结构时，尽可能不修改应用程序，则称系统达到了数据独立性目标。 * 目前的关系数据库系统一般建立在逻辑与代数的基础上 * 例如，开发工具丰富 * 0 基础准则：一个关系数据库管理系统必须能完全通过它的关系能力来管理数据库，这是关系数据库管理系统的基本准则。任何DBMS必须满足准则0。 * 对NULL和任何值（包括另一个NULL）进行算术运算（如*和+），其结果仍然为空值。 当使用比较运算符，如=或，比如NULL值和任意值（包括另一个NULL值）时，结果都为UNKNOWN。 * 实体完整性、关联完整性和用户完整性约束 * 第二大，就是除了第一大之外的最大 * 2007年度-教育部-IBM精品课程-南京大学计算机科学与技术系 * 【例】除运算与笛卡儿乘积的关系 T S = A B C D a1 b1 c1 d1 a1 b1 c2 d2 a1 b1 c3 d3 a2 b2 c1 d1 a2 b2 c2 d2 a2 b2 c3 d3 R A B a1 b1 a2 b2 T C D c1 d1 c2 d2 c3 d3 S T = R S S = R T 2007年度-教育部-IBM精品课程-南京大学计算机科学与技术系 * 【例】除运算与笛卡儿乘积的关系 A B C D a1 b1 c1 d1 a1 b1 c2 d2 a1 b1 c3 d3 a1 b2 c1 d1 a2 b2 c1 d1 a2 b2 c2 d2 a2 b2 c3 d3 a2 b1 c2 d2 R A B a1 b1 a2 b2 T = R S C D c1 d1 c2 d2 c3 d3 S d3 d2 d1 d3 d2 d1 D c3 b2 a2 c2 b2 a2 c1 b2 a2 c3 b1 a1 c2 b1 a1 c1 b1 a1 C B A R’ := T S 2007年度-教育部-IBM精品课程-南京大学计算机科学与技术系 * 3.3.4 关系代数中的扩充运算 ‘除’运算与基本关系运算的关系 IF Head(R) = { A1 . . . An B1 . . . Bm } Head(S) = { B1 . . . Bm } THEN R÷S = A1...An(R) - A1...An(( A1...An(R)XS) - R) 2007年度-教育部-IBM精品课程-南京大学计算机科学与技术系 * ‘除’运算的推导过程 Tmax := A1...An ( R ) // Tmax是最大可能的结果元组集合 Rmax := Tmax X S // Rmax与关系R是同类关系 T1 := Rmax – R T2 := A1...An ( T1 ) // T2是关系Tmax中不满足除运算的结果要求的那些元组，即：对于关系T2中的任一个元组q，至少能在关系S中找到一个元组s，使得由元组q和s所构成的元组(q,s)不在关系R中出现 R ÷ S := Tmax – T2 2007年度-教育部-IBM精品课程-南京大学计算机科学与技术系 * 没有出现在SC中的元组，其sno不符合‘除’运算对结果关系中元组的要求 没有出现在SC中的元组，其sno不符合‘除’运算对结果关系中元组的要求 没有出现在SC中的元组，其sno不符合‘除’运算对结果关系中元组的要求 【例】‘除’运算的推导过程 sno cno s1 c1 s1 c2 s2 c1 s2 c2 s2 c3 s3 c2 SC cno c1 c2 c3 C s2 sno 结果关系T s3 s2 s1 sno Tmax c3 s1 c1 s3 c3 s3 c2 s3 c3 s2 c2 s2 c1 s2 c2 s1 c1 s1 cno sno SCmax s3 s1 sno sno(SCmax - SC) 2007年度-教育部-IBM精品课程-南京大学计算机科学与技术系 * 【例】 ‘除’运算的推导过程 sno cno G s1 c1 80 s1 c2 85 s2 c1 90 s2 c2 70 s2 c3 85 s3 c2 85 SC cno c1 c2 c3 C 85 85 70 90 85 80 G s3 s2 s2 s2 s1 s1 sno Tmax 2007年度-教育部-IBM精品课程-南京大学计算机科学与技术系 * 3.3.4 关系代数中的扩充运算 设结果关系为T，则关系T与关系R和S的关系是： Head(T) = Head(R) all Head(S) 不必消除它们之间的同名属性，但在结果关系中必须对同名属性进行换名 从关系R和S中分别任取一