函数依赖问题

[billy_2005]

本人近来学数据库,做练习题时遇到以下的题目,想了很久都想不明
设有关系模式R(A,B,C,D),F是R上成立的FD集,F={B->A,D->C},则F+中左部为(BC)的函数依赖有哪些
请问这题目的整个解法是怎样的,谢谢!

[billy_2005]

答案说有8个,但我按以下的方法,数不了8个
【例】　 已知关系模式R(A,B,C,D,E)，F={AB→C,B→D,C→E,EC→B,AC→B}是函数依赖集，求(AB)+。
依算法2.1解：
(1) 置初始值 A=ф，A*=AB；
(2) 因A≠A*，置A=AB；
(3) 第一次扫描F，找到AB→C和B→D，其左部íAB，故置A*=ABCD。搜索完,转(2)；
(2) 因A≠A*，置A=ABCD；
(3) 第二次扫描F，找到C→E和AC→B，其左部íABCD，故置A*=ABCDE。搜索完,转(2)；
(2) 因A≠A*，置A=ABCDE；
(3) 第三次扫描F，找到EC→B，其左部íABCDE，故置A*=ABCDE。搜索完,转(2)；
(2) 因A=A*，转(4)；
(4) 输出A*，即(AB)+=ABCDE。

不知道是不是我理解错了