a.     Cho lược đồ quan hệ R(ABCDEGH) với tập phụ thuộc hàm

F={ABèC, BèD, CDèE, CEèGH, GèA}

Tìm chuỗi suy diễn cho phụ thuộc hàm ABèEG

Giả sử K= R = (A,B,C,D,E,G,H)

Thử loại lần lượt các thuộc tính của K

v Thử loại A ta có

GàA           {B,C,D,E,G,H}+=R

àA thuộc {B,C,D,E,G,H}+

àK={B,C,D,E,G,H}

v Thử loại B ta có

{B,C,D,E,G,H}+ ≠ R

à K={B,C,D,E,G,H}

v Thử loại C ta có

GàA            A thuộc {B,D,E,G,H}+

ABàC            C thuộc {B,D,E,G,H}+

{B,D,E,G,H}+=R

àK = {B,D,E,G,H}+

v Thử loại D ta có

BàD           {B,E,G,H}+=R           D thuộc {B,E,G,H}+

àK={B,E,G,H}+

v Thử loại E ta có

GàA            A thuộc {B,G,H}+

ABàC            C thuộc {B,G,H}+

BàD            D thuộc {B,G,H}+

CDàE           E thuộc {B,G,H}+

{B,G,H}+=R

àK={B,G,H}

v Thử loại G ta có

{B,H}+ ≠ R

àK={B,G,H}

v Thử loại H ta có

GàA            A thuộc {B,G}+

ABàC            C thuộc {B,G}+

BàD            D thuộc {B,G}+

CDàE           E thuộc {B,G}+

CEàH            H thuộc {B,G}+

à{B,G}+=R

                                       Vậy khóa của lược đồ quan hệ R là K={B,G}