Optimized Sorting Functions for a Distributed Deductive Database.
Martin MaskarinecKathleen NeumannPublished in: IC-AI (2008)
Keyphrases
- deductive databases
- logic programming
- integrity constraints
- distributed systems
- disjunctive deductive databases
- distributed environment
- integrity checking
- fault tolerant
- declarative semantics
- event calculus
- fixpoint
- mobile agents
- distributed data
- query evaluation
- first order logic
- logic programs
- update propagation
- closed world assumption
- peer to peer