实体完整性约束: 若A是关系模式R(U)的主属性,则R(U)的任何一个实 例关系不存在任何元组在A上的值为空。 2关联/参照完整性约束: 设X是关系模式R(U)关于关系模式R?(U)的外部键。如果 K是R(U)的关系实例的一个元组的外部键值,则R(U)的 实例中必存在一个元组T,T在X上的值为K。 例: Student NO, Name, Sex, Age, Class, Deptno Dept (deptNo, DeptName
实体完整性约束： 若A是关系模式R（U）的主属性，则R（U）的任何一个实 例关系不存在任何元组在A上的值为空。 2 关联/参照完整性约束： 设X是关系模式R（U）关于关系模式R’(U’)的外部键。如果 K是R（U）的关系实例的一个元组的外部键值，则R’(U’)的 实例中必存在一个元组T，T在X上的值为K。 例： Student ( NO, Name, Sex, Age, Class, DeptNO ) , Dept (DeptNO, DeptName)
Foreign Key a reference table rl on delete/update/cascadelset null/ 更新时的参照完整性约束: 为了保持参照完整性约束必须尽心如下检查 ∏x(2)∈k(r1) 插入.如果元组t2被插入到2,则系统必须确保r1中存在元组t1使 得t1冈=t2即 t2]∈∏k(r1) 删除.如果从r1删除元组t1,则系统必须计算2中引用t的元组集合 X=1区K 如果此集合非空,则要么认为出错而拒绝删除命令,要么删 除这些引用t1的元组(级联删除)
更新时的参照完整性约束： 为了保持参照完整性约束必须尽心如下检查: X (r2 ) K (r1 ) •插入. 如果元组 t2 被插入到r2 , 则系统必须确保r1中存在元组 t1 使 得 t1 [K] = t2 [X]. 即 t2 [X] K (r1 ) •删除. 如果从r1删除元组t1 , 则系统必须计算r2中引用t1的元组集合 : X = t1[K] (r2 ) 如果此集合非空, 则要么认为出错而拒绝删除命令, 要么删 除这些引用t1的元组(级联删除). Foreign Key reference table r1 on delete/update [cascade/set null ]
修改.有两种情况: 如果修改关系中的元组t并且修改了外键X的值,则 作类似于插入情况的检査.令t表示元组t2的新值.系 统必须确保 t2]∈k(r1) 如果修改关系「1中的元组t1并且修改了主键K的值,则 作类似于删除情况的检査.系统必须利用t1在修改前的 旧值计算 Ox=n/k(r2) 若此集合非空,则要么认为出错而拒绝修改,要么对 此集合中的元组作级联修改,要么删除此集合中的元组
修改. 有两种情况: •如果修改关系r2中的元组 t2 并且修改了外键X的值, 则 作类似于插入情况的检查. 令 t2 ’ 表示元组t2的新值. 系 统必须确保 t2 ’[X] K(r1 ) •如果修改关系r1中的元组 t1并且修改了主键K的值, 则 作类似于删除情况的检查. 系统必须利用t1在修改前的 旧值计算 X = t1[K] (r2 ) 若此集合非空, 则要么认为出错而拒绝修改, 要么对 此集合中的元组作级联修改, 要么删除此集合中的元组
域约束: 域约束是完整性约束的最基本形式 可用于检测插入到数据库中的数据的合法性,或用于查询中检测两个 数据进行比较时的合法性. check子句允许对域作限制 利用 check子句确保“小时工资”域只允许大于指定值的值. create domain hourly wage numeric(5, 2) constraint value test check(value >=4.00 这个域具有约束:小时工资大于400 子句 constraint value test使可选的;可用于指示以后的更新破坏了哪 条约束 可有更复杂的域检查条件 Create domain Account Type char(10) constraint account type test check(value in(Checking, Saving)) check(branch name in(select branch name from branch)
域约束： 域约束是完整性约束的最基本形式. 可用于检测插入到数据库中的数据的合法性, 或用于查询中检测两个 数据进行比较时的合法性. check子句允许对域作限制: 利用check 子句确保“小时工资”域只允许大于指定值的值. create domain hourly_wage numeric(5,2) constraint value_test check(value > = 4.00) 这个域具有约束：小时工资大于 4.00 子句constraint value_test 使可选的; 可用于指示以后的更新破坏了哪 一条约束. 可有更复杂的域检查条件 Create domain AccountType char(10) constraint account_type_test check (value in (‘Checking’, ‘Saving’)) check (branch_name in (select branch_name from branch))
2,2关系代数 关系代数是过程化的查询语言,它包括一个运算集合 这些运算以一个或两个关系为输入,产生一个新的关系 为结果 关系代数的基本运算有: 选择 投影 并 集合差 笛卡儿积 些附加运算:即集合交、自然连接、除和赋值,附加 运算用基本运算来定义
2.2 关系代数 关系代数是过程化的查询语言，它包括一个运算集合。 这些运算以一个或两个关系为输入，产生一个新的关系 为结果。 关系代数的基本运算有： 选择 投影 并 集合差 笛卡儿积 一些附加运算：即集合交、自然连接、除和赋值，附加 运算用基本运算来定义