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/

Date Submitted

2025-08-01

Document Type

Thesis

Keywords

query extraction, higher order functions, static analysis

Language

english

Share

COinS