Negation in Rule-Based Database Languages: A Survey.
Nicole BidoitPublished in: Theor. Comput. Sci. (1991)
Keyphrases
- database languages
- programming language
- deductive object oriented
- database systems
- object oriented databases
- logic programming
- data driven
- logic programs
- rule based systems
- query language
- databases
- expert systems
- rule base
- object oriented
- fixpoint
- predicate logic
- containment of conjunctive queries
- database
- deductive databases
- horn clauses
- knowledge base
- compositional semantics