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 条
  • [21] Answering Conjunctive Queries under Updates
    Berkholz, Christoph
    Keppeler, Jens
    Schweikardt, Nicole
    [J]. PODS'17: PROCEEDINGS OF THE 36TH ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS, 2017, : 303 - 318
  • [22] Undeniable database queries
    Buldas, A
    Roos, M
    Willemson, J
    [J]. DATABASES AND INFORMATION SYSTEMS II, 2002, : 43 - 54
  • [23] OPTIMIZE DATABASE QUERIES
    CUADRADO, JL
    [J]. BYTE, 1995, 20 (07): : 57 - &
  • [24] Analogical Database Queries
    Beltran, William Correa
    Jaudoin, Helene
    Pivert, Olivier
    [J]. FLEXIBLE QUERY ANSWERING SYSTEMS 2015, 2016, 400 : 201 - 213
  • [25] On the complexity of database queries
    Papadimitriou, CH
    Yannakakis, M
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1999, 58 (03) : 407 - 427
  • [26] Mutating database queries
    Tuya, Javier
    Suarez-Cabal, Ma Jose
    de la Riva, Claudio
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2007, 49 (04) : 398 - 417
  • [27] THE ANSWERABILITY OF DATABASE QUERIES
    EINDOR, P
    SPIEGLER, I
    [J]. INFORMATION SYSTEMS, 1985, 10 (03) : 261 - 270
  • [28] VALIDATING DATABASE UPDATES
    KOBAYASHI, I
    [J]. INFORMATION SYSTEMS, 1984, 9 (01) : 1 - 17
  • [29] ON SPECIFYING DATABASE UPDATES
    REITER, R
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1995, 25 (01): : 53 - 91
  • [30] USDA updates database
    Nachay, Karen
    [J]. FOOD TECHNOLOGY, 2007, 61 (03) : 10 - 11
12345