Abstract
Programmers working on database-backed applications frequently face trade-offs between designing maintainable software and efficient software due to the overhead of querying a database. We demonstrate FlowDB, an analysis for database-backed programs that can aid in program transformations that allow a program to be written in a maintainable style while still being performant. FlowDB employs demand-driven control flow analysis (DCFA) to produce a set of query sites that may be evaluated during the execution of a program. This set of query sites may then be used by a developer or compiler to cache needed results.
Degree
MS
College and Department
Computational, Mathematical, and Physical Sciences; Computer Science
Rights
https://lib.byu.edu/about/copyright/
BYU ScholarsArchive Citation
Lewis, Koby J., "FlowDB: A Complete Method for Extracting Queries From Functional Programs" (2025). Theses and Dissertations. 11430.
https://scholarsarchive.byu.edu/etd/11430
Date Submitted
2025-08-01
Document Type
Thesis
Keywords
query extraction, higher order functions, static analysis
Language
english