A Logic Based Approach for Restoring Consistency in P2P Deductive Databases.
Luciano CaropreseEster ZumpanoPublished in: DEXA (2) (2015)
Keyphrases
- deductive databases
- logic programming
- update propagation
- declarative semantics
- model theoretic
- integrity constraints
- logical implication
- fixpoint
- peer to peer
- semantics of logic programs
- general logic programs
- logic programs
- disjunctive deductive databases
- semantic query optimization
- declarative language
- closed world assumption
- query evaluation
- integrity checking
- nonmonotonic reasoning
- hypothetical reasoning
- knowledge representation
- constraint checking
- datalog programs
- fixpoint semantics
- multi valued
- programming language
- modal logic
- logic programming language
- constraint logic programming
- default logic
- database