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

Armstrong's axioms for functional dependencies include the rules:

• Reflexivity, union, and decomposition

• Reflexivity, transitivity, union, and decomposition

• Reflexivity, augmentation, union, and decomposition

• Reflexivity, augmentation, transitivity.

The augmentation rule in Armstrong's axioms states:

• If A->B then B->A

• If A->B then A->BC

• If A->B then AC->BC

• If A->B then BC->A

The transitivity rule in Armstrong's axioms states:

• If A->B and B->C then A->C

• If A->B and B->C then AC->B

• If A->B and B->C then AB->C

• If A->B and B->C then AC->BC

Which of the following is a union property?

• If XY and ZW then XZYW

• If XY and XZ then XYZ

• If XYZ then XY and XZ

• If XYZ, ZVW then XYVW

For the relation schema (=(U, F) with U=ABCDEGK and the set of functional dependencies F={ABC, BD, CDE, CEGK, GA}, the closure of the attribute set CDE is:

• CDE

• ACDEGK

• ABCDEGK

• ABCDE

For the relation schema (=(U, F) with U=ABCDEGK and the set of functional dependencies F={ABC, BD, CDE, CEGK, GA}, the closure of the attribute set AB is:

• ABCDEGK

• ABCD

• AB

• ABCDEK

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

• ABCDEGK

• ABCD

• AB

• ABCDEK

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

• CGK

• ABCDEGK

• ACGK

• ABCDE

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

• BCD

• BCED

• ABCDE

• ABCDEGK

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

• ABCDEGK

• ADK

• ABCDE

• ADEGK