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 条
  • [41] Formal specification for secure electronic data interchange system in Maude
    Wu, JunFeng
    Miao, HuaiKou
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND LOGISTICS, VOLS 1-6, 2007, : 526 - +
  • [42] USING LOGIC PROGRAMMING FOR FORMAL SPECIFICATION AND VALIDATION OF DATA MODELS
    RAMIREZ, RG
    CHOOBINEH, J
    DATTERO, R
    [J]. INFORMATION & MANAGEMENT, 1990, 19 (02) : 101 - 112
  • [43] FORMAL SPECIFICATION OF DATA ABSTRACTION IN FORTRAN 77 - ABSTRACT ARRAYS
    COLBROOK, A
    SMYTHE, C
    [J]. SOFTWARE ENGINEERING JOURNAL, 1990, 5 (03): : 151 - 159
  • [44] A formal specification of the RT-Middleware data transfer protocol
    Biggs, Geoffrey
    Ando, Noriaki
    [J]. 2016 IEEE INTERNATIONAL CONFERENCE ON SIMULATION, MODELING, AND PROGRAMMING FOR AUTONOMOUS ROBOTS (SIMPAR), 2016, : 302 - 309
  • [45] FORMAL SPECIFICATION IN OSI
    VISSERS, CA
    SCOLLO, G
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 248 : 338 - 359
  • [46] Formal dialectic specification
    Wells, S
    Reed, C
    [J]. ARGUMENTATION IN MULTI-AGENT SYSTEMS, 2005, 3366 : 31 - 43
  • [47] FORMAL SPECIFICATION LANGUAGES
    PARKER, J
    TITTERINGTON, G
    [J]. ELECTRONICS AND POWER, 1986, 32 (06): : 441 - 443
  • [48] Formal Specification Level
    Drechsler, Rolf
    Soeken, Mathias
    Wille, Robert
    [J]. MODELS, METHODS, AND TOOLS FOR COMPLEX CHIP DESIGN: SELECTED CONTRIBUTIONS FROM FDL 2012, 2014, 265 : 37 - 52
  • [49] A FORMAL SPECIFICATION OF AN OSCILLOSCOPE
    DELISLE, N
    GARLAN, D
    [J]. IEEE SOFTWARE, 1990, 7 (05) : 29 - 36
  • [50] A FORMAL SPECIFICATION OF INGRES
    BAATS, WE
    FEIJS, LMG
    GELISSEN, JHA
    [J]. ALGEBRAIC METHODS : THEORY, TOOLS AND APPLICATIONS, 1989, 394 : 207 - 245
12345