Abstract:
Abstract. In this paper we integrate a history--encoding based methodology for checking dynamic database integrity constraints into a situation-calculus based specification of relational database updates. By doing this, we are able to: (1) Answer queries about a whole hypothetical evolution of a database, without having to update the entire database and keep all the information associated to the generated states, (2) State and prove dynamic integrity constraints as static integrity constraints, (3) Transform history dependent preconditions for updates into local preconditions. The methodology presented here is based on the introduction of operators of predicate past temporal logic as macros into the specifications, written in the situation calculus, of the dynamics of a database. Temporal subformulas of a query are treated as auxiliary views with the corresponding specification of their dynamics. An implementation of hypothetical temporal query answering is presented.
Citations
|
1224
|
Some philosophical problems from the standpoint of arti cial intelligence
– McCarthy, Hayes
- 1969
|
|
523
|
The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression
– Reiter
- 1991
|
|
401
|
Golog: A logic programming language for dynamic domains
– Levesque, Reiter, et al.
- 1997
|
|
296
|
A bibliography on temporal databases
– Stam, Snodgrass
- 1988
|
|
219
|
State constraints revisited
– Lin, Reiter
- 1994
|
|
201
|
An overview of data warehousing and olap technology
– Chaudhuri, Dayal
- 1997
|
|
128
|
Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems
– Reiter
- 2001
|
|
122
|
Temporal Reasoning in the Situation Calculus
– Pinto
- 1994
|
|
113
|
Natural Actions, Concurrency and Continuous Time in the Situation Calculus
– Reiter
- 1996
|
|
99
|
Transaction logic programming
– Bonner, Kifer
- 1993
|
|
83
|
On specifying database updates
– Reiter
- 1995
|
|
73
|
How to progress a database
– Lin, Reiter
- 1997
|
|
70
|
E cient checking of temporal integrity constraints using bounded history encoding
– Chomicki
- 1995
|
|
43
|
Hypothetical Datalog: complexity and expressibility
– Bonner
- 1990
|
|
22
|
Sequential, temporal GOLOG
– Reiter
- 1998
|
|
20
|
Programming with logical queries, bulk updates, and hypothetical reasoning
– Chen
- 1997
|
|
18
|
SCDBR: An automated reasoner for specifications of database updates
– Bertossi, Arenas, et al.
- 1998
|
|
14
|
Temporal Versus First-Order Logic to Query Temporal Databases
– Abiteboul, Herr, et al.
- 1996
|
|
13
|
Automating Proofs of Integrity Constraints in the Situation Calculus
– Bertossi, Pinto, et al.
- 1996
|
|
9
|
Answering Historical Queries in Databases (Extended Abstract
– Siu, Bertossi
- 1996
|
|
8
|
Logic based modeling and analysis of work
– Davulcu, Kifer, et al.
- 1998
|
|
4
|
Non-Instantaneous Actions and Concurrency in the Situation Calculus (Extended Abstract
– Baier, Pinto
- 1998
|
|
3
|
A Logic Programming Approach to Con Resolution in Policy Management
– Chomicki, Lobo, et al.
- 2000
|
|
3
|
The Dynamics of Database Views
– Arenas, Bertossi
- 1998
|
|
2
|
SCDBR: An Automated Reasoner for Speci cations of Database Updates
– Bertossi, Arenas, et al.
- 1998
|
|
2
|
Temporal Representation and Reasoning in Arti Intelligence: Issues and Approaches
– Chittaro, Montanari
- 2000
|
