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 ]