{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:59:31Z","timestamp":1754488771935},"publisher-location":"London","reference-count":19,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199458"},{"type":"electronic","value":"9781447130338"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3033-8_18","type":"book-chapter","created":{"date-parts":[[2012,1,3]],"date-time":"2012-01-03T17:27:25Z","timestamp":1325611645000},"page":"332-351","source":"Crossref","is-referenced-by-count":11,"title":["Composite Temporal Events in Active Databases: A Formal Semantics"],"prefix":"10.1007","author":[{"given":"Iakovos","family":"Motakis","sequence":"first","affiliation":[]},{"given":"Carlo","family":"Zaniolo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"N. Arni, K. Ong, S. Tsur, and C. Zaniolo. LDL++: A second generation deductive database system, submitted for publication."},{"key":"18_CR2","unstructured":"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\u2013320. Benjamin\/Cummings, 1993."},{"key":"18_CR3","unstructured":"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."},{"key":"18_CR4","first-page":"606","volume-title":"Proceedings of the 20th VLDB Conference","author":"S Chakravarthy","year":"1994","unstructured":"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\u2013617, September 1994."},{"key":"18_CR5","first-page":"557","volume-title":"Proceedings of the International Conference on Data Engineering","author":"J Chomicki","year":"1992","unstructured":"J. Chomicki. History-less checking of dynamic integrity constraints. In Proceedings of the International Conference on Data Engineering, pages 557\u2013564, 1992."},{"key":"18_CR6","volume-title":"Petri Nets and Grafcet: Tools for modeling discrete event systems","author":"R David","year":"1992","unstructured":"R. David. Petri Nets and Grafcet: Tools for modeling discrete event systems. Prentice Hall, New York, 1992."},{"key":"18_CR7","unstructured":"U. Dayal, E.N. Hanson, and J. Widom. Active Database Systems. In W. Kim, editor, Modern Database Systems. Addison Wesley, 1995."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"E. Emerson. Temporal and Modal Logic. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 16, pages 995\u20131072. Elsevier\/MIT Press, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/44203.44208","volume":"17","author":"U Dayal","year":"1988","unstructured":"U. Dayal et al. The HiPAC Project: Combining active databases and timing constraints. ACM-SIGMOD Record, 17 (l): 51\u201370, March 1988.","journal-title":"ACM-SIGMOD Record"},{"key":"18_CR10","first-page":"23","volume-title":"Proceedings of the First Intl. Conference on Rules in Database Systems","author":"S Gatziu","year":"1993","unstructured":"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\u201339, September 1993."},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/RIDE.1994.282859","volume-title":"Proceedings of the 4th Intl. Workshop on Research Issues in Data Engineering: Active Database Systems","author":"S Gatziu","year":"1994","unstructured":"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\u20139, 1994."},{"key":"18_CR12","unstructured":"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\u2013338, 1992."},{"key":"18_CR13","first-page":"81","volume-title":"Proceedings of the ACM SIGMOD International Conference on Management of Data","author":"NH Gehani","year":"1992","unstructured":"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\u201390, 1992."},{"key":"18_CR14","first-page":"54","volume-title":"Proceedings of the 2nd IEEE Symposium on Logic in Computer Science","author":"D Harel","year":"1987","unstructured":"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\u201364, 1987."},{"key":"18_CR15","unstructured":"I. Motakis and C. Zaniolo. Composite Temporal Events in Active Database Rules: A Logic-Oriented Approach, submitted for publication."},{"key":"18_CR16","unstructured":"NASA, Lyndon Johnson Space Center, Software Technology Branch. CLIPS 6.0 Reference Manual, June 1993."},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1145\/181550.181557"},{"key":"18_CR18","volume-title":"Temporal Databases: Theory, Design and Implementation","author":"A Tuzhilin","year":"1993","unstructured":"A. Tuzhilin. Applications of Temporal Databases to Knowledge-based Simulations. In A. Tansel et al., editor, Temporal Databases: Theory, Design and Implementation, chapter 23. Benjamin\/Cummings, 1993."},{"key":"18_CR19","first-page":"271","volume-title":"Proceedings of the 1st International Workshop on Rules in Database Systems","author":"C Zaniolo","year":"1993","unstructured":"C. Zaniolo. A unified semantics for active and deductive databases. In Proceedings of the 1st International Workshop on Rules in Database Systems, pages 271\u2013287, 1993."}],"container-title":["Workshops in Computing","Recent Advances in Temporal Databases"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3033-8_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T03:48:41Z","timestamp":1557978521000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3033-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199458","9781447130338"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3033-8_18","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}