{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:28:51Z","timestamp":1725488931247},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540414568"},{"type":"electronic","value":"9783540445036"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44503-x_5","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T04:25:32Z","timestamp":1186892732000},"page":"68-82","source":"Crossref","is-referenced-by-count":2,"title":["Expressiveness Issues and Decision Problems for Active Database Event Queries"],"prefix":"10.1007","author":[{"given":"James","family":"Bailey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Szabolcs","family":"Mikul\u00e1s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,10,12]]},"reference":[{"key":"5_CR1","unstructured":"S. Chakravarthy, V. Krishnaprasad, E. Anwar, and S.-K. Kim. Composite events for active databases: semantics, contexts and detection. In 20th International Conference on Very Large Data Bases, pages 606\u2013617, 1994."},{"issue":"4","key":"5_CR2","first-page":"566","volume":"7","author":"J. Chomicki","year":"1995","unstructured":"J. Chomicki and D. Toman. Implementing temporal integrity constraints using an active dbms. IEEE TKDE, 7(4):566\u2013581, 1995.","journal-title":"IEEE TKDE"},{"issue":"3\u20134","key":"5_CR3","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0306-4379(98)00008-8","volume":"23","author":"O. Diaz","year":"1998","unstructured":"O. Diaz, N.W. Paton, and J. Iturrioz. Formalizing and validating behavioral models through the event calculus. Information Systems, 23(3\u20134):179\u2013196, 1998.","journal-title":"Information Systems"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"S. Gatziu and K. Dittrich. Detecting composite events in active database systems using Petri nets. In Proceedings of the 4th International Workshop on Research Issues in Data Engineering, pages 2\u20139, Houston, Texas, 1994.","DOI":"10.1109\/RIDE.1994.282859"},{"key":"5_CR5","unstructured":"N. Gehani, H. V. Jagadish, and O. Shmueli. Composite event specification in active databases: Model and implementation. In VLDB\u201992, pages 327\u2013338, 1992."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"A. Geppert and K. Dittrich. Performance assessment. In N. Paton, editor, Active Rules in Database Systems, pages 103\u2013123. Springer-Verlag, 1999.","DOI":"10.1007\/978-1-4419-8656-6_6"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(94)00084-V","volume":"139","author":"I. Hodkinson","year":"1995","unstructured":"I. Hodkinson. On Gabbay\u2019s temporal fixed point operator. Journal of Theoretical Computer Science, 139:1\u201325, 1995.","journal-title":"Journal of Theoretical Computer Science"},{"key":"5_CR8","unstructured":"M. Minsky. Computation: Finite and Infinite Machines. Prentice Hall, 1967."},{"issue":"2","key":"5_CR9","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/PL00010674","volume":"9","author":"I. Mirbel","year":"2000","unstructured":"I. Mirbel, B. Pernici, T. Sellis, S. Tserkezoglou, and M. Vazirgiannis. Checking temporal integrity of interactive multimedia documents. The VLDB Journal, 9(2):111\u2013130, 2000.","journal-title":"The VLDB Journal"},{"issue":"3\u20134","key":"5_CR10","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1023\/A:1008231404725","volume":"7","author":"I. Motakis","year":"1997","unstructured":"I. Motakis and C. Zaniolo. Formal semantics for composite temporal events in active database rules. Journal of Systems Integration, 7(3\u20134):291\u2013325, 1997.","journal-title":"Journal of Systems Integration"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"N. Paton, editor. Active Rules in Database Systems. Springer-Verlag, 1999.","DOI":"10.1007\/978-1-4419-8656-6"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/3828.3837","volume":"32","author":"A. Sistla","year":"1985","unstructured":"A. Sistla and E. Clark. Complexity of propositional linear temporal logics. Journal of the ACM, 32:733\u2013749, 1985.","journal-title":"Journal of the ACM"},{"issue":"3","key":"5_CR13","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1109\/69.390251","volume":"7","author":"A. P. Sistla","year":"1995","unstructured":"A. P. Sistla and O. Wolfson. Temporal triggers in active databases. IEEE Transaction on KNowledge and Data Engineering, 7(3):471\u2013486, 1995.","journal-title":"IEEE Transaction on KNowledge and Data Engineering"},{"issue":"3","key":"5_CR14","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1016\/S0022-0000(75)80005-5","volume":"10","author":"L. G. Valiant","year":"1975","unstructured":"L. G. Valiant and Paterson M. S. Deterministic one-counter automata. Journal of Computer and System Sciences, 10(3):340\u2013250, 1975.","journal-title":"Journal of Computer and System Sciences"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"D. Zimmer and R. Unland. On the semantics of complex events in active database management systems. In ICDE\u201999, pages 392\u2013399, 1999.","DOI":"10.1109\/ICDE.1999.754955"}],"container-title":["Lecture Notes in Computer Science","Database Theory \u2014 ICDT 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44503-X_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T19:16:39Z","timestamp":1550776599000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44503-X_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540414568","9783540445036"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-44503-x_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}