Q2(ABCSXYZ)

F2 = {SA; AXB; SB; BYC; CZX}

Xác định các khoá:

Tập nguồn: {S,Y,Z}
Tập đích: Rỗng
Trung gian: {A,B,C,X}
-Thử với tập nguồn: K=(SYZ)+F2 => SYZABCX = Q2+
Vậy khóa của Q2 là SYZ

Phủ tối thiểu:

-Tách vế phải F2 sao cho chỉ có một thuộc tính:
{SA; AXB; SB; BYC; CZX}
-Loại bỏ phụ thuộc hàm không đầy đủ:
AXB:
A+F2=A không chứa B
X+F2=X không chứa B
BYC
B+F2=B không chứa C
Y+F2=Y không chứa C
CZX
C+F2=C không chứa X
Z+F2=Z không chứa X

-Loại bỏ phụ thuộc hàm thừa:

S->A:
S+F2-(S->A)=SB không chứa A
S->B:
S+F2-(S->A)=SB không chứa B
AXB:
AX+F2-(AX->B)=AX không chứa B
BYC:
BY+F2-(BY->C)=BY không chứa C
CZX:
CZ+F2-(CZ->X)=CZ không chứa X
Phủ tối thiểu: {SA; AXB; SB; BYC; CZX}