{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T08:18:52Z","timestamp":1683879532867},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1996,10,1]],"date-time":"1996-10-01T00:00:00Z","timestamp":844128000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Intell Inf Syst"],"published-print":{"date-parts":[[1996,10]]},"DOI":"10.1007\/bf00127780","type":"journal-article","created":{"date-parts":[[2004,10,31]],"date-time":"2004-10-31T13:34:11Z","timestamp":1099229651000},"page":"151-172","source":"Crossref","is-referenced-by-count":4,"title":["A formal semantics for an active functional DBPL"],"prefix":"10.1007","volume":"7","author":[{"given":"Alexandra","family":"Poulovassilis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Swarup","family":"Reddi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carol","family":"Small","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Baralis, E., Ceri, S. and Paraboschi, S. (1995). ?Improved Rule Analysis by Means of Triggering and Activation Graphs?, in Proc. 2nd Int. Workshop on Rules in Database Systems, Athens, Greece, pp. 165?181.","DOI":"10.1007\/3-540-60365-4_126"},{"key":"CR2","unstructured":"Branding, H., Buchmann, A., Kudrass, T. and Zimmerman, J. (1993). Rules in an open system: the REACH rule system. In (Paton, et al. 1993a), pp. 111?126."},{"key":"CR3","volume-title":"Database Transaction Models for Advanced Applications","author":"A. Buchmann","year":"1992","unstructured":"Buchmann, A., \u00d6zsu, M.T., Hornick, M., Georgakopoulos, D. and Manola, F.A. (1992). A transaction model for active distributed object systems. In A.K.Elmagarmid (Ed.), Database Transaction Models for Advanced Applications. Morgan Kaufman, San Mateo, CA."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1093\/comjnl\/12.1.41","volume":"12","author":"R. Burstall","year":"1969","unstructured":"Burstall, R. (1969). ?Proving properties of programs by structural induction?, The Computer Journal, 12, pp. 41?48.","journal-title":"The Computer Journal"},{"key":"CR5","unstructured":"Chakravarthy, S., Krishnaprasad, V., Anwar E. and Kim, S.-.K. (1994). ?Composite Events for Active Databases: Semantics, Contexts and Detection?, in Proc. 20th VLDB Conf., Santiago, Chile, pp. 606?617."},{"key":"CR6","volume-title":"Functional Programming Languages and Computer Architecture, LNCS 201","author":"C. Clack","year":"1985","unstructured":"Clack, C. and Peyton-Jones, S.L. (1985). Strictness Analysis-A Practical Approach. In J.P.Jouannaud (Ed.), Functional Programming Languages and Computer Architecture, LNCS 201. Springer-Verlag, Heidelberg, Germany."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1145\/44203.44208","volume":"17-1","author":"U. Dayal","year":"1988","unstructured":"Dayal, U., Blaustein, B., Buchmann, A.P., Chakravarthy, S., Goldhirsch, D., Hsu, M., Ladin, R., McCarthy, D. and Rosenthal, A. (1988). ?The HiPAC project: combining active databases and timing constraints?, Sigmod record, Vol. 17?1, pp. 51?70.","journal-title":"Sigmod record"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Dittrich, K.R., Gatziu, S. and Geppert, A. (1995). ?The Active Database Management System Manifesto: A Rulebase of ADBMS Features?, in Proc. 2nd Int. Workshop on Rules in Database Systems, Athens, Greece, pp. 3?17.","DOI":"10.1007\/3-540-60365-4_116"},{"key":"CR9","first-page":"1","volume":"15","author":"S. Gatziu","year":"1992","unstructured":"Gatziu, S. and Dittrich, K.R. (1992). ?SAMOS: an Active Object-Oriented Database System?, IEEE Bulletin of the TC on Data Engineering: Special Issue on Active Databases, Vol. 15, pp. 1?4","journal-title":"IEEE Bulletin of the TC on Data Engineering: Special Issue on Active Databases"},{"key":"CR10","unstructured":"Gatziu, S. and Dittrich K.R. (1993). Events in an Active Object-Oriented Database System. In (Paton, et al. 1993a), pp. 23?39."},{"key":"CR11","unstructured":"Gehani, N.H. and Jagadish, H.V. (1991). ?Ode as an Active Database: Constraints and Triggers?, in Proc 17th VLDB Conf., Barcelona, Spain, pp. 327?336."},{"key":"CR12","unstructured":"Gehani, N.H., Jagadish, H.V. and Schmueli, O. (1992). ?Composite Event Specification in Active Databases: Model & Implementation?, in Proc. 18th VLDB Conf., Vancouver, Canada, pp. 327?338."},{"key":"CR13","volume-title":"Rules in Database Systems, Edinburgh 1993","year":"1993","unstructured":"Paton, N.W. and Williams, M.H. (Eds.) (1993a). Rules in Database Systems, Edinburgh 1993. Springer-Verlag, Heidelberg, Germany."},{"key":"CR14","unstructured":"Paton, N.W., Diaz, O., Williams, M.H., Campin, J., Dinn, A. and Jaime, A. (1993). Dimensions of active behaviour. In (Paton, et al. 1993a), pp. 40?57."},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Paton, N.W., Campin, J., Fernandes, A.A.A. and Williams, M.H. (1995). ?Formal Specification of Active Database Functionality: A Survey?, in Proc. 2nd Int. Workshop on Rules in Database Systems, Athens, Greece, pp. 21?35.","DOI":"10.1007\/3-540-60365-4_117"},{"key":"CR16","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511526602","volume-title":"Logic and computation: Interactive proof with Cambridge LCF","author":"L.C. Paulson","year":"1987","unstructured":"Paulson, L.C. (1987). Logic and computation: Interactive proof with Cambridge LCF, Cambridge University Press, Cambridge, U.K.."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9-3","author":"J.L. Peterson","year":"1977","unstructured":"Peterson, J.L. (1977). Petri Nets, ACM Computing Surveys, Vol. 9?3, pp. 223?252.","journal-title":"ACM Computing Surveys"},{"key":"CR18","volume-title":"The implementation of functional programming languages","author":"S.L. Peyton-Jones","year":"1987","unstructured":"Peyton-Jones, S.L. (1987). The implementation of functional programming languages, Prentice-Hall, New York, NY."},{"key":"CR19","unstructured":"Poulovassilis, A. and Small, C. (1991). ?A functional approach to deductive databases?, in Proc. 17th VLDB Conf., Barcelona, Spain, pp. 491?500."},{"key":"CR20","unstructured":"Poulovassilis, A. and Small, C. (1994). ?Investigation of algebraic query optimisation in database programming languages?, in Proc. 20th VLDB Conf., Santiago, Chile, pp. 415?426."},{"key":"CR21","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/s007780050019","volume":"5-2","author":"A. Poulovassilis","year":"1996","unstructured":"Poulovassilis, A. and Small, C. (1996). ?Algebraic query optimisation in database programming languages?, VLDB Journal, Vol. 5?2, pp. 119?132.","journal-title":"VLDB Journal"},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"Reddi, S. (1993). ?Integrity enforcement in the functional database language PFL?, in Proc. 11th British National Conf. on Databases, Keele, U.K., pp. 238?257.","DOI":"10.1007\/3-540-56921-9_14"},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"Reddi, S. Poulovassilis, A. and Small, C. (1995). ?Extending a Functional DBPL with ECA-rules?, in Proc. 2nd Int. Workshop on Rules in Database Systems, Athens, Greece, pp. 101?115.","DOI":"10.1007\/3-540-60365-4_122"},{"key":"CR24","unstructured":"Simon, E., Kiernan, J. and de Maindreville, C. (1992). ?Implementing high level active rules on top of a relational DBMS?, in Proc. 18th VLDB Conference, Vancouver, Canada, pp. 315?326."},{"key":"CR25","unstructured":"Small, C. and Poulovassilis, A. (1991). ?An overview of PFL?, in Proc. DBPL-3, Nauplion, Greece, pp. 96?110."},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"Sutton, D. and Small, C. (1995). ?Extending functional database languages to update completeness?, in Proc. 13th British National Conf. on Databases, Manchester, U.K., pp. 47?63.","DOI":"10.1007\/BFb0000540"},{"key":"CR27","unstructured":"Widom, J., Cochrane, R.J. and Lindsay, B.G. (1991). ?Implementing set-oriented production rules as an extension to Starburst?, in Proc. 17th VLDB Conf., Barcelona, Spain, pp. 275?285."}],"container-title":["Journal of Intelligent Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00127780.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00127780\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00127780","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,27]],"date-time":"2021-06-27T08:48:46Z","timestamp":1624783726000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00127780"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,10]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,10]]}},"alternative-id":["BF00127780"],"URL":"https:\/\/doi.org\/10.1007\/bf00127780","relation":{},"ISSN":["0925-9902","1573-7675"],"issn-type":[{"value":"0925-9902","type":"print"},{"value":"1573-7675","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,10]]}}}