Optimizing Recursive Queries with Program Synthesis.
Yisu Remy WangMahmoud Abo KhamisHung Q. NgoReinhard PichlerDan SuciuPublished in: CoRR (2022)
Keyphrases
- program synthesis
- recursive queries
- transitive closure
- query optimization
- query language
- expressive power
- semi structured data
- relational algebra
- fixpoint
- datalog programs
- database theory
- query containment
- inductive logic programming
- structured data
- first order logic
- semi structured
- object oriented databases
- logic programming
- logic programs
- database systems