A TRANSACTION-BASED APPROACH TO RELATIONAL DATABASE SPECIFICATION

被引：12
|
作者：
ABITEBOUL, S [1 ]
VIANU, V [1 ]
机构：
[1] UNIV CALIF SAN DIEGO,DEPT CSE,LA JOLLA,CA 92093
来源：
JOURNAL OF THE ACM | 1989年 / 36卷 / 04期
关键词：
D O I：
10.1145/76359.76363
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：758 / 789
页数：32
相关论文
共 50 条
  • [41] Formal specification synthesis for relational database model
    Vatanawood, W
    Rivepiboon, W
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2004, 19 (1-2) : 159 - 175
  • [42] Sound transaction-based reduction without cycle detection
    Levin, V
    Palmer, R
    Qadeer, S
    Rajamani, SK
    MODEL CHECKING SOFTWARE, PROCEEDINGS, 2005, 3639 : 106 - 122
  • [43] Transaction-Based Link Strength Prediction in a Social Network
    Khosravi, Hassan
    Bozorgkhan, Ali
    Schulte, Oliver
    2013 IEEE SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DATA MINING (CIDM), 2013, : 191 - 198
  • [44] Transaction-Based Debugging of System-on-Chips with Patterns
    Gharehbaghi, Amir Masoud
    Fujita, Masahiro
    2009 IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN, 2009, : 186 - 192
  • [45] Flutist: Parallelizing Transaction Processing for LSM-Tree-Based Relational Database
    Xu, Qing
    Chen, Meng
    Yang, Yunxin
    Wang, Chundong
    WEB AND BIG DATA, APWEB-WAIM 2024, PT III, 2024, 14963 : 460 - 476
  • [46] On the integration of event-based and transaction-based architectures for supply chains
    Li, Zhijie
    Wu, Haoyan
    King, Brian
    Ben Miled, Zina
    Wassick, John
    Tazelaar, Jeffrey
    2017 IEEE 37TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS (ICDCSW), 2017, : 376 - 382
  • [47] Relational database's transaction operation and the concurrent control
    Liu, Na
    Zhou, Jianfei
    International Journal of Database Theory and Application, 2015, 8 (02): : 259 - 266
  • [48] Empowering Authenticated and Efficient Queries for STK Transaction-Based Blockchains
    Xu, Hao
    Xiao, Bin
    Liu, Xiulong
    Wang, Li
    Jiang, Shan
    Xue, Weilian
    Wang, Jianrong
    Li, Keqiu
    IEEE TRANSACTIONS ON COMPUTERS, 2023, 72 (08) : 2209 - 2223
  • [49] SOTARM: Size of transaction-based association rule mining algorithm
    Pandian, Asha
    Thaveethu, Jebarajan
    TURKISH JOURNAL OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES, 2017, 25 (01) : 278 - 291
  • [50] Transaction-Based Adaptive Dynamic Voltage Scaling for Interactive Applications
    Zhao, Xia
    Guo, Yao
    Chen, Xiangqun
    ISLPED 09, 2009, : 255 - 260
12345