DATABASE UPDATES IN THE EVENT CALCULUS

被引：55
作者：
KOWALSKI, R [1 ]
机构：
[1] UNIV LONDON IMPERIAL COLL SCI & TECHNOL,DEPT COMP,LONDON SW7 2BZ,ENGLAND
来源：
JOURNAL OF LOGIC PROGRAMMING | 1992年 / 12卷 / 1-2期
关键词：
D O I：
10.1016/0743-1066(92)90041-Z
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper investigates a special case of the event calculus, concerned with database updates. It discusses the way relational databases, historical databases, modal logic, the situation calculus, and case semantics deal with database updates and compares the event calculus with the situation calculus in detail. It argues that the event calculus can overcome the computational aspects of the frame problem in the situation calculus and that it can be implemented with an efficiency approaching that of destructive assignment in relational databases.
引用
收藏
页码：121 / 146
页数：26
相关论文
共 23 条
[1]   TOWARDS A GENERAL-THEORY OF ACTION AND TIME [J].
ALLEN, JF .
ARTIFICIAL INTELLIGENCE, 1984, 23 (02) :123-154
[2]   MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS [J].
ALLEN, JF .
COMMUNICATIONS OF THE ACM, 1983, 26 (11) :832-843
[3]  
[Anonymous], 2 STANF ART INT PROJ
[4]  
Clark K. L., 1978, Logic and data bases, P293
[5]   FORMAL SEMANTICS FOR TIME IN DATABASES [J].
CLIFFORD, J ;
WARREN, DS .
ACM TRANSACTIONS ON DATABASE SYSTEMS, 1983, 8 (02) :214-254
[6]  
ESHGHI K, 1989, 5TH INT C LOG PROGR
[7]  
EVANS C, 1988, NEGATION FAILURE APP
[8]   NONMONOTONIC LOGIC AND TEMPORAL PROJECTION [J].
HANKS, S ;
MCDERMOTT, D .
ARTIFICIAL INTELLIGENCE, 1987, 33 (03) :379-412
[9]  
JONES S, 1979, INFORM SYSTEMS, V4
[10]   A LOGIC-BASED CALCULUS OF EVENTS [J].
KOWALSKI, R ;
SERGOT, M .
NEW GENERATION COMPUTING, 1986, 4 (01) :67-95
123