Better Together: Unifying Datalog and Equality Saturation.
Yihong ZhangYisu Remy WangOliver FlattDavid CaoPhilip ZuckerEli RosenthalZachary TatlockMax WillseyPublished in: CoRR (2023)
Keyphrases
- expressive power
- deductive databases
- database query languages
- fixpoint
- query answering
- query language
- logic programming
- datalog programs
- integrity constraints
- function symbols
- database systems
- transitive closure
- logic programs
- database languages
- data sets
- tuple generating dependencies
- color image enhancement
- relational query languages
- data complexity
- information systems
- equivalence relation
- information retrieval
- predicate invention
- ontology based data access
- real time