Dealing with incompleteness and inconsistency in P2P deductive databases.
Luciano CaropreseEster ZumpanoPublished in: IDEAS (2014)
Keyphrases
- deductive databases
- integrity checking
- integrity constraints
- logic programming
- peer to peer
- query evaluation
- disjunctive deductive databases
- fixpoint
- semantic query optimization
- constraint checking
- closed world assumption
- declarative language
- model theoretic
- logical implication
- semantics of logic programs
- database
- high level
- declarative semantics
- datalog programs
- conjunctive queries
- incomplete information
- logic programs
- general purpose