修改.有两种情况: 如果修改关系中的元组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 ) 若此集合非空, 则要么认为出错而拒绝修改, 要么对 此集合中的元组作级联修改, 要么删除此集合中的元组