多項(xiàng)選擇題

Amrstrong公理系統(tǒng)的三條附加的推理規(guī)則有（）

A.分解規(guī)則
B.合并規(guī)則
C.傳遞律
D.增廣律
E.自反律
F.偽傳遞規(guī)則

你可能感興趣的試題

多項(xiàng)選擇題

封鎖導(dǎo)致的問(wèn)題包括（）

A.并發(fā)調(diào)度結(jié)果不唯一
B.死鎖
C.活鎖
D.并發(fā)調(diào)度錯(cuò)誤

多項(xiàng)選擇題

下面屬于概念結(jié)構(gòu)設(shè)計(jì)方法的有（）

A.逐步擴(kuò)張
B.自頂向下
C.混合方法
D.自底向上