This National Science Foundation Project Grant of $399,999 supports research at New York University from October 1, 2022 to September 30, 2026 under the Computer and Information Science and Engineering program. The research aims to develop an automated system for discovering and verifying database query transformation strategies to improve query performance. Existing databases rely on manually specified strategies to optimize queries, but often miss opportunities. The project will model rewrite rules as logical query plans with constraints to prove equivalence, allowing enumeration of plans up to a size threshold. A rule verifier using satisfiability modulo theories proves correctness by converting rules to first-order logic formulas. The research products will be a system that discovers new transformation strategies to accelerate query processing, thereby enhancing the end-to-end performance of web applications that rely on database queries.
Mod # | Description | Reason For Modification | Federal Obligation (Click to sort descending) | Date (Click to sort ascending) |
|---|---|---|---|---|
| Not listed | $400.0k | 7/12/22 |