A Parsing System Based on a Deductive Database.
Burkhard FreitagGünther SpechtPublished in: GWAI (1989)
Keyphrases
- deductive databases
- integrity constraints
- logic programming
- disjunctive deductive databases
- fixpoint
- semantic query optimization
- integrity checking
- query evaluation
- event calculus
- update propagation
- natural language
- closed world assumption
- general logic programs
- declarative semantics
- database systems
- semantics of logic programs