Optimizing Recursive Queries with Progam Synthesis.
Yisu Remy WangMahmoud Abo KhamisHung Q. NgoReinhard PichlerDan SuciuPublished in: SIGMOD Conference (2022)
Keyphrases
- recursive queries
- transitive closure
- query language
- query optimization
- expressive power
- datalog programs
- semi structured data
- fixpoint
- relational algebra
- database theory
- data model
- constraint databases
- logic programs
- database systems
- query evaluation
- first order logic
- path expressions
- data mining techniques
- object oriented