Eliminating Harmful Joins in Warded Datalog+/-.
Teodoro BaldazziLuigi BellomariniEmanuel SallingerPaolo AtzeniPublished in: RuleML+RR (2021)
Keyphrases
- expressive power
- deductive databases
- query optimization
- query evaluation
- query answering
- query language
- data complexity
- join algorithms
- transitive closure
- relational algebra
- datalog programs
- sql queries
- aggregate functions
- integrity constraints
- containment of conjunctive queries
- map reduce
- logic programming
- join processing
- ontology based data access
- relational calculus
- join operations
- predicate invention
- object oriented