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:

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.

3 May 2004 xhtml1.0 css2.0