Towards Formally Templated Relational Database Representations in Z

Abstract

Many authors have drawn parallels between the relational model of data and the formal description technique Z, yet none of these contributions have managed to be both close to the relational model in terms of providing a practical means of database design and fully formal in terms of providing an appropriate metamodel. We compare these various formalisms, and suggest how the use of the formal template approach of Amálio et al might help to overcome some of the issues faced. We demonstrate the application of this work via a short case study, and suggest further enhancements to the template language.

Document

If you cannot see the document below, the PDF document is most likely not freely accessible. In this case, please try to access the document via this link.

Reference

% BibTex
@inproceedings{WuS10,
  author       = {Nicolas Wu and
                  Andrew Simpson},
  editor       = {Marc Frappier and
                  Uwe Gl{\"{a}}sser and
                  Sarfraz Khurshid and
                  R{\'{e}}gine Laleau and
                  Steve Reeves},
  title        = {Towards Formally Templated Relational Database Representations in
                  {Z}},
  booktitle    = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
                  {ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5977},
  pages        = {363--376},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11811-1\_27},
  doi          = {10.1007/978-3-642-11811-1\_27},
  timestamp    = {Thu, 20 Jun 2024 12:26:13 +0200},
  biburl       = {https://dblp.org/rec/conf/asm/WuS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}