��1、插入 ��向r2中插入元组t2，则系统必须保证r1中存在元组t1，使得t1[K]=t2[α]，即t2[α]∈ΠK(r1)；否则失败！ ��2、删除 ��如果从r1中删除元组t1，则系统必须计算r2中参照t1的元组集合，即。如果该集合非空，则： ��①�报错并撤消删除命令；或者是 ��②�r2中参照t1的元组也必须被删除掉(可能导致级联删除)。 ��3、更新 ��有两种情况要考虑： ��⑴�如果关系r2中元组t2被更新，并且该更新修改外码a上的值，则进行类似插入情况的测试。令t2'表示元组t2的新值，则系统必须保证：t2'[α]∈ΠK(r1)；否则更新失败！ ��⑵�如果关系r1中元组t1被更新，并且该更新修改主码K上的值，则进行类似删除情况的测试。系统必须用旧的t1值(更新前的值)计算。如果该集合非空，则更新失败或者进行级联更新。 ��