單項選擇題設(shè)F是屬性組U上的一組函數(shù)依賴，下列哪一條屬于Armstrong公理系統(tǒng)中的基本推理規(guī)則？（）

A.若X→Y及X→Z為F所邏輯蘊含，則X→YZ為F所邏輯蘊含
B.若X→Y及Y→Z為F所邏輯蘊含，則X→Z為F所邏輯蘊含
C.若X→Y及WY→Z為F所邏輯蘊含，則XW→Z為F所邏輯蘊含
D.若X→Y為F所邏輯蘊含，且ZY，則X→Z為F所邏輯蘊含


您可能感興趣的試卷

你可能感興趣的試題

1.單項選擇題由于關(guān)系模式設(shè)計不當(dāng)所引起的更新異常指的是（）。

A.兩個事務(wù)并發(fā)地對同一數(shù)據(jù)項進(jìn)行更新而造成數(shù)據(jù)庫不一致
B.關(guān)系的不同元組中數(shù)據(jù)冗余，更新時未能同時更新所有有關(guān)元組而造成數(shù)據(jù)庫不一致
C.未經(jīng)授權(quán)的用戶對數(shù)據(jù)進(jìn)行了更新
D.對數(shù)據(jù)的更新因為違反完整性約束條件而遭到拒絕

3.單項選擇題

設(shè)有兩個事務(wù)T1、T2，對數(shù)據(jù)A的并發(fā)操作如下圖所示。下列說法中正確的是（）。

A.該操作不存在問題
B.該操作丟失修改
C.該操作不能重復(fù)讀
D.該操作讀“臟”數(shù)據(jù)

4.單項選擇題在修改數(shù)據(jù)庫時，如果先對外存的數(shù)據(jù)庫進(jìn)行了修改，而未對外存的日志文件進(jìn)行修改，若此時系統(tǒng)出現(xiàn)了故障，那么系統(tǒng)恢復(fù)時（）。

A.不可以執(zhí)行UNDO，也不可以執(zhí)行REDO
B.不可以執(zhí)行UNDO，但可以執(zhí)行REDO
C.可以執(zhí)行UNDO，也可以執(zhí)行REDO
D.可以執(zhí)行UNDO，但不可以執(zhí)行REDO