Incremental recomputation in local languages

被引：15
|
作者：
Dong, GZ
Libkin, L
Wong, L
机构：
[1] Univ Toronto, Dept Comp Sci, Toronto, ON M5S 3H5, Canada
[2] Wright State Univ, Dept Comp Sci & Engn, Dayton, OH 45435 USA
[3] Inst Infocomm Res, Singapore 119613, Singapore
来源：
INFORMATION AND COMPUTATION | 2003年 / 181卷 / 02期
关键词：
incremental recomputation; first-order logic; transitive closure; locality; SQL; TRANSITIVE CLOSURE; DYNAMIC COMPLEXITY;
D O I：
10.1016/S0890-5401(03)00017-8
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We study the problem of maintaining recursively defined views, such as the transitive closure of a relation, in traditional relational languages that do not have recursion mechanisms. The main results of this paper are negative ones: we show that a certain property of query languages implies impossibility of such incremental maintenance. The property we use is locality of queries, which is known to hold for relational calculus and various extensions, including those with grouping and aggregate constructs (essentially, plain SQL). (C) 2003 Elsevier Science (USA). All rights reserved.
引用
收藏
页码：88 / 98
页数：11
相关论文
共 50 条
  • [1] An improved algorithm for the incremental recomputation of active relational expressions
    Griffin, T
    Libkin, L
    Trickey, H
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1997, 9 (03) : 508 - 511
  • [2] Incremental recomputation of recursive queries with nested sets and aggregate functions
    Libkin, L
    Wong, L
    DATABASE PROGRAMMING LANGUAGES, 1998, 1369 : 222 - 238
  • [3] An incremental approach to local equality predicates in OBJ specification languages
    Nakamura, Masaki
    Futatsugi, Kokichi
    2014 11TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER SCIENCE AND SOFTWARE ENGINEERING (JCSSE), 2014, : 337 - 342
  • [4] Incremental analysis of real programming languages
    Wagner, TA
    Graham, SL
    ACM SIGPLAN NOTICES, 1997, 32 (05) : 31 - 43
  • [5] Local languages
    Department of Applied Mathematics, National Chung-Hsing University, Taichung, Taiwan
    Int J Comput Math, 3-4 (199-216):
  • [6] Local languages
    Shyr, HJ
    Yu, SS
    INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1998, 66 (3-4) : 199 - 216
  • [7] BUCHI LANGUAGES AND LOCAL OMEGA-LANGUAGES
    FINKEL, O
    COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1989, 309 (20): : 991 - 994
  • [8] LOCAL PICTURE LANGUAGES
    COLLARD, RFA
    COMPUTER GRAPHICS AND IMAGE PROCESSING, 1981, 17 (04): : 332 - 344
  • [9] Data Recomputation for Multithreaded Applications
    Akbulut, Gulsum Gudukbay
    Kandemir, Mahmut T.
    Karakoy, Mustafa
    Choi, Wonil
    2023 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, ICCAD, 2023,
  • [10] Learning to Solve NLP Tasks in an Incremental Number of Languages
    Castellucci, Giuseppe
    Filice, Simone
    Croce, Danilo
    Basili, Roberto
    ACL-IJCNLP 2021: THE 59TH ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS AND THE 11TH INTERNATIONAL JOINT CONFERENCE ON NATURAL LANGUAGE PROCESSING, VOL 2, 2021, : 837 - 847
12345