P2P Deductive Databases: Well Founded Semantics and Distributed Computation.
Luciano CaropreseEster ZumpanoPublished in: ADBIS (Short Papers and Workshops) (2017)
Keyphrases
- deductive databases
- distributed computation
- fixpoint
- integrity constraints
- peer to peer
- logic programming
- distributed databases
- disjunctive deductive databases
- semantic query optimization
- query evaluation
- general logic programs
- scalability issues
- transitive closure
- model theoretic
- normal logic programs
- fixpoint semantics
- declarative semantics
- semantics of logic programs
- distributed environment
- logic programs
- datalog programs
- answer set programming
- programming language
- data model