数据库管理系统实现技术.pptVIP

Chap.8 基于关系DB实现知识库的方法 8.1 The Datalog Data Model 2. Extensional and Intensional Predicates. 3. Atomic FormulasDatalog programs are built from atomic formulas, which are predicate symbols with a list of arguments. 4. built_in predicatesDefinition: Atomic formulas with the arithmetic comparison predicates. (=, ≤, and so on) e.g. x y 5. Clauses and Horn ClauseslA Clause is a sum (logical OR) of literals.lA Horn clause is a clause with at most one positive literal. Horn Clause’s form:①A single positive literal,e.g p(X,Y) —— fact②One or more negative literals, with