試由amstrong 公理系統(tǒng)推導(dǎo)出下面三條推理規(guī)則:
( 1 )合并規(guī)則:若X 一Z , X 一Y ,則有X 一YZ
( 2 )偽傳遞規(guī)則:由x 一Y ,明吟z 有翔一z
( 3 )分解規(guī)則:x 一Y , zcy ,有x 一z
您可能感興趣的試卷
你可能感興趣的試題
最新試題
?關(guān)于基于散列的兩趟算法,下列說法不正確的是()。
?假設(shè)A1,…,An是E1相關(guān)的屬性,B1,B2,…,Bm是E2相關(guān)的屬性。下列哪個變換是正確的?()
?已知關(guān)系R的參數(shù)如下:聚簇存儲磁盤塊數(shù)B(R)=1,000,元組數(shù)T(R)=20,000,R中屬性A的不同值的個數(shù)被記為V(R,A)=100。R上有基于屬性A的排序索引。關(guān)于σA=0(R),下列說法正確的是()。
關(guān)于學(xué)生關(guān)系,下列哪一個屬性適合作為候選碼?()
?已知關(guān)系R和S。關(guān)系占用的磁盤塊數(shù)B(R)=1000,B(S)=500,已知可用內(nèi)存頁數(shù)M=50。采用基于排序的算法,下列說法正確的是()。
?關(guān)于基于散列的兩趟算法和基于排序的兩趟算法的基本思想,下列說法正確的是()。
已知關(guān)系R。T(R)=100,000,V(R,A)=200,V(R,B)=1000,若要對進行代價估計,則下列正確進行代價估計的是()。
?已知關(guān)系R和關(guān)系S,若要對R (Join on R.Y=S.Y)S進行代價估計,則下列正確進行代價估計的是()。
?當發(fā)現(xiàn)數(shù)據(jù)庫系統(tǒng)運行性能下降時,可能的原因是()。
關(guān)于邏輯查詢優(yōu)化和物理查詢優(yōu)化,下列說法正確的是()。