{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T21:40:06Z","timestamp":1737063606354,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677970"},{"type":"electronic","value":"9783540449577"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44957-4_80","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T05:24:41Z","timestamp":1180675481000},"page":"1197-1209","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Specification of an Active Database System Application Using Dynamic Relation Nets"],"prefix":"10.1007","author":[{"given":"Laurent","family":"Allain","sequence":"first","affiliation":[]},{"given":"Pascal","family":"Yim","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Dittrich, K.R., Gatziu, S., Geppert, A.: The Active Database Management System Manifesto. Proceedings of the 2nd Workshop on Rules in Databases, Athens, Greece, September 1995. pp 3\u201320.","key":"80_CR1","DOI":"10.1007\/3-540-60365-4_116"},{"unstructured":"Paton, N.W., Diaz, O., Williams, M.H., Campin, J., Dinn, A., Jaime, A.: Dimensions of Active Behaviour. In Paton, N.W., Williams, M.H. (eds): Proceedings of the 1st International Workshop on Rules in Database Systems. Springer-Verlag, 1995. pp. 40\u201357.","key":"80_CR2"},{"key":"80_CR3","volume-title":"A Structured Specification of an Active Database System","author":"J. Campin","year":"1994","unstructured":"Campin, J., Paton, N.W., Williams, M.H.: A Structured Specification of an Active Database System. Computing & Electrical Engineering Department, Heriot-Watt University, Riccarton, Edinburgh. October 1994."},{"key":"80_CR4","volume-title":"Technical Report SRI-CSL-88-9","author":"J.A. Goguen","year":"1988","unstructured":"Goguen, J.A., Winkler, T.: Introducing OBJ. Technical Report SRI-CSL-88-9, SRI International, Stanford, August 1988."},{"unstructured":"Schmidt, D.A.: Denotational Semantics: a Methodology for Language Development. Allyn and Bacon, 1986.","key":"80_CR5"},{"unstructured":"Spivey, J.M.: The Z Notation: a reference manual. Prentice-Hall, second edition, 1992.","key":"80_CR6"},{"unstructured":"Jones, C.B.: Systematic Software Development Using VDM. Prentice-Hall, 1990.","key":"80_CR7"},{"unstructured":"Gordon, M.J.C., Melham, T.F.: Introduction to HOL: a theorem proving environment for higher-order logic. Cambridge University Press, 1993.","key":"80_CR8"},{"unstructured":"Coquand, T., Huet, G.: A theory of constructions. In Semantics of Data Types. Springer-Verlag, 1985. pp 95\u2013120.","key":"80_CR9"},{"doi-asserted-by":"crossref","unstructured":"Moszkowski, B.: Executing Temporal Logic Programs. Cambridge University Press, 1986.","key":"80_CR10","DOI":"10.1007\/3-540-15670-4_6"},{"unstructured":"Gatziu, S., Geppert, A., Dittrich, K.R.: Integrating Active Concepts into an Object-Oriented Database System. In Kanellakis, P., Schmidt, J.W. (eds), Proceedings of the 3rd Workshop on Database Programming Languages. Morgan-Kaufmann, 1991.","key":"80_CR11"},{"doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, 1984.","key":"80_CR12","DOI":"10.1007\/978-3-662-09507-2_19"},{"doi-asserted-by":"crossref","unstructured":"Harel, D.: Statecharts: a Visual Formalism for Complex Systems. Science of Computer Programming, August 1987.","key":"80_CR13","DOI":"10.1016\/0167-6423(87)90035-9"},{"unstructured":"Chakravarthy, S., Krishnaprasad, V., Anwar, E., Kim, S.K.: Anatomy of a Composite Event Detector. Technical Report UF-CIS-TR-93-039, CIS Department, University of Florida, 1993.","key":"80_CR14"},{"key":"80_CR15","volume-title":"Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming","author":"L. Brownston","year":"1985","unstructured":"Brownston, L., Farrell, R., Kant, E., Martin, N.: Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Addison-Wesley, Reading, Massachusetts, 1985."},{"doi-asserted-by":"crossref","unstructured":"Agrawal, R., Gehani, N.H.: ODE (Object Database and Environment): The Language and the Data Model. In Proceedings of the ACM-SIGMOD International Conference on Management of Data, Portland, Oregon, May\u2013June 1989. pp 36\u201345.","key":"80_CR16","DOI":"10.1145\/66926.66930"},{"doi-asserted-by":"crossref","unstructured":"Hanson, E.N.: Rule Condition Testing and Action Execution in Ariel. In Proceedings of the ACM-SIGMOD International Conference, June 1992. pp 49\u201358.","key":"80_CR17","DOI":"10.1145\/141484.130295"},{"unstructured":"Widom, J., Cochrane, R.J., Lindsay, B.G.: Implementing Set-Oriented Production Rules As An Extension To Starburst. In Proceedings of the 17th International Conference on Very Large Data Bases (VLDB), Barcelona, Spain, 1991. pp 275\u2013285.","key":"80_CR18"},{"doi-asserted-by":"crossref","unstructured":"Gatziu, S., Geppert, A., Dittrich, K.R.: The SAMOS Active DBMS Prototype. Technical Report 94.16, Institut f\u00fcr Informatik, Universit\u00e4t Z\u00fcrich Switzerland, 1994.","key":"80_CR19","DOI":"10.1145\/223784.223893"},{"key":"80_CR20","volume-title":"Technical Report XAIT-89-02","author":"S. Chakravarthy","year":"1989","unstructured":"Chakravarthy, S.: HiPAC: A Research Project in Active, Time-Constrained Database Management, Final Report. Technical Report XAIT-89-02, Xerox Advanced Information Technology, Cambridge, Massachussets, August 1989."},{"issue":"2","key":"80_CR21","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1145\/66926.66946","volume":"18","author":"D.R. McCarthy","year":"1989","unstructured":"McCarthy, D.R., Dayal, U.: The Architecture of an Active, Object-oriented Database Management System. In Proceedings of the ACM-SIGMOD International Conference on Management of Data Vol. 18 No. 2, Portland, Oregon, May\/June 1989. pp 215\u2013224.","journal-title":"Proceedings of the ACM-SIGMOD International Conference on Management of Data"},{"unstructured":"Hanson, E.N., Widom, J.: An Overview of Production Rules in Database Systems. Technical Report UF-CIS 92-031, CIS Department, University of Florida, October 1992.","key":"80_CR22"},{"key":"80_CR23","volume-title":"IEEE International Conference on Systems","author":"C. Cadivel","year":"1995","unstructured":"Cadivel, C., Lefort, A., Yim, P.: Process Modeling in Information System by Formal Net. In IEEE International Conference on Systems, Man and Cybernetics, Vancouver Canada, October 22\u201325 1995."},{"doi-asserted-by":"crossref","unstructured":"Gatziu, S., Dittrich, K.R.: Detecting Composite Events in an Active Database System using Petri Nets. In Proceedings of the 4th International Workshop on Research Issues in Data Engineering: Active Database Systems, Houston, Texas, February 1994. pp. 2\u20139.","key":"80_CR24","DOI":"10.1109\/RIDE.1994.282859"},{"unstructured":"Chakravarthy, S.: Architectures and Monitoring Techniques for Active Databases: an Evaluation. Technical Report UF-CIS-TR-92-041, CIS Department, University of Florida, 1992.","key":"80_CR25"},{"doi-asserted-by":"crossref","unstructured":"Kiernan, G., de Maindreville, C., Simon, E.: Making Deductive Database a Practical Technology: A Step Forward. In Proceedings of the ACM SIGMOD International Conference on Management of Data, May 1990.","key":"80_CR26","DOI":"10.1145\/93597.98733"},{"key":"80_CR27","volume-title":"Th\u00e8se de Doctorat en Productique","author":"L. Allain","year":"1999","unstructured":"Allain, L.: Contribution \u00e0 la Mod\u00e9lisation et \u00e0 la Sp\u00e9cification: R\u00e9seaux Formels et Bases de Donn\u00e9es Actives. Th\u00e8se de Doctorat en Productique, Automatique et Informatique Industrielle, LAIL UPRESA 8021, EC-Lille, Universit\u00e9 des Sciences et Technologies de Lille, France, 1999."}],"container-title":["Lecture Notes in Computer Science","Computational Logic \u2014 CL 2000"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44957-4_80","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T21:05:01Z","timestamp":1737061501000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44957-4_80"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677970","9783540449577"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-44957-4_80","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"15 December 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}