Better Together: Unifying Datalog and Equality Saturation.
Yihong ZhangYisu Remy WangOliver FlattDavid CaoPhilip ZuckerEli RosenthalZachary TatlockMax WillseyPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- database query languages
- deductive databases
- expressive power
- query answering
- fixpoint
- logic programming
- datalog programs
- query language
- transitive closure
- integrity constraints
- neural network
- relational algebra
- containment of conjunctive queries
- relational calculus
- data mining
- equivalence relation
- real time
- predicate invention
- relational query languages