test 2

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

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

F={AB->C, A->D, BD->C}

Tập phụ thuộc hàm G nào là phủ không dư của tập phụ thuộc hàm F?

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

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

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

• G={AB->C}