Relationship Specification in Z-Notation

被引：0
|
作者：
Dimitrov, V. [1 ]
机构：
[1] Univ Sofia, Sofia, Bulgaria
来源：
PHYSICS OF PARTICLES AND NUCLEI LETTERS | 2011年 / 8卷 / 04期
关键词：
D O I：
10.1134/S1547477111040078
中图分类号：
O412 [相对论、场论]; O572.2 [粒子物理学];
学科分类号：
摘要：
Initially, relational model of data has been specified by E. F. Codd with the naming conventions to the attributes called "relationship". It is something between relations and tables, i.e., between implementation and user view on data. In this paper, ideas for "relationship" are formally specified in Z-notation. The last one is an ISO standard now. The purpose of this paper is to reinvestigate ideas behind the "relationships" in a more formal way. This approach is useful for further research in extending relation model of data to capture multimedia data and data streams, which are, usually, generated by different kinds of sensors.
引用
收藏
页码：391 / 394
页数：4
相关论文
共 50 条
  • [1] Semantic Web Specification using Z-Notation
    Khan, Sher Afzal
    Hashmi, Aamir Aziz
    Alhumaidan, Fahad
    Zafar, Nazir Ahmad
    [J]. LIFE SCIENCE JOURNAL-ACTA ZHENGZHOU UNIVERSITY OVERSEAS EDITION, 2012, 9 (04): : 994 - 1000
  • [2] GLOSSARY OF Z-NOTATION
    BOWEN, JP
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1995, 37 (5-6) : 333 - 334
  • [3] A Generic Formal Specification of an Infinite Runner Games for Handheld Devices Using Z-Notation
    Jamil, Abid
    Murtza, Zeshan
    Nazir, Muhammad Kashif
    Waseem, Muhammad
    Ghulam, Zikra
    Farooq, Rao Umer
    [J]. 2019 IEEE 4TH INTERNATIONAL CONFERENCE ON COMPUTER AND COMMUNICATION SYSTEMS (ICCCS 2019), 2019, : 409 - 413
  • [4] Selected MRP II Standard System requirements presented in Z-notation
    Greniewski, Marek J.
    [J]. KYBERNETES, 2009, 38 (7-8) : 1216 - 1233
  • [5] Modelling operations and security of cloud systems using Z-notation and Chinese Wall security policy
    Basu, Srijita
    Sengupta, Anirban
    Mazumdar, Chandan
    [J]. ENTERPRISE INFORMATION SYSTEMS, 2016, 10 (09) : 1024 - 1046
  • [6] Formal specification and validation of railway network components using Z notation
    Zafar, N. A.
    [J]. IET SOFTWARE, 2009, 3 (04) : 312 - 320
  • [7] Modeling and formal specification of automated train control system using Z notation
    Zafar, Nazir Ahmad
    [J]. 10TH IEEE INTERNATIONAL MULTITOPIC CONFERENCE 2006, PROCEEDINGS, 2006, : 438 - +
  • [8] A notation for goal driven interfaces specification
    Carrillo-León, AL
    Falgueras-Cano, J
    Guevara-Plaza, A
    [J]. HCI RELATED PAPERS OF INTERACCION 2004, 2006, : 337 - +
  • [9] EDT: A Specification Notation for Reactive Systems
    Venkatesh, R.
    Shrotri, Ulka
    Krishna, G. Murali
    Agrawal, Supriya
    [J]. 2014 DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION (DATE), 2014,
  • [10] Formal specification of a privacy aware access control framework in web services paradigm using Z notation
    20163702789517
    [J]. (1) Punjabi University, Regional Centre, Mohali, India; (2) Punjabi University, Patiala, India, 1600, Computer Society of India (Association for Computing Machinery, 2 Penn Plaza, Suite 701, New York, NY 10121-0701, United States): : 11 - 16
12345