Abstract
Several database systems support active rules, and are currently being extended with languages for detecting complex patterns of temporal events. These languages have used for their definition and implementation, an assortment of formalisms ranging from Finite-State Machines, to Petri Nets and Event Graphs. In this paper, we show that the semantics of deductive databases supply a more general and complete basis for the definition of such languages. In fact, we develop a model, whereby an active rule with a composite event part can be viewed as an equivalent set of Datalog 1S rules. We use this approach to provide the complete formal specification of the EPL system developed at UCLA and we demonstrate its generality by modeling concepts and constructs of other systems.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
N. Arni, K. Ong, S. Tsur, and C. Zaniolo. LDL++: A second generation deductive database system. submitted for publication.
M. Baudinet, J. Chomicki, and P. Wolper. Temporal Deductive Databases. In A. Tansel et al., editor, Temporal Databases: Theory, Design and Implementation, chapter 13, pages 294–320. Benjamin/Cummings, 1993.
S. Chakravarthy, V. Krishnaprasad, E. Anwar, and S. K. Kim. Anatomy of a composite event detector. Technical Report CIS TR-93-039, University of Florida, December 1993.
S. Chakravarthy, V. Krishnaprasad, E. Anwar, and S. K. Kim. Composite events for active databases: Semantics, contexts and detection. In Proceedings of the 20th VLDB Conference, pages 606–617, September 1994.
J. Chomicki. History-less checking of dynamic integrity constraints. In Proceedings of the International Conference on Data Engineering, pages 557–564, 1992.
R. David. Petri Nets and Grafcet: Tools for modeling discrete event systems. Prentice Hall, New York, 1992.
U. Dayal, E.N. Hanson, and J. Widom. Active Database Systems. In W. Kim, editor, Modern Database Systems. Addison Wesley, 1995.
U. Dayal et al. The HiPAC Project: Combining active databases and timing constraints. ACM-SIGMOD Record, 17(1):51–70, March 1988.
S. Gatziu and K. R. Dittrich. Events in an object-oriented database system. In Proceedings of the First Intl. Conference on Rules in Database Systems, pages 23–39, September 1993.
S. Gatziu and K. R. Dittrich. Detecting composite events in active databases using petri nets. In Proceedings of the 4th Intl. Workshop on Research Issues in Data Engineering: Active Database Systems, pages 2‐9, February 1994.
N. H. Gehani, H. V. Jagadish, and O. Shmueli. Composite event specification in active databases: Model and implementation. In Proceedings of the 18th VLDB International Conference, pages 327–338, 1992.
N. H. Gehani, H. V. Jagadish, and O. Shmueli. Event specification in an active object-oriented database. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 81–90, 1992.
D. Harel, A. Pnueli, J. P. Schmidt, and R. Sherman. On the formal semantics of statecharts. In Proceedings of the 2nd IEEE Symposium on Logic in Computer Science, pages 54–64, 1987.
J. W. Lloyd. Foundations of Logic Programming. Springer Verlag, 1977.
I. Motakis and C. Zaniolo. Composite Temporal Events in Active Databases: A Formal Semantics. In Proceedings of the International Workshop on Temporal Databases, 1995.
I. Motakis and C. Zaniolo. A Formal Semantics for Composite Temporal Events in Active Databases. Technical report, U.C.L.A., CS Department, 1995.
NASA, Lyndon Johnson Space Center, Software Technology Branch. CLIPS 6.0 Reference Manual, June 1993.
P. Picouet and V. Vianu. Semantics and expressiveness issues in active databases. In Proceedings of the 14th Symposium on Principles of Database Systems, pages 126–138, 1995.
N. Pissinou, R. Snodgrass, R. Elmasri, I. Mumick, M. Ozsu, B. Pernici, A. Segev, B. Theodoulidis, and U. Dayal. Towards an infrastructure for temporal databases. ACM-SIGMOD Record, 23(1), March 1994.
D. Toman and J. Chomicki. Implementing temporal integrity constraints using an active dbms. In Proc. of the 4th Intl. Workshop on Research Issues in Data Engineering, pages 87–95, 1994.
C. Zaniolo. A unified semantics for active and deductive databases. In Proceedings of the 1st International Workshop on Rules in Database Systems, pages 271–287, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Motakis, I., Zaniolo, C. (1995). Composite temporal events in active database rules: A logic-oriented approach. In: Ling, T.W., Mendelzon, A.O., Vieille, L. (eds) Deductive and Object-Oriented Databases. DOOD 1995. Lecture Notes in Computer Science, vol 1013. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60608-4_32
Download citation
DOI: https://doi.org/10.1007/3-540-60608-4_32
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60608-6
Online ISBN: 978-3-540-48460-8
eBook Packages: Springer Book Archive