PROCEDURAL LANGUAGES FOR DATABASE QUERIES AND UPDATES

被引：43
|
作者：
ABITEBOUL, S [1 ]
VIANU, V [1 ]
机构：
[1] UNIV CALIF SAN DIEGO,CSE DEPT,LA JOLLA,CA 92093
来源：
JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 1990年 / 41卷 / 02期
基金：
美国国家科学基金会;
关键词：
D O I：
10.1016/0022-0000(90)90036-K
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Relational database transformations, encompassing database queries and updates, are studied. A completeness criterion for database languages is introduced, based on their capability to express database transformations. Specific deterministic and non-deterministic transformation languages are defined and shown to be complete. Restrictions of these languages are also considered and their expressive power characterized. The classes of transformations captured by these languages include the transformations computable in polynomial time and space (in the non-deterministic case), and the fixpoint queries and the while queries (in the deterministic case). Connections with existing notions of query completeness, and corresponding query languages, are exhibited. © 1990.
引用
收藏
页码：181 / 229
页数：49
相关论文
共 50 条
  • [1] DATALOG EXTENSIONS FOR DATABASE QUERIES AND UPDATES
    ABITEBOUL, S
    VIANU, V
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1991, 43 (01) : 62 - 124
  • [2] A procedural semantics for stratified database updates
    Weidong Chen
    Julie Yu-Chih Liu
    [J]. Annals of Mathematics and Artificial Intelligence, 1997, 21 : 187 - 220
  • [3] A procedural semantics for stratified database updates
    Chen, WD
    Liu, JYC
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1997, 21 (2-4) : 187 - 220
  • [4] JReq: Database Queries in Imperative Languages
    Iu, Ming-Yee
    Cecchet, Emmanuel
    Zwaenepoel, Willy
    [J]. COMPILER CONSTRUCTION, PROCEEDINGS, 2010, 6011 : 84 - +
  • [5] First-order languages expressing constructible spatial database queries
    Kuijpers, Bart
    Kuper, Gabriel
    Paredaens, Jan
    Vandeurzen, Luc
    [J]. SIAM JOURNAL ON COMPUTING, 2007, 36 (06) : 1570 - 1599
  • [6] UPDATES AND SUBJUNCTIVE QUERIES
    GRAHNE, G
    MENDELZON, AO
    [J]. INFORMATION AND COMPUTATION, 1995, 116 (02) : 241 - 252
  • [7] Optimizing Queries with Object Updates
    Leonidas Fegaras
    [J]. Journal of Intelligent Information Systems, 1999, 12 : 219 - 242
  • [8] Object Caching for Queries and Updates
    Little, Philip
    Chaudhary, Amitabh
    [J]. WALCOM: ALGORITHMS AND COMPUTATION, PROCEEDINGS, 2009, 5431 : 394 - 405
  • [9] Optimizing queries with object updates
    Fegaras, L
    [J]. JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, 1999, 12 (2-3) : 219 - 242
  • [10] Update Recovery Attacks on Encrypted Database Within Two Updates Using Range Queries Leakage
    Ning, Jianting
    Poh, Geong Sen
    Huang, Xinyi
    Deng, Robert H.
    Cao, Shuwei
    Chang, Ee-Chien
    [J]. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2022, 19 (02) : 1164 - 1180
12345