Formal Specification of the NoSQL Data Model

被引：0
|
作者：
Dmytro, Bui [1 ]
Sergey, Polyakov [1 ]
Hryshko, Iuliia [2 ]
机构：
[1] Taras Shevchenko Natl Univ Kyiv, Dept Theory & Technol Programming, Kiev, Ukraine
[2] Taras Shevchenko Natl Univ Kyiv, Dept Informat Syst, Kiev, Ukraine
来源：
INFORMATICS 2013: PROCEEDINGS OF THE TWELFTH INTERNATIONAL CONFERENCE ON INFORMATICS | 2013年
关键词：
Data Model; NoSQL; Order; Preorder; confinality;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We built formal definition of the NoSQL data model. Two formal data models were built. The first data model is based on sets and second one is based on multisets(bags). The special relations called subdocument and subrecord were introduced. It is proven that those relations are preorder. Also general results about the cofinal relation on the sets are given.
引用
收藏
页码：284 / 288
页数：5
相关论文
共 50 条
  • [1] FORMAL SPECIFICATION OF A DATA DICTIONARY FOR AN EXTENDED ER DATA MODEL
    MISIC, V
    VELASEVIC, D
    LAZAREVIC, B
    [J]. COMPUTER JOURNAL, 1992, 35 (06): : 611 - 622
  • [2] A formal OLAP algebra for NoSQL based data warehouses
    Banerjee, Shreya
    Bhaskar, Sourabh
    Sarkar, Anirban
    Debnath, Narayan C.
    [J]. Annals of Emerging Technologies in Computing, 2021, 5 (Special issue 5) : 154 - 161
  • [3] Synthesized data structure for video data: A formal specification
    Sridharan, PN
    Raman, S
    [J]. INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, PROCEEDINGS - VOL III, 1996, : 359 - 362
  • [4] Formal specification of the OpenMP memory model
    Bronevetsky, Greg
    de Supinski, Bronis R.
    [J]. OPENMP SHARED MEMORY PARALLEL PROGRAMMING, PROCEEDINGS, 2008, 4315 : 324 - +
  • [5] FORMAL SPECIFICATION OF GRAPHIC DATA-TYPES
    MALLGREN, WR
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (04): : 687 - 710
  • [6] Complete Formal Specification of the OpenMP Memory Model
    Greg Bronevetsky
    Bronis R. de Supinski
    [J]. International Journal of Parallel Programming, 2007, 35 : 335 - 392
  • [7] Complete formal specification of the OpenMP memory model
    Bronevetsky, Greg
    de Supinski, Bronis R.
    [J]. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2007, 35 (04) : 335 - 392
  • [8] A formal specification of the MIDP 2.0 security model
    Beguelin, Santiago Zanella
    Betarte, Gustavo
    Luna, Carlos
    [J]. FORMAL ASPECTS IN SECURITY AND TRUST, 2007, 4691 : 220 - +
  • [9] Formal Interaction Specification in a Reflective Information Model
    Ye Peng
    Ying Shi
    Yuan Wen-Jie
    Yao Jun-Feng
    Luo Ju-Bo
    Hu Ming
    [J]. 2008 INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION WORKSHOP: IITA 2008 WORKSHOPS, PROCEEDINGS, 2008, : 1017 - +
  • [10] Formal Specification of a Meta Hierarchical Logical Data Model Using Object Role Modeling
    Schmaal, Robert J. L.
    Balsters, Herman
    Valera, Serge
    [J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2011 WORKSHOPS, 2011, 7046 : 370 - +
12345