{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,20]],"date-time":"2025-03-20T04:14:47Z","timestamp":1742444087663,"version":"3.40.1"},"publisher-location":"London","reference-count":26,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198468"},{"type":"electronic","value":"9781447132257"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-1-4471-3225-7_17","type":"book-chapter","created":{"date-parts":[[2012,1,31]],"date-time":"2012-01-31T02:50:31Z","timestamp":1327978231000},"page":"288-305","source":"Crossref","is-referenced-by-count":8,"title":["Integrating Active and Deductive Rules"],"prefix":"10.1007","author":[{"given":"John V.","family":"Harrison","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suzanne W.","family":"Dietrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Bancilhon, F., Maier, D., Sagiv, Y. and Ullman, J., \u201cMagic Sets and Other S-trange Ways to Implement Logic Programs\u201d, Proc. 5th ACM SIGMOD-SIGACT Symposium on Principles of Database Systems, Washington, DC, 1986, pp. 1\u201315.","DOI":"10.1145\/6012.15399"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0743-1066(91)90038-Q","volume":"10","author":"C Been","year":"1991","unstructured":"Been, C. and Ramakrishnan, R., \u201cOn the Power of Magic\u201d, Journal of Logic Programming, October, 1991:10, pp. 255\u2013299.","journal-title":"Journal of Logic Programming"},{"key":"17_CR3","unstructured":"Ceri, S. and Widom, J., \u201cDeriving Production Rules for Incremental View Maintenance\u201d, Proc. 17th Intl. Conf. on Very Large Database Systems, Barcelona, September, 1991, pp. 577\u2013589."},{"key":"17_CR4","unstructured":"Ceri, S. and Widom, J., \u201cDeriving Incremental Production Rules for Deductive Data\u201d, IBM Research Report RJ 9071 (80884) November, 1992."},{"key":"17_CR5","unstructured":"Chakravarthy, U. S. and Minker, J., \u201cMultiple Query Processing in Deductive Databases using Query Graphs\u201d, Proc. of the 12th Intl. Conf. on Very Large Data Bases, Kyoto, August 1986."},{"key":"17_CR6","volume-title":"Technical Report UF-CIS TR-91-24","author":"S Chakravarthy","year":"1991","unstructured":"Chakravarthy, S. and Garg, S., \u201cExtended Relational Algebra (ERA): for Optimizing Situations in Active Databases\u201d, Technical Report UF-CIS TR-91-24, CIS Department, University of Florida, Gainesville, November 1991."},{"key":"17_CR7","unstructured":"Dietrich, S. W., \u201cExtension Tables: Memo Relations in Logic Programming\u201d, IEEE Symposium on Logic Programming, San Francisco, CA, 1987, pp. 264\u2013272."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Gupta, A., Mumick, I. S. and Subrahmanian, V. S., \u201cMaintaining Views Incrementally\u201d, Proceedings of the 1993 ACM SIGMOD, Washington, DC, May 1993.","DOI":"10.1145\/170035.170066"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Hanson, E., Chaabouni, M., Kim, C. and Wang, Y., \u201cRule Condition Testing and Action Execution in Ariel\u201d, Proceedings of the 1992 ACM SIGMOD International Conference of Management of Data, San Diego, CA, June 1992, pp. 49\u201358.","DOI":"10.1145\/141484.130295"},{"key":"17_CR10","unstructured":"Harrison, J. V., and Dietrich, S. W., \u201cCondition Monitoring using Update Propagation in an Active Deductive Database\u201d, Arizona State University Tech. Rep. TR-91-027 (Revised), December, 1991, To appear: J. Info. Sys."},{"key":"17_CR11","unstructured":"Harrison, J. V. and Dietrich, S. W., \u201cTowards an Incremental Condition Evaluation Strategy for Active Deductive Databases\u201d, In Proceedings of Databases \u203292, Third Australian Database Conference, Melbourne, Australia, February 1992. pp. 81\u201395."},{"key":"17_CR12","unstructured":"Harrison, J. V., \u201cCondition Monitoring in an Active Deductive Database\u201d, Ph.D. Dissertation, Arizona State University, July, 1992."},{"key":"17_CR13","unstructured":"Harrison, J. V. and Dietrich, S. W., \u201cMaintaining Materialized Views in Deductive Databases: An Update Propagation Approach\u201d, Proceedings of the Deductive Database Workshop held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., November, 1992, pp. 56\u201365."},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Harrison, J. V., \u201cMonitoring Complex Events defined using Aggregates in an Active Deductive Database\u201d, University of Queensland Tech. Rep. 268, May, 1993 (revised).","DOI":"10.1145\/170088.170125"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Kuchenhoff, V.,\u201cOn the efficient computation of the difference between consecutive database states\u201d, In Proc. of the Second Intl. Conf. on Deductive and Object-Oriented Databases (DOOD), Munich, Germany, December 1991.","DOI":"10.1007\/3-540-55015-1_26"},{"key":"17_CR16","doi-asserted-by":"crossref","first-page":"137","DOI":"10.7551\/mitpress\/5510.003.0009","volume-title":"The Practice of Prolog","author":"A Lakhotia","year":"1990","unstructured":"Lakhotia, A. and Sterling, L., \u201cProMiX: a Prolog Partial Evaluation System\u201d, In The Practice of Prolog, Sterling, L. (eds), MIT Press, Cambridge, 1990, pp. 137\u2013179."},{"key":"17_CR17","unstructured":"Lefebvre, A., \u201cTowards an Efficient Evaluation of Recursive Aggregates in Deductive Databases\u201d, Proc. of FGCS\u201992."},{"key":"17_CR18","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","volume":"11","author":"JW Lloyd","year":"1991","unstructured":"Lloyd, J. W. and Shepherdson, J. C., \u201cPartial Evaluation in Logic Programming\u201d, Journal of Logic Programming, 11:217\u2013242, 1991.","journal-title":"Journal of Logic Programming"},{"issue":"10","key":"17_CR19","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1145\/125223.125266","volume":"34","author":"G Lohman","year":"1991","unstructured":"Lohman, G., Lindsay, B., Pirahesh, H. and Schiefer, K. B.,\u201cExtensions to Starburst: Objects, Types, Functions, and Rules\u201d, Communications of the ACM, Vol. 34, No. 10, October 1991, pp. 94\u2013109.","journal-title":"Communications of the ACM"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Park, J. and Segev, A., \u201cUsing Common Subexpressions to Optimize Multiple Queries\u201d, Proc. of Seventh IEEE Conf on Data Engineering, 1988, pp. 311\u2013319.","DOI":"10.1109\/ICDE.1988.105474"},{"key":"17_CR21","unstructured":"Schreier, U., Pirahesh, H., Agrawal, R. and Mohan, C., \u201cAlert: An Architecture for Transforming a Passive DBMS into an Active DBMS\u201d, Proceedings of the 17th Intl. Conf on Very Large Databases (VLDB), Barcelona, Spain, 1991, pp. 469\u2013478."},{"issue":"10","key":"17_CR22","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/125223.125262","volume":"34","author":"M Stonebraker","year":"1991","unstructured":"Stonebraker, M. and Kemnitz, G, \u201cThe Postgres Next-Generation Database Management System\u201d, Communications of the ACM, Vol. 34, No. 10, October 1991, pp. 78\u201392.","journal-title":"Communications of the ACM"},{"key":"17_CR23","volume-title":"Principles of Database and Knowledge-base Systems","author":"J Ullman","year":"1988","unstructured":"Ullman, J., Principles of Database and Knowledge-base Systems, Vol. 1, Computer Science Press, Rockville, MD, 1988."},{"key":"17_CR24","volume-title":"Principles of Database and Knowledge-base Systems","author":"J Ullman","year":"1989","unstructured":"Ullman, J., Principles of Database and Knowledge-base Systems, Vol. 2, Computer Science Press, Rockville, MD, 1989."},{"key":"17_CR25","unstructured":"Urpi\u2019, T. and Olive, A., \u201cEvents and Event rules in Active Databases\u201d, Special Issue on Active Databases, Bulletin of the Technical Committee on Data Engineering, December, 1992 Vol. 15, No. 1-4."},{"key":"17_CR26","unstructured":"Vieille, L., Bayer, P. and Kuchenhoff, V., \u201cIntegrity Checking and Materialized Views Handling by Update Propagation in the EKS-V1 System\u201d, ECRC Technical Report TR-KB-35, ECRC, Munich, Germany, June 1991."}],"container-title":["Workshops in Computing","Rules in Database Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3225-7_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:11:30Z","timestamp":1742389890000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3225-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198468","9781447132257"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3225-7_17","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}