{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T13:10:01Z","timestamp":1751634601987,"version":"3.41.0"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1997,9,1]],"date-time":"1997-09-01T00:00:00Z","timestamp":873072000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,9,1]],"date-time":"1997-09-01T00:00:00Z","timestamp":873072000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems Integration"],"published-print":{"date-parts":[[1997,9]]},"DOI":"10.1023\/a:1008231404725","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T13:47:34Z","timestamp":1040564854000},"page":"291-325","source":"Crossref","is-referenced-by-count":19,"title":["Formal Semantics for Composite Temporal Events in Active Database Rules"],"prefix":"10.1007","volume":"7","author":[{"given":"Iakovos","family":"Motakis","sequence":"first","affiliation":[]},{"given":"Carlo","family":"Zaniolo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"141164_CR1","unstructured":"S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995."},{"key":"141164_CR2","unstructured":"N. Arni, K. Ong, S. Tsur, and C. Zaniolo. LDL++: A second generation deductive database system. submitted for publication."},{"key":"141164_CR3","unstructured":"M. Baudinet, J. Chomicki, and P. Wolper. Temporal Deductive Databases. In Tansel et al. [32], chapter 13, pages 294\u2013320."},{"key":"141164_CR4","unstructured":"S. Chakravarthy, V. Krishnaprasad, E. Anwar, and S. K. Kim. Anatomy of a Composite Event Detector. Technical Report CIS TR\u201393\u2013039, University of Florida, December 1993."},{"key":"141164_CR5","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, Sep. 1994."},{"issue":"1","key":"141164_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0169-023X(94)90006-X","volume":"14","author":"S. Chakravarthy","year":"1994","unstructured":"S. Chakravarthy and D. Mishra. Snoop: An expressive event specification language for active databases. Data and Knowledge Engineering, 14(1):1\u201326, Nov. 1994.","journal-title":"Data and Knowledge Engineering"},{"key":"141164_CR7","doi-asserted-by":"crossref","unstructured":"J. Chomicki. History-less checking of dynamic integrity constraints. In Proc. of the Intl. Conf. on Data Engineering, pages 557\u2013564, 1992.","DOI":"10.1109\/ICDE.1992.213153"},{"key":"141164_CR8","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":"141164_CR9","unstructured":"U. Dayal, A. Buchmann, and S. Chakravarthy. The HiPAC Project. In Widom and Ceri [34], chapter 7, pages 177\u2013206."},{"key":"141164_CR10","unstructured":"U. Dayal, E.N. Hanson, and J. Widom. Active Database Systems. In W. Kim, editor, Modern Database Systems. Addison Wesley, 1995."},{"key":"141164_CR11","unstructured":"P. Deransart, M. Jourdan, and B. Lorho. Attribute Grammars: definitions, systems, and bibliography. Springer-Verlag, 1988."},{"key":"141164_CR12","doi-asserted-by":"crossref","unstructured":"S. Gatziu. Events in an Active Object-Oriented Database System. PhD thesis, Universit\u00e4t Z\u00fcrich, 1994.","DOI":"10.1007\/978-1-4471-3225-7_2"},{"key":"141164_CR13","doi-asserted-by":"crossref","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, Sep. 1993.","DOI":"10.1007\/978-1-4471-3225-7_2"},{"key":"141164_CR14","doi-asserted-by":"crossref","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, February 1994.","DOI":"10.1109\/RIDE.1994.282859"},{"key":"141164_CR15","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":"141164_CR16","doi-asserted-by":"crossref","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.","DOI":"10.1145\/130283.130300"},{"key":"141164_CR17","unstructured":"G. Giuffrida and C. Zaniolo. EPL: Event Pattern Language. In Proceedings of the third CLIPS Conference. NASA's Johnson Space Center, September 1994."},{"key":"141164_CR18","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1988","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231\u2013274, 1988.","journal-title":"Science of Computer Programming"},{"key":"141164_CR19","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":"141164_CR20","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"D. E. Knuth","year":"1968","unstructured":"D. E. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2:127\u2013145, 1968.","journal-title":"Mathematical Systems Theory"},{"key":"141164_CR21","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer Verlag, 1977."},{"key":"141164_CR22","volume-title":"Temporal Reasoning in Active Databases","author":"I. Motakis","year":"1997","unstructured":"I. Motakis. Temporal Reasoning in Active Databases. PhD thesis, University of California, Los Angeles, 1997."},{"key":"141164_CR23","doi-asserted-by":"crossref","unstructured":"I. Motakis and C. Zaniolo. Composite Temporal Events in Active Database Rules: A Logic-Oriented Approach. In Proceedings of the 4th Intl. Conference on Deductive and Object-Oriented Databases, pages 19\u201337, 1995.","DOI":"10.1007\/3-540-60608-4_32"},{"key":"141164_CR24","doi-asserted-by":"crossref","unstructured":"I. Motakis and C. Zaniolo. Composite Temporal Events in Active Databases: A Formal Semantics. In J. Clifford and A. Tuzhilin, editors, Recent Advances in Temporal Databases, Workshops in Computing Series, pages 332\u2013351. Springer, Sep. 1995.","DOI":"10.1007\/978-1-4471-3033-8_18"},{"key":"141164_CR25","doi-asserted-by":"crossref","unstructured":"I. Motakis and C. Zaniolo. Temporal Aggregation in Active Database Rules. In Proceedings of the ACM SIGMOD Intl. Conf. on Management of Data, May 1997.","DOI":"10.1145\/253260.253359"},{"key":"141164_CR26","unstructured":"NASA, Lyndon Johnson Space Center, Software Technology Branch. CLIPS 6.0 Reference Manual, June 1993."},{"key":"141164_CR27","unstructured":"N. W. Paton, J. Campin, A. A. Fernandes, and M. H. Williams. Semantics for Active Database Systems. In Proceedings of the 2nd International Workshop on Rules in Database Systems, pages 21\u201335, 1995."},{"key":"141164_CR28","doi-asserted-by":"crossref","unstructured":"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\u2013138, 1995.","DOI":"10.1145\/212433.220203"},{"issue":"1","key":"141164_CR29","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/181550.181557","volume":"23","author":"N. Pissinou","year":"1994","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):35\u201351, March 1994.","journal-title":"ACM-SIGMOD Record"},{"key":"141164_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W. Reisig","year":"1985","unstructured":"W. Reisig. Petri Nets: An Introduction. Springer-Verlag, Berlin, 1985."},{"key":"141164_CR31","doi-asserted-by":"crossref","unstructured":"A. P. Sistla and O. Wolfson. Temporal Conditions and Integrity Constraints in Active Database Systems. In Proc. of the 1995 ACM SIGMOD Intl. Conference on Management of Data, pages 269\u2013280, 1995.","DOI":"10.1145\/223784.223844"},{"key":"141164_CR32","unstructured":"A. Tansel et al., editors. Temporal Databases: Theory, Design and Implementation. Benjamin\/Cummings, 1993."},{"key":"141164_CR33","unstructured":"J. D. Ullman. Principles of Database and Knowledge-Base Systems, Volumes I and II. Computer Science Press, 1989."},{"key":"141164_CR34","unstructured":"J. Widom and S. Ceri, editors. Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan Kaufmann, 1996."},{"key":"141164_CR35","doi-asserted-by":"crossref","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.","DOI":"10.1007\/978-1-4471-3225-7_16"},{"key":"141164_CR36","unstructured":"C. Zaniolo, S. Ceri, C. Faloutsos, R. Snodgrass, V.S. Subrahmanian, and R. Zicari. Advanced Database Systems. Morgan Kaufmann Publishers, 1997."}],"container-title":["Journal of Systems Integration"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008231404725.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008231404725\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008231404725.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T12:51:02Z","timestamp":1751633462000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008231404725"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,9]]},"references-count":36,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1997,9]]}},"alternative-id":["141164"],"URL":"https:\/\/doi.org\/10.1023\/a:1008231404725","relation":{},"ISSN":["0925-4676","1573-8787"],"issn-type":[{"type":"print","value":"0925-4676"},{"type":"electronic","value":"1573-8787"}],"subject":[],"published":{"date-parts":[[1997,9]]}}}