Well Founded Semantics for P2P Deductive Databases.
Luciano CaropreseEster ZumpanoPublished in: SEBD (2019)
Keyphrases
- deductive databases
- fixpoint
- logic programming
- peer to peer
- integrity constraints
- query evaluation
- semantic query optimization
- general logic programs
- declarative language
- disjunctive deductive databases
- integrity checking
- normal logic programs
- declarative semantics
- constraint checking
- logic programs
- closed world assumption
- model theoretic
- fixpoint semantics
- semantics of logic programs
- hypothetical reasoning
- object identity
- stable models
- answer set programming
- relational databases
- data mining