TY - GEN
T1 - Real-time integrity constraints
AU - Chomicki, Jan
PY - 1992
Y1 - 1992
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/0026990408
U2 - 10.1145/137097.137889
DO - 10.1145/137097.137889
M3 - Conference contribution
AN - SCOPUS:0026990408
SN - 0897915194
SN - 9780897915199
T3 - Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
SP - 274
EP - 282
BT - Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
PB - Publ by ACM
T2 - Proceedings of the 11th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
Y2 - 2 June 1992 through 4 June 1992
ER -