Restoring Consistency in P2P Deductive Databases.
Luciano CaropreseEster ZumpanoPublished in: SUM (2012)
Keyphrases
- deductive databases
- update propagation
- integrity constraints
- peer to peer
- fixpoint
- semantic query optimization
- logic programming
- query evaluation
- disjunctive deductive databases
- declarative language
- integrity checking
- declarative semantics
- closed world assumption
- model theoretic
- constraint checking
- distributed databases
- object identity
- datalog programs
- logical implication
- query answering
- fixpoint semantics
- databases
- knowledge representation
- general logic programs
- relational databases