Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability.
Georg GottlobReinhard PichlerEmanuel SallingerPublished in: PODS (2015)
Keyphrases
- function symbols
- expressive power
- tuple generating dependencies
- first order logic
- inference rules
- data complexity
- theorem proving
- transitive closure
- logic programs
- probabilistic reasoning
- relational algebra
- inductive logic programming
- horn clauses
- knowledge representation
- theorem prover
- normal form
- incomplete information
- query language
- database systems
- databases
- logic programming
- relational calculus
- exptime complete