XSB as a Deductive Database.
Konstantinos SagonasTerrance SwiftDavid Scott WarrenPublished in: SIGMOD Conference (1994)
Keyphrases
- deductive databases
- integrity constraints
- logic programming
- fixpoint
- query evaluation
- semantic query optimization
- event calculus
- integrity checking
- disjunctive deductive databases
- declarative semantics
- update propagation
- logic programs
- general purpose
- information sources
- datalog programs
- data management
- knowledge representation