Projects archive / The SQLEDDI environment

Code: sqleddiBeynon2002 Title: The SQLEDDI environment Authors: Meurig Beynon, Michael Evans, Chris Brown, Ashley Ward Date: Oct-2002 Funding: Acad - Academic research Short description: Studying the design and implementation of SQL EM Technologies: tkeden, %eden, %scout, %eddi, %toysql, %sqlzero, %sqlte Keywords: notation, tool, translator, education empublic references: eddipTruong1996, agentparserBrown2001, sqleddiBeynon2001 EMpress references: Web site references: http://www.dcs.warwick.ac.uk/people/academic/Abhir.Bhalerao/dcs/dbase.html, http://www.dcs.warwick.ac.uk/research/modelling/hi/guides/eddi/ Previous locations: Tour: README

This project provides an extension to the tkeden
environment in which it is possible to study the use of SQL in conjunction
with EDDI, a definitive notation based on relational algebra, as a
relational database query language. The design of EDDI is closely based on
that of ISBL (as developed by Todd at IBM Peterlee in 1976). The SQLEDDI
environment can be used to demonstrate the flaws in the design of SQL that
have been identified by commentators such as Date and Darwen, how these
distance it from the underlying relational theory of Codd and introduce
problematic issues in implementation. Further details of relevant
investigations with the model are given in the worksheets and further
documentation cited in the README for the model.

The development of the model originated with the work of Truong in 1996,
who first devised and implemented EDDI using an eden pipeline. This was
later improved by Ward and Beynon. Brown subsequently introduced an EDDI
parser within tkeden to demonstrate the operation of his agent-based parser
in 2001. Much of the work on the sqleddi environment was carried out by
Evans, who implemented the agent-based parser for SQL, and developed the
first prototype for the SQL0 interpreter and SQL-to-EDDI translator. The
current version of the environment was developed by Beynon in conjunction
with a module on Database Systems in October and November 2001, and
improved and modified to work with the new Eden notations framework by
Beynon and Ward in October 2002. [WMB]

empublic system initially created by Ashley Ward with assistance from Chris Roe and Meurig Beynon.