Real-time integrity constraints

1 January 1992

proceedings article
Published by Association for Computing Machinery (ACM)

p. 274-282
https://doi.org/10.1145/137097.137889

Abstract

We propose that Past Metric Temporal Logic (Temporal Logic with real-time operators referring to the past) be used as a language for specifying real-time integrity constraints. Building on our earlier work, we develop efficient, history-less methods of evaluating such constraints. We also argue that real-time constraints should be implemented as Condition-Action rules with temporal conditions.

Keywords

REAL-TIME CONSTRAINT
CONDITION-ACTION RULE
HISTORY-LESS METHOD
TEMPORAL LOGIC
EARLIER WORK
TEMPORAL CONDITION
REAL-TIME OPERATOR
PAST METRIC TEMPORAL LOGIC
REAL-TIME INTEGRITY CONSTRAINT
INTEGRITY CONSTRAINTS
REAL TIME

This publication has 0 references indexed in Scilit: