Eg1: 设关系模式U={A,B,C,D,E}
说明 X(n) 表示的是由 X(n - 1)可以推导出的全部元素
F={AB→C,B→D,C→E,CE→B,AC→B}, 求(AB)+解: X(0)=AB
X(1)=ABCD ∵X(0)≠X(1) 继续查找
X(2)=ABCDE=U
∴(AB)+ ={ABCDE}
Eg2: F={AB→CE,A→C,GP→B,EP→A,CDE→P,HB→P,
D→HG,ABC→PG} , 求D+
X(0)=D
X(1)=DHG ∵X(0)≠X(1) 继续查找
X(2)=DHG ∵X(1)=X(2) 停止查找
∴D+ ={DHG}