名詞解釋

推理規(guī)則的正確性和完備性

答案：正確性是指，如果X→Y是從推理規(guī)則推出的，那么X→Y在F+中。完備性是指，不能從F使用推理規(guī)則導(dǎo)出的...

你可能感興趣的試題

函數(shù)依賴集F的閉包F+

答案：

被邏輯蘊(yùn)涵的函數(shù)依賴的全體構(gòu)成的集合，稱為F的閉包（closurE.，記為F+。

傳遞依賴

答案：在關(guān)系模式中，如果Y→X，X→A，且XY（X不決定Y），AX（A不屬于X），那么稱Y→A是...