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}