Paper Info
Title
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.
Year
DOI
Venue
2010
10.1007/978-3-642-11811-1_27
ASM
Keywords
DocType
Volume
templated relational database representation,various formalisms,template language,short case study,formal description technique z,appropriate metamodel,relational model,formal template approach,practical mean,database design
Conference
5977
ISSN
ISBN
Citations 
0302-9743
3-642-11810-0
1
PageRank 
References 
Authors
0.35
18
2
Name
Order
Citations
PageRank
Nicolas Wu1428.79
Andrew Simpson228249.37