演绎数据库采用一阶谓词逻辑为表示工具,为适应数据库应用需要,对其作适当改造而 ... 系统,美国 MCC 的 LDL 系统,墨尔本大学研制的 Aditi 系统以及美国加州大学的基于 ...
確定! 回上一頁