[CSDL] Độ phụ thuộc hàm

[mat_na]

Em có bài tập như sau:
Cho lược đồ quan hệ a=(u,F) và tập phụ thuộc hàmF={AB->C, B->D, CD->E,CE->GH,G->A}Chứng minh rằng AB->E và AB->G suy dẫn được từ F.

Anh, chị và các bạn xem giúp em bài giải của em sai chỗ nào chỉ giúp em...

Giải: AB->E
AB->B (tính phản xạ)
{AB->B,AB->C} ╞ AB->BC (tính kết hợp)
{B->D} ╞ BC->CD (tính tăng trưởng)
{AB->BC,BC->CD} ╞ AB->CD (tính bắc cầu)
{AB->CD, CD->E} ╞ AB->E (tính chất bắc cầu)

Giải: AB->G
{CE->GH} ╞ CE->G (tính phân rã)
CD->C (tính phản xạ)
{CD->C,CD->E} ╞ CD->CE (tính kết hợp)
AB->B (tính phản xạ)
{AB->B,AB->C} ╞ AB->BC (tính kết hợp)
{B->D} ╞ BC->CD (tính tăng trưởng)
{AB->BC,BC->CD} ╞ AB->CD (tính bắc cầu)
{AB->CD,CD->CE} ╞ AB->CE (tính bắc cầu)
{AB->CE, CE->G} ╞ AB-> G (tính bắt cầu)

Cảm ơn mọi người!

[ngoc vu quoc]

Bạn làm đúng rồi : mình nghĩ có cách gọn hơn như này ( ko bt đúng ko ) :
a/ AB -> E
CD -> E suy ra C -> E( đúng ko nhỉ,bạn xem đc ko ? ), mà AB -> C :từ 2 điều này suy ra AB -> E ( bắc cầu ) ( từ đây có AB -> C và AB -> E suy ra AB -> CE )

b/ AB -> G
CE -> GH suy ra CE -> G, từ câu a có AB -> CE : từ 2 điều này suy ra AB -> G

[hiepnt]

Bạn làm đúng rồi : mình nghĩ có cách gọn hơn như này ( ko bt đúng ko ) :
a/ AB -> E
CD -> E suy ra C -> E( đúng ko nhỉ,bạn xem đc ko ? ), mà AB -> C :từ 2 điều này suy ra AB -> E ( bắc cầu ) ( từ đây có AB -> C và AB -> E suy ra AB -> CE )

b/ AB -> G
CE -> GH suy ra CE -> G, từ câu a có AB -> CE : từ 2 điều này suy ra AB -> G

Phần tô đậm là sai, Câu b thì đúng.
cách giải cho bài này
a)
AB ->C và B ->D thì AB -> CD (kết hợp)
AB -> CD và CD -> E thì AB -> E (bắc cầu)
b)
AB -> E và AB -> C thì AB -> CE (kết hợp)
AB -> CE và CE -> GH thì AB -> GH (bắc cầu)
AB -> GH thì AB -> G (luật tách)