nnn-permutability and linear Datalog implies symmetric Datalog.
Alexandr KazdaPublished in: Log. Methods Comput. Sci. (2018)
Keyphrases
- expressive power
- deductive databases
- query answering
- datalog programs
- query language
- logic programming
- existentially quantified
- integrity constraints
- ontology based data access
- transitive closure
- relational query languages
- machine learning
- data exchange
- linear model
- data complexity
- relational calculus
- recursive programs
- relational algebra
- database languages
- data integration
- knowledge base