This National Science Foundation Project Grant award of $349,998 provides funding from October 1, 2022 through September 30, 2026 to support research into automatically discovering and verifying database query transformations. The award is made under the Computer and Information Science and Engineering program (CFDA 47.070), which aims to advance computer science and engineering research and education.
Specifically, the awardee Yale University will develop a system capable of automatically discovering new strategies for transforming database queries to improve performance, without relying solely on manually specified rules. The researchers will model rewrite rules as logical query plans paired with constraints ensuring equivalent transformations. Their work will enumerate logical plans up to a size threshold and identify necessary conditions making plan pairs equivalent. Additionally, the team will create a rule verifier using satisfiability modulo theories solving to prove correctness by converting rules to first-order logic formulas. The project's goal is to significantly accelerate query processing times and thereby enhance the end-to-end performance of web applications that rely heavily on database access.
Generated 1/7/24, 3:00 AM