$n$-permutability and linear Datalog implies symmetric Datalog.
Alexandr KazdaPublished in: CoRR (2015)
Keyphrases
- expressive power
- deductive databases
- query answering
- datalog programs
- query language
- logic programming
- integrity constraints
- transitive closure
- database languages
- relational algebra
- ontology based data access
- relational calculus
- first order logic
- existentially quantified
- containment of conjunctive queries
- directed acyclic graph
- information systems
- data exchange
- function free horn