loading...
Generalising the Z Schema Calculus: Database Schemas and Beyond
Chiang Mai, Thailand December 10-December 12
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.2003.125435510th Asia-Pacific Software Engineerin ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Andrew Martin, Oxford University Software Engineering Centre
Andrew Simpson, Oxford University Software Engineering Centre
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. In this paper 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.
Citation:
Andrew Martin, Andrew Simpson, "Generalising the Z Schema Calculus: Database Schemas and Beyond," apsec, pp.28, 10th Asia-Pacific Software Engineering Conference (APSEC'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.