試由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)于連接運(yùn)算R （JOIN on R.A=S.B）S的基于散列的兩趟算法，下列說(shuō)法正確的是（）。
已知關(guān)系R。T（R）=100，000，V（R，A）=200，V（R，B）=1000，若要對(duì)進(jìn)行代價(jià)估計(jì)，則下列正確進(jìn)行代價(jià)估計(jì)的是（）。
在三級(jí)模式兩層映像結(jié)構(gòu)中，“模式”是指（）。
分組聚集操作的一趟掃描算法（）。
在三級(jí)模式兩層映像結(jié)構(gòu)中，“全局模式”是指（）。
若某屬性非該關(guān)系的主鍵，卻是另外一個(gè)關(guān)系的主鍵，則該屬性稱(chēng)為（）。
關(guān)于R與S的并、交、差運(yùn)算的基于散列的兩趟算法，其中第一趟都是劃分子表，都要求子表的存儲(chǔ)塊數(shù)要小于可用內(nèi)存塊數(shù)，以便子表可以一次性裝入內(nèi)存進(jìn)行處理。關(guān)于劃分子表，下列說(shuō)法正確的是（）。
假設(shè)關(guān)系R的元組個(gè)數(shù)為T(mén)（R），元組的大小為I（R），存儲(chǔ)塊的大小為b，B（R）=T（R）*I（R）/b。關(guān)于表空間掃描算法，下列說(shuō)法正確的是（）。
已知關(guān)系R。T（R）=100，000，V（R，A）=200，V（R，B）=1000，若要對(duì)進(jìn)行代價(jià)估計(jì)，則下列正確進(jìn)行代價(jià)估計(jì)的是（）。
關(guān)于邏輯查詢(xún)優(yōu)化和物理查詢(xún)優(yōu)化，下列說(shuō)法正確的是（）。