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
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. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||