Geodesic
Formal Specification of Relational Model of Data in Z-Notation
Mathematics and Education in Mathematics, Tome 39 (2010) no. 1, pp. 178-183.

Voir la notice de l'article provenant de la source Bulgarian Digital Mathematics Library

The aim of this paper is to specify formally the Relational Model of Data. This specification could be extended to cover Object-Relational Model of Data and Data Streams. *2000 Mathematics Subject Classification: 68U35.
Keywords: Relational Model of Data, Z-Notation, Formal Specification 
@article{MEM_2010_39_1_a17,
     author = {Dimitrov, Vladimir},
     title = {Formal {Specification} of {Relational} {Model} of {Data} in {Z-Notation}},
     journal = {Mathematics and Education in Mathematics},
     pages = {178--183},
     publisher = {mathdoc},
     volume = {39},
     number = {1},
     year = {2010},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MEM_2010_39_1_a17/}
}
TY  - JOUR
AU  - Dimitrov, Vladimir
TI  - Formal Specification of Relational Model of Data in Z-Notation
JO  - Mathematics and Education in Mathematics
PY  - 2010
SP  - 178
EP  - 183
VL  - 39
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MEM_2010_39_1_a17/
LA  - en
ID  - MEM_2010_39_1_a17
ER  - 
%0 Journal Article
%A Dimitrov, Vladimir
%T Formal Specification of Relational Model of Data in Z-Notation
%J Mathematics and Education in Mathematics
%D 2010
%P 178-183
%V 39
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MEM_2010_39_1_a17/
%G en
%F MEM_2010_39_1_a17
Dimitrov, Vladimir. Formal Specification of Relational Model of Data in Z-Notation. Mathematics and Education in Mathematics, Tome 39 (2010) no. 1, pp. 178-183. http://geodesic.mathdoc.fr/item/MEM_2010_39_1_a17/