Database Updates in the Event Calculus
نویسنده
چکیده
D 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. a
منابع مشابه
A logical framework for temporal deductive databases
Temporal deductive databases are deductive databases with an ability to represent both valid time and transaction time. The work is based on the Event Calculus of Kowalski & Sergot. Event Calculus is a treatment of time, based on the notion of events, in first-order classical logic augmented with negation as failure. It formalizes the semantics of valid time in deductive databases and offers ca...
متن کاملSpecifying Database Transactions and Active Rules in the Situation Calculus
This chapter provides a predicate logic based semantics for active rules in active databases [18, 9]. Our main contribution is a proposal to integrate the specification of active rules with the specification of the dynamics of transaction based change in relational databases. Our approach extends previous work in which the situation calculus, a language of many sorted predicate logic, is used t...
متن کاملSpecification and Implementation of Temporal Databases in a Bitemporal Event Calculus
In this paper we show how temporal databases can be spec-iied and implemented using the bitemporal event calculus, an extension of the event calculus that includes both valid and transaction time, and the possibility to perform temporal updates. A caching mechanism that maintains the current historical state and is updated after each transaction has also been incorporated. We also consider the ...
متن کاملSpecifying Event Logics for Active Databases
Active databases are usually centered around the notion of Event-Condition-Action (ECA) rules. An ECA rule’s action is executed upon detection of an event whenever the rule’s condition is true. Events are traditionally described using an event algebra. Virtually every proposed active database management system (ADBMS) brings about a different event algebra. This makes it very difficult to analy...
متن کاملSpecifying Active Databases in the Situation Calculus
This paper provides a predicate logic based semantics for active rules in active databases [24, 10]. Previous work has been done to provide semantics of execution of active rules [21, 3, 9, 11]. In part, this work has been directed towards providing a unifying criteria regarding the meaning of active rules, and to provide a framework for comparing different proposals for active database systems...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Log. Program.
دوره 12 شماره
صفحات -
تاریخ انتشار 1992