DisLog - A Disjunctive Deductive Database Prototype (system description).
Dietmar SeipelPublished in: WLP (1997)
Keyphrases
- deductive databases
- disjunctive deductive databases
- integrity constraints
- datalog programs
- logic programming
- fixpoint
- query evaluation
- integrity checking
- horizontal fragmentation
- closed world assumption
- event calculus
- update propagation
- high level
- distributed systems
- programming language
- database
- semantic query optimization
- databases