An Implementation of View Updates

As part of 15-721 Database Management Systems, I implemented and extended some ideas proposed by the Harmony project. In particular, I have:

• implemented single-relation views supporting updates (following the work of Greenwald, Moore, Pierce, and Schmitt [1])
• introduced a new synchronization primitive used in the implementation of views defined by the join of two (or more) relations

In particular, I have shown how a limited form of join can be updated without ambiguity by giving a translation from a subset of SQL into the Focal programming language.

I describe my results in View Updates seen through the Lens of Synchronization.

You can also download my SML implementation or view the README file.

[1] A Language for Bi-Directional Tree Transformations. Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, and Alan Schmitt. 2003.