A procedural semantics for stratified database updates

被引：0
|
作者：
Chen, WD [1 ]
Liu, JYC [1 ]
机构：
[1] So Methodist Univ, Dallas, TX 75275 USA
来源：
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE | 1997年 / 21卷 / 2-4期
关键词：
D O I：
10.1023/A:1018965418898
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper investigates efficient evaluation of database updates and presents a procedural semantics for stratified update programs that extend stratified logic programs with bulk updates and hypothetical reasoning. Bulk rules with universal quantification in the body allow an arbitrary update to be applied simultaneously for every answer of an arbitrary query. Hypothetical reasoning is supported by testing the success or failure of an update. The procedural semantics offers efficient goal-oriented tabled evaluation of database updates. It guarantees termination for function-free stratified update programs and avoids repeated computation of identical subgoals.
引用
收藏
页码：187 / 220
页数：34
相关论文
共 50 条
  • [21] Semantics, Types and Effects for XML Updates
    Benedikt, Michael
    Cheney, James
    DATABASE PROGRAMMING LANGUAGES, 2009, 5708 : 1 - +
  • [22] Preferred history semantics for iterated updates
    Berger, S
    Lehmann, D
    Schlechta, K
    JOURNAL OF LOGIC AND COMPUTATION, 1999, 9 (06) : 817 - 833
  • [23] VIEW UPDATES IN STRATIFIED DISJUNCTIVE DATABASES
    GRANT, J
    HORTY, J
    LOBO, J
    MINKER, J
    JOURNAL OF AUTOMATED REASONING, 1993, 11 (02) : 249 - 267
  • [24] OBJECT DATABASE SEMANTICS
    LOOMIS, MES
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1993, 6 (04): : 26 - &
  • [25] Semantics of database transformations
    Davidson, S
    Buneman, P
    Kosky, A
    SEMANTICS IN DATABASES, 1998, 1358 : 55 - 91
  • [26] Inferencing in Database Semantics
    Hausser, Roland
    INFORMATION MODELLING AND KNOWLEDGE BASES XXII, 2011, 225 : 57 - 76
  • [27] Compositional semantics for the procedural interpretation of logic
    van Emden, Maarten H.
    LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 315 - 329
  • [28] Procedural Semantics and its Relevance to Paradox
    Booij, Elbert J.
    LOGIC AND LOGICAL PHILOSOPHY, 2024, 33 (01) : 3 - 26
  • [29] Procedural semantics for fuzzy disjunctive programs
    Guller, DA
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2002, 2514 : 247 - 261
  • [30] SERIALIZABILITY OF CONCURRENT DATABASE UPDATES
    PAPADIMITRIOU, CH
    JOURNAL OF THE ACM, 1979, 26 (04) : 631 - 653
12345