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.