問答題

試由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


您可能感興趣的試卷

你可能感興趣的試題

最新試題

假設(shè)關(guān)系R的元組個(gè)數(shù)為T(R),元組的大小為I(R),存儲(chǔ)塊的大小為b,B(R)=T(R)*I(R)/b。關(guān)于表空間掃描算法,下列說法正確的是()。

題型:?jiǎn)雾?xiàng)選擇題

?已知關(guān)系R和關(guān)系S,若要對(duì)R (Join on R.Y=S.Y)S進(jìn)行代價(jià)估計(jì),則下列正確進(jìn)行代價(jià)估計(jì)的是()。

題型:?jiǎn)雾?xiàng)選擇題

關(guān)于R與S的并、交、差運(yùn)算的基于散列的兩趟算法,其中第一趟都是劃分子表,都要求子表的存儲(chǔ)塊數(shù)要小于可用內(nèi)存塊數(shù),以便子表可以一次性裝入內(nèi)存進(jìn)行處理。關(guān)于劃分子表,下列說法正確的是()。

題型:?jiǎn)雾?xiàng)選擇題

關(guān)于基于散列的兩趟算法,下列說法正確的是()。

題型:?jiǎn)雾?xiàng)選擇題

?關(guān)于基于散列的兩趟算法,下列說法不正確的是()。

題型:?jiǎn)雾?xiàng)選擇題

?關(guān)于基于排序的兩趟算法,下列說法不正確的是()。

題型:?jiǎn)雾?xiàng)選擇題

?已知關(guān)系R。T(R)=100,000,V(R,A)=200,V(R,B)=1000,若要對(duì)?進(jìn)行代價(jià)估計(jì),則下列正確進(jìn)行代價(jià)估計(jì)的是()。

題型:?jiǎn)雾?xiàng)選擇題

?已知關(guān)系R和S。關(guān)系占用的磁盤塊數(shù)B(R)=1000,B(S)=500,已知可用內(nèi)存頁(yè)數(shù)M=50。采用基于排序的算法,下列說法正確的是()。

題型:?jiǎn)雾?xiàng)選擇題

在三級(jí)模式兩層映像結(jié)構(gòu)中,“物理模式”是指()。

題型:?jiǎn)雾?xiàng)選擇題

關(guān)于,下列說法不正確的是()。?

題型:?jiǎn)雾?xiàng)選擇題