問答題

【簡答題】

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

答案: ( 1 )已知X 一Z ,由增廣律知喲,YZ ,又因?yàn)閄 一...
題目列表

你可能感興趣的試題

問答題

【簡答題】關(guān)系系統(tǒng)中,當(dāng)操作違反實(shí)體完整性、參照完整性和用戶定義的完整性約束條件時(shí),一般是如何分別進(jìn)行處理的?

答案: 對于違反實(shí)體完整性和用戶定義的完整性的操作一般都采用拒絕執(zhí)行的方式進(jìn)行處理。而對于違反參照完整性的操作,并不都是簡單地拒...
微信掃碼免費(fèi)搜題