Sign in
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates.
Aalok Thakkar
Nathaniel Sands
George Petrou
Rajeev Alur
Mayur Naik
Mukund Raghothaman
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
relational queries
datalog programs
conjunctive queries
sql queries
probabilistic databases
answering queries
user defined
query optimizer
database
database systems
object oriented
query optimization
first order logic
expressive power
query evaluation
xml queries