Deduction with Contradictions in Datalog.
Serge AbiteboulDaniel DeutchVictor VianuPublished in: ICDT (2014)
Keyphrases
- expressive power
- deductive databases
- inference rules
- query answering
- query language
- datalog programs
- logic programming
- theorem proving
- database languages
- automated deduction
- ontology based data access
- automated theorem proving
- transitive closure
- integrity constraints
- first order logic
- computer algebra
- predicate invention
- existentially quantified
- relational algebra
- high level
- information systems
- dl programs
- containment of conjunctive queries
- database