Formal Specification of Relational Model of Data in Z-Notation Формална спецификация на релационния модел на данни в Z-нотация

Dimitrov, Vladimir. "Formal Specification of Relational Model of Data in Z-Notation Формална спецификация на релационния модел на данни в Z-нотация." Union of Bulgarian Mathematicians 39.1 (2010): 178-183. <http://eudml.org/doc/250913>.

@article{Dimitrov2010,
abstract = {Владимир Димитров - Целта на настоящия доклад е формалната спецификация на релационния модел на данни. Тази спецификация след това може да бъде разширена към Обектно-релационния модел на данни и към Потоците от данни.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.This work was sponsored by the Ministry of Education and Science of Bulgaria, National Foundation “Science and Research”, contract BY-TH-202/2006: “Multimodal biometric analysis: methods and algorithms”.},
author = {Dimitrov, Vladimir},
journal = {Union of Bulgarian Mathematicians},
keywords = {Relational Model of Data; Z-Notation; Formal Specification},
language = {eng},
number = {1},
pages = {178-183},
publisher = {Union of Bulgarian Mathematicians},
title = {Formal Specification of Relational Model of Data in Z-Notation Формална спецификация на релационния модел на данни в Z-нотация},
url = {http://eudml.org/doc/250913},
volume = {39},
year = {2010},
}

TY - JOUR
AU - Dimitrov, Vladimir
TI - Formal Specification of Relational Model of Data in Z-Notation Формална спецификация на релационния модел на данни в Z-нотация
JO - Union of Bulgarian Mathematicians
PY - 2010
PB - Union of Bulgarian Mathematicians
VL - 39
IS - 1
SP - 178
EP - 183
AB - Владимир Димитров - Целта на настоящия доклад е формалната спецификация на релационния модел на данни. Тази спецификация след това може да бъде разширена към Обектно-релационния модел на данни и към Потоците от данни.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.This work was sponsored by the Ministry of Education and Science of Bulgaria, National Foundation “Science and Research”, contract BY-TH-202/2006: “Multimodal biometric analysis: methods and algorithms”.
LA - eng
KW - Relational Model of Data; Z-Notation; Formal Specification
UR - http://eudml.org/doc/250913
ER -