Temporal Conditions and Integrity Constraints in Active Database Systems.
A. Prasad Sistla
Ouri Wolfson
ACM SIGMOD Conference
1995
24
2
269
280
1345 KB
In this paper, we present a unified formalism, based on Past Temporal Logic, for specifying conditions and events in the rules for active database system. This language permits specification of many time varying properties of database systems. It also per
Information Systems, DATABASE MANAGEMENT, Logical Design.
Information Systems, DATABASE MANAGEMENT, Systems, Transaction processing.
Information Systems, DATABASE MANAGEMENT, Languages, SYBASE.
Information Systems, DATABASE MANAGEMENT, Languages, Query languages.
Theory of Computation, MATHEMATICAL LOGIC AND FORMAL LANGUAGES, Mathematical Logic.
H.2.3
Information Systems, DATABASE MANAGEMENT, Languages, Query languages.
H.2.3
Information Systems, DATABASE MANAGEMENT, Languages, SYBASE.
H.2.1
Information Systems, DATABASE MANAGEMENT, Logical Design.
F.4.1
Theory of Computation, MATHEMATICAL LOGIC AND FORMAL LANGUAGES, Mathematical Logic.
H.2.4
Information Systems, DATABASE MANAGEMENT, Systems, Transaction processing.