2-Phụ thuộc hàm – Phủ không dư

Hệ tiên đề Armstrong cho các phụ thuộc hàm gồm các quy tắc:

• Phản xạ, hợp và tách

• Phản xạ, bắc cầu, hợp và tách

• Phản xạ, gia tăng, hợp và tách

• Phản xạ, gia tăng, bắc cầu.

Quy tắc gia tăng trong hệ tiên đề Armstrong:

• Nếu A->B suy ra B->A

• Nếu A->B suy ra A->BC

• Nếu A ->B suy ra AC->BC

• Nếu A-> B suy ra BC->A

Quy tắc bắc cầu trong hệ tiên đề Armstrong:

• Nếu A->B và B->C thì A->C

• Nếu A->B và B->C thì AC->B

• Nếu A->B và B->C thì AB->C

• Nếu A->B và B->C thì AC->BC

Tính chất nào sau đây là tính chất hợp:

• Nếu X->Y và Z->W thì XZ->YW

• Nếu X->Y và X->Z thì X->YZ

• Nếu X->YZ thì X-> Y và X->Z

• Nếu X->YZ, Z-> VW thì X->YVW

Cho lược đồ quan hệ (=(U, F) với

U=ABCDEGK và tập phụ thuộc hàm

F={AB->C, B-> D, CD->E, CE->GK, G->A}

Bao đóng của tập thuộc tính CDE là:

• CDE

• ACDEGK

• ABCDEGK

• ABCDE

Cho lược đồ quan hệ (=(U, F) với

U=ABCDEGK và tập phụ thuộc hàm

F={AB->C, B-> D, CD->E, CE->GK, G->A}

Bao đóng của tập thuộc tính AB là:

• ABCDEGK

• ABCD

• AB

• ABCDEK

Cho lược đồ quan hệ (=(U, F) với

U=ABCDEGK và tập phụ thuộc hàm

F={AB->C, B-> D, CD->E, CE->GK, G->A}

Bao đóng của tập thuộc tính CGK là:

• CGK

• ABCDEGK

• ACGK

• ABCDE

Cho lược đồ quan hệ (=(U, F) với

U=ABCDEGK và tập phụ thuộc hàm

F={AB->C, B-> D, CD->E, CE->GK, G->A}

Bao đóng của tập thuộc tính BCD là:

• BCD

• BCED

• ABCDE

• ABCDEGK

Cho lược đồ quan hệ (=(U, F) với

U=ABCDEGK và tập phụ thuộc hàm

F={AB->C, B-> D, CD->E, CE->GK, G->A}

Bao đóng của tập thuộc tính ADK là:

• ABCDEGK

• ADK

• ABCDE

• ADEGK

• G={AB->C, A->D, BD->C}

• G={AB->C, A->D}

• G={A->D, BD->C}

• G={AB->C}