The paper presents a novel compilation scheme for temporal integrity constraints and deductive rules expressed in an interval-based first-order temporal logic. Compilation builds a dependence graph with simplified forms of the constraints and rules. This permits the compile-time simplification of the formulae that have to be verified at run-time, as well as the precomputation of potential implicit updates. Simplification takes place with respect to the anticipated types of updates. We show how simplified forms can be obtained with respect to transactions made up of arbitrary sequences of basic updates. Additional optimization steps exploit the organization of simplified forms in dependence graphs. 1
|
1705
|
Maintaining knowledge about temporal intervals
– Allen
- 1983
|
|
936
|
Database and Knowledge-Base Systems, Volume II
– Ullman
- 1989
|
|
910
|
Temporal and modal logic
– Emerson
- 1990
|
|
809
|
The temporal logic of programs
– Pnueli
- 1977
|
|
207
|
Deriving production rules for constraint maintenance
– Ceri, Widom
- 1990
|
|
121
|
Logic for improving integrity checking in relational databases
– Nicolas
- 1982
|
|
81
|
A uniform approach to constraint satisfaction and constraint satis ability in deductive databases
– Bry, Decker, et al.
|
|
67
|
Handling Infinite Temporal Data
– Kabanza, Stevenne, et al.
- 1995
|
|
66
|
Temporal Deductive Databases
– Baudinet, Chomicki, et al.
- 1993
|
|
52
|
A basis for deductive database systems
– Lloyd, Topor
- 1985
|
|
51
|
Specifying dynamic and deontic integrity constraints
– Meyer, Weigand
- 1989
|
|
44
|
History-less Checking of Dynamic Integrity Constraints
– Chomicki
- 1992
|
|
36
|
Temporal conditions and integrity constraints in active database systems
– Sistla, Wolfson
- 1995
|
|
33
|
Deriving Integrity Maintaining Triggers from Transition Graphs
– Gertz, Lipeck
- 1993
|
|
33
|
Functional specifications of a subsystem for data base integrity
– ESWARAN, CHAMBERLIN
- 1975
|
|
31
|
From relational to object-oriented integrity simplification
– Jeusfeld, Jarke
- 1991
|
|
21
|
Managing Temporal Financial Data in an Extensible Database
– Chandra, Segev
- 1993
|
|
20
|
Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases
– Plexousakis
- 1993
|
|
20
|
Real-Time Integrity Constraints
– Chomicki
- 1992
|
|
13
|
On Verification of Database Temporal Constraints
– Kung
- 1985
|
|
8
|
Foundations of Temporal Integrity Monitoring
– Saake, Lipeck
- 1988
|
|
8
|
CML: A Knowledge Representation Language with Application to Requirements Modeling
– Stanley
- 1986
|
|
6
|
Specification, Semantics and Enforcement of Dynamic Database Constraints
– Ehrich, Lipeck, et al.
- 1984
|
|
5
|
Consistency Auditing of Databases
– Florentin
- 1974
|
|
5
|
Semantical and Ontological Considerations in Telos: a Lanugage for Knowledge Representation
– Plexousakis
- 1993
|
|
4
|
Telos: A Language for Representing Knowledge in Information Systems
– Mylopoulos, Borgida, et al.
- 1990
|
|
3
|
Implementing Integrity Constraints Using an Active DBMS
– Chomicki, Toman
- 1994
|
|
3
|
Integrity Maintenance in a Telos based KBMS
– Plexousakis
- 1994
|
|
3
|
Consistency Auditing of Data Bases
– Florentin
- 1974
|
|
2
|
On the Efficient Enforcement of Integrity Constraints in Temporal Deductive Knowledge Bases
– Plexousakis
- 1995
|
|
2
|
Monitoring Temporal Preconditions in a Behavior Oriented Object Model
– Schwiderski, Hartmann, et al.
- 1994
|
