Algorithmic Design Using Object-Z for Twig XML Queries Evaluation
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards formally templated relational database representations in z
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Logic, damned logic, and statistics
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Translation of Z specifications to executable code: Application to the database domain
Information and Software Technology
Hi-index | 0.00 |
The theory of relational databases has much in common withthe mathematical structures central to the Z notation. Manyauthors have noted these connections in the past, but thedevelopment of the Z Standard has provided a more naturalway of making these links explicit. In this paper we exploreextensions to the schema calculus that may help to model thefamiliar relational algebra operations in a clear way. Potentialareas of application for this work include pedagogy,practical database design, and helping to point the way towardsa more general means for defining a broader class ofschema calculus operations.