Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates

Explore a groundbreaking approach to synthesizing relational queries with recursive and invented predicates in this 18-minute video presentation from OOPSLA2 2023. Delve into the innovative two-step process developed by researchers from the University of Pennsylvania and the University of Southern California. Learn how their tool, Mobius, first synthesizes a non-recursive query consistent with given data, then identifies recursion schemes to generalize to arbitrary data. Discover the iterative predicate unification procedure that leverages data provenance to accelerate convergence. Understand how Mobius outperforms state-of-the-art baselines in both runtime and accuracy on challenging recursive query synthesis tasks. Gain insights into the potential of this fully automated approach for synthesizing complex relational queries and its implications for programming by example and example-guided synthesis.