Using Java to Implement a Distributed Deductive Database.
Martin MaskarinecKathleen NeumannPublished in: IC-AI (2002)
Keyphrases
- deductive databases
- integrity constraints
- disjunctive deductive databases
- distributed object
- logic programming
- query evaluation
- fixpoint
- distributed systems
- distributed environment
- fault tolerant
- distributed data
- datalog programs
- event calculus
- integrity checking
- programming language
- artificial intelligence
- general logic programs
- database