Formal Specification of Relational Model of Data in Z-Notation
| Data(s) |
18/10/2012
18/10/2012
2010
|
|---|---|
| Resumo |
Владимир Димитров - Целта на настоящия доклад е формалната спецификация на релационния модел на данни. Тази спецификация след това може да бъде разширена към Обектно-релационния модел на данни и към Потоците от данни. 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”. |
| Identificador |
Union of Bulgarian Mathematicians, Vol. 39, No 1, (2010), 178p-183p 1313-3330 |
| Idioma(s) |
en |
| Publicador |
Union of Bulgarian Mathematicians |
| Palavras-Chave | #Relational Model of Data #Z-Notation #Formal Specification |
| Tipo |
Article |
