Checking Termination of Datalog with Function Symbols Through Linear Constraints.
Marco CalauttiSergio GrecoCristian MolinaroIrina TrubitsynaPublished in: SEBD (2015)
Keyphrases
- linear constraints
- function symbols
- consistency checking
- logic programming
- query answering
- first order logic
- expressive power
- logic programs
- deductive databases
- type checking
- data exchange
- answer set programming
- conjunctive queries
- normal form
- linearly constrained
- reasoning tasks
- data complexity
- horn clauses
- transitive closure
- integrity constraints
- stable models
- answer sets
- query language
- incomplete information
- data integration
- database systems
- constraint programming
- theorem proving
- background knowledge
- knowledge representation
- probabilistic model