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