loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
10th Asia-Pacific Software Engineering Conference (APSEC'03)
Generalising the Z Schema Calculus: Database Schemas and Beyond
Chiang Mai, Thailand
December 10-December 12
ISBN: 0-7695-2011-1
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.