問答題

【簡答題】證明：已知｛X→Y，WY→Z｝，求證XW→Z。

答案：

你可能感興趣的試題

【簡答題】證明：已知｛X→Z｝，求證WX→Z。

答案：證：X→Z⊨WX→WZ（A2擴展律）
W.X→Z（A5分解規(guī)則）

【簡答題】
己知一個關(guān)系數(shù)據(jù)庫的模式如下：S（SNO，SNAME，SCITY）P（PNO，PNAME，COLOR，WEIGHT）J（JNO，JNAME，JCITY）SPJ（SNO，PNO，JNO，QTY）其中：S表示供應(yīng)商，它的各屬性依次為供應(yīng)商號、供應(yīng)商名和供應(yīng)商所在城市；P表示零件，它的各屬性依次為零件號、零件名、零件顏色和零件重量；J表示工程，它的各屬性依次為工程號、工程名和工程所在城市；SPJ表示供貨關(guān)系，它的各屬性依次為供應(yīng)商號、零件號、工程號和供貨數(shù)量。
用關(guān)系代數(shù)表達式表示下面的查詢要求：
（1）為工程J10供應(yīng)零件的供應(yīng)商代碼SNO。
（2）為工程J9供應(yīng)零件P9的供應(yīng)商代碼SNO。
（3）為工程J8供應(yīng)黃色零件的供應(yīng)商代碼SNO。
（4）沒有使用南京供應(yīng)商生產(chǎn)的黃色零件的工程項目代碼JNO。

答案：