Datalog in Wonderland.
Mahmoud Abo KhamisHung Q. NgoReinhard PichlerDan SuciuYisu Remy WangPublished in: SIGMOD Rec. (2022)
Keyphrases
- expressive power
- deductive databases
- query answering
- datalog programs
- query language
- transitive closure
- logic programming
- integrity constraints
- ontology based data access
- existentially quantified
- database languages
- data exchange
- dl programs
- containment of conjunctive queries
- query evaluation
- relational algebra
- propositional logic
- data complexity
- database systems
- case study
- artificial intelligence
- machine learning