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

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


您可能感興趣的試卷

你可能感興趣的試題

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

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

3.單項(xiàng)選擇題

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

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

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

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