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 条
  • [21] FAHR: Focused A* Heuristic Recomputation
    McNaughton, Matthew
    Urmson, Chris
    2009 IEEE-RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS, 2009, : 4893 - 4898
  • [22] Non local uses of local cases in the Tsezic languages
    Forker, Diana
    LINGUISTICS, 2010, 48 (05) : 1083 - 1109
  • [23] Incremental concrete syntax for embedded languages with support for separate compilation
    Dinkelaker, Tom
    Eichberg, Michael
    Mezini, Mira
    SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (06) : 615 - 632
  • [24] Incremental Overload Resolution in Object-Oriented Programming Languages
    Szabo, Tamas
    Kuci, Edlira
    Bijman, Matthijs
    Mezini, Mira
    Erdweg, Sebastian
    COMPANION PROCEEDINGS FOR THE ISSTA/ECOOP 2018 WORKSHOPS, 2018, : 27 - 33
  • [25] DBSP: Automatic Incremental View Maintenance for Rich Query Languages
    Budiu, Mihai
    Chajed, Tej
    McSherry, Frank
    Ryzhyk, Leonid
    Tannen, Val
    PROCEEDINGS OF THE VLDB ENDOWMENT, 2023, 16 (07): : 1601 - 1614
  • [26] Action patterns for the incremental specification of the execution semantics of visual languages
    Bottoni, Paolo
    de lara, Juan
    Guerra, Esther
    VL/HCC 2007: IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, PROCEEDINGS, 2007, : 163 - +
  • [27] Incremental Learning of Cellular Automata for Parallel Recognition of Formal Languages
    Nakamura, Katsuhiko
    Imada, Keita
    DISCOVERY SCIENCE, DS 2010, 2010, 6332 : 117 - 131
  • [28] Recomputation and Updating of MOLA Geolocation
    Xiao, Haifeng
    Stark, Alexander
    Chen, Hao
    Oberst, Juergen
    REMOTE SENSING, 2022, 14 (09)
  • [29] Stochastic local search for incremental SAT and incremental MAX-SAT
    Mouhoub, M
    Wang, CH
    KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 3, PROCEEDINGS, 2004, 3215 : 703 - 709
  • [30] Incremental Detection of Local Community Structure
    Branting, L. Karl
    2010 INTERNATIONAL CONFERENCE ON ADVANCES IN SOCIAL NETWORKS ANALYSIS AND MINING (ASONAM 2010), 2010, : 80 - 87
12345