Generalising the Z schema calculus: database schemas and beyond

The theory of relational databases has much in common with the mathematical structures central to the Z notation. Many authors have noted these connections in the past, but the development of the Z standard has provided a more natural way of making these links explicit. We explore extensions to the schema calculus that may help to model the familiar relational algebra operations in a clear way. Potential areas of application for this work include pedagogy, practical database design, and helping to point the way towards a more general means for defining a broader class of schema calculus operations.

[1]  Jim Woodcock,et al.  The Semantics of Circus , 2002, ZB.

[2]  E. F. CODD,et al.  A relational model of data for large shared data banks , 1970, CACM.

[3]  Susan Stepney,et al.  Type-Constrained Generics for Z , 2000, ZB.

[4]  Arno Siebes,et al.  Schema refinement and schema integration in object-oriented databases. , 1993 .

[5]  David Edmond.  Refining Database Systems , 1995, ZUM.

[6]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[7]  Kees M. van Hee,et al.  A Formal Semantics for Z and the Link between Z and the Relational Algebra , 1990, VDM Europe.

[8]  Matilde Celma,et al.  Automatic Generation of Trigger Rules for Integrity Enforcement in Relational Databases with View Definition , 1998, FQAS.

[9]  T. J. Teorey,et al.  A logical design methodology for relational databases using the extended entity-relationship model , 1986, CSUR.

[10]  Cliff B. Jones,et al.  Modularizing the Formal Description of a Database System , 1990, VDM Europe.

[11]  Jean-Raymond Abrial,et al.  The B-book - assigning programs to meanings , 1996 .

[12]  Brian Matthews,et al.  Formal Development of Databases in ASSO and B , 1999, World Congress on Formal Methods.

[13]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[14]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[15]  C. A. R. Hoare,et al.  Unifying theories of programming , 1998, RelMiCS.

[16]  Susan Stepney,et al.  Systems Development Using Z Generics , 1999, World Congress on Formal Methods.

[17]  David J. Harper,et al.  A Method for the Specification of Relational Database Applications , 1991, Z User Workshop.

[18]  Alan R. Simon,et al.  Understanding the New SQL: A Complete Guide , 1993 .

[19]  Erich J. Neuhold,et al.  Building Data Base Management Systems Through Formal Specification , 1981, ICFPC.

[20]  S. M. Brien,et al.  W: A Logic for Z , 1991, Z User Workshop.

[21]  Klaus-Dieter Schewe,et al.  On the Derivation of Executable Database Programs from Formal Specifications , 1993, FME.

[22]  Klaus-Dieter Schewe,et al.  Specification and Refinement in an Integrated Database Application Environment , 1991, VDM Europe.

[23]  Amel Mammar,et al.  A Generic Process to Refine a B Specification into a Relational Database Implementation , 2000, ZB.

[24]  Jin Song Dong,et al.  ZML: XML Support for Standard Z , 2003, ZB.

[25]  Samuel H Valentine.  Equal Rights for Schemas in Z , 1995, ZUM.

[26]  Ashish Gupta,et al.  Aggregate-Query Processing in Data Warehousing Environments , 1995, VLDB.

[27]  Mark d'Inverno,et al.  Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems , 1995, ZUM.

[28]  Dines Bjørner,et al.  Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper) , 1982, VLDB.

[29]  Jennifer Widom,et al.  Database Systems: The Complete Book , 2001 .

[30]  Stéphane Bressan,et al.  Introduction to Database Systems , 2005 .

[31]  Roberto Souto Maior de Barros,et al.  Deriving Relational Database Programs from Formal Specifications , 1994, FME.

[32]  J. Woodcock,et al.  Refinement in Circus , 2002, FME.

[33]  Erich J. Neuhold,et al.  The Vienna Development Method (VDM) and its Use for the Specification of a Rational Data Base System , 1980, IFIP Congress.

[34]  Klaus-Dieter Schewe,et al.  Specification and Refinement of Databases and Transactions , 1993 .

[35]  Jim Woodcock,et al.  Using Z - specification, refinement, and proof , 1996, Prentice Hall international series in computer science.

[36]  Axel Uhl,et al.  Model-Driven Architecture , 2002, OOIS Workshops.

[37]  E. F. Codd,et al.  Relational Completeness of Data Base Sublanguages , 1972, Research Report / RJ / IBM / San Jose, California.

[38]  David Edmond,et al.  Information modeling: specification and implementation , 1993 .

[39]  Robert W. Floyd,et al.  Assigning Meanings to Programs , 1993 .

[40]  Roberto Souto Maior de Barros,et al.  On the Formal Specification and Derivation of Relational Database Applications , 1994, US-Brazil Joint Workshops on the Formal Foundations of Software Systems.

[41]  David J. Harper,et al.  Formal Development of Relational Database Applications , 1992, Specifications of Database Systems.

[42]  C. J. Date.  A Guide to the SQL Standard , 1987 .