IMI-BAS
 

BulDML at Institute of Mathematics and Informatics >
IMI >
Union of Bulgarian Mathematicians >
Union of Bulgarian Mathematicians 2010 >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10525/1853

Title: Formal Specification of Relational Model of Data in Z-Notation
Other Titles: Формална спецификация на релационния модел на данни в Z-нотация
Authors: Dimitrov, Vladimir
Keywords: Relational Model of Data
Z-Notation
Formal Specification
Issue Date: 2010
Publisher: Union of Bulgarian Mathematicians
Citation: Union of Bulgarian Mathematicians, Vol. 39, No 1, (2010), 178p-183p
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.
Description: Владимир Димитров - Целта на настоящия доклад е формалната спецификация на релационния модел на данни. Тази спецификация след това може да бъде разширена към Обектно-релационния модел на данни и към Потоците от данни.
URI: http://hdl.handle.net/10525/1853
ISBN: 1313-3330
Appears in Collections:Union of Bulgarian Mathematicians 2010

Files in This Item:

File Description SizeFormat
smb-vol39-num1-2010-178p-183p.pdf907.57 kBAdobe PDFView/Open

 



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2009  The DSpace Foundation - Feedback