EASIK: Database design and manipulation implemented categorically

Bob Rosebrugh – 25 February 2009

Finite-limit, finite-sum (EA) sketches are the right syntactic structure for modelling databases and their "views". With Mike Johnson and others we have explored this observation about EA sketches for several years. In particular, the ability to express constraints and determine updatability of views both extends and considerably enhances those of the standard Entity-Relationship (ER) data model. We begin with a brief overview of these ideas. Using Java to provide portability, we have written an application that provides a user-friendly graphical design environment for EA sketches, supprots exporting a design to a database schema in SQL (the standard relational databas language), and allows data entry and manipulation. The most recent version of the application will be demonstrated.