{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T11:40:09Z","timestamp":1736163609530,"version":"3.32.0"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1992,8,1]],"date-time":"1992-08-01T00:00:00Z","timestamp":712627200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems Integration"],"published-print":{"date-parts":[[1992,8]]},"DOI":"10.1007\/bf02265078","type":"journal-article","created":{"date-parts":[[2005,12,8]],"date-time":"2005-12-08T21:57:49Z","timestamp":1134079069000},"page":"263-290","source":"Crossref","is-referenced-by-count":2,"title":["Integrating forward-chaining rules with operations and permanent knowledge bases"],"prefix":"10.1007","volume":"2","author":[{"given":"Christoph F.","family":"Eick","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jia-Lin","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Werstein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02265078_CR1","doi-asserted-by":"crossref","unstructured":"C. Eick, J. Liu, and P. Werstein, \u201cIntegration of rules into a knowledge base management system,\u201d inProc. 1st Int. IEEE Conf. on Systems Integration, Morristown, NJ, pp. 86\u201395, April 1990.","DOI":"10.1109\/ICSI.1990.138665"},{"key":"BF02265078_CR2","volume-title":"Programming Expert Systems in OPS5\u2014An Introduction to Rule-Based Programming","author":"L. Browston","year":"1985","unstructured":"L. Browston, R. Farrell, E. Kant, and N. Mantin,Programming Expert Systems in OPS5\u2014An Introduction to Rule-Based Programming, Reading, MA: Addison-Wesley, 1985."},{"key":"BF02265078_CR3","volume-title":"ART Reference Manual","author":"Inference Corporation","year":"1986","unstructured":"Inference Corporation,ART Reference Manual, Los Angeles: Inference Corp., 1986."},{"key":"BF02265078_CR4","volume-title":"Expert System\u2014Principles and Programming","author":"J. Giarratano","year":"1989","unstructured":"J. Giarratano and G. Riley,Expert System\u2014Principles and Programming, Boston: PWS-KENT, 1989."},{"key":"BF02265078_CR5","volume-title":"Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project","author":"B. Buchanan","year":"1984","unstructured":"B. Buchanan and E. Shortliffe,Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project, Reading, MA: Addison-Wesley, 1984."},{"key":"BF02265078_CR6","volume-title":"Programming in PROLOG","author":"W. Clocksin","year":"1984","unstructured":"W. Clocksin and C. Mellish,Programming in PROLOG, 2nd ed., New York: Springer-Verlag, 1984.","edition":"2nd ed."},{"key":"BF02265078_CR7","doi-asserted-by":"crossref","unstructured":"IntelliCorp, KEE Primer KEE Version 3.1. IntelliCorp publication number K3.1-P-1, 1988.","DOI":"10.1016\/0950-7051(88)90013-5"},{"issue":"no. 1","key":"BF02265078_CR8","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"33","author":"C. Forgy","year":"1982","unstructured":"C. Forgy, \u201cRETE: A fast algorithm for the many patterns\/many objects pattern matching problem,\u201dArtificial Intell., vol. 33, no. 1, pp. 17\u201337, 1982.","journal-title":"Artificial Intell."},{"key":"BF02265078_CR9","unstructured":"D. Miranker, \u201cTREAT\u2014A better match algorithm for AI production systems\u201d, inProc. 6th Nat. Conf. on Artificial Intelligence, Seattle, WA, pp. 42\u201347, July 1987."},{"volume-title":"Readings in Object-Oriented Database Systems","year":"1990","key":"BF02265078_CR10","unstructured":"S. Zdonik and D. Maier (eds.),Readings in Object-Oriented Database Systems, San Mateo, CA: Kaufmann, 1990."},{"key":"BF02265078_CR11","doi-asserted-by":"crossref","unstructured":"A. Alashur, S. Su, and H. Lam, \u201cA rule-based language for deductive object-oriented databases,\u201d inProc. Sixth Int. Conference on Data Engineering, Los Angeles, CA, pp. 58\u201367, 1990.","DOI":"10.1109\/ICDE.1990.113454"},{"key":"BF02265078_CR12","first-page":"381","volume-title":"Proc. 1st Int. Conf. on Expert Data Base Systems","author":"H. Decker","year":"1987","unstructured":"H. Decker, \u201cIntegrity enforcement on deductive databases,\u201d in L. Kerschberg (ed.),Proc. 1st Int. Conf. on Expert Data Base Systems, Menlo Park, CA: Benjamin\/Cummings, pp. 381\u2013396, 1987."},{"key":"BF02265078_CR13","unstructured":"R. Kowalski, F. Sadri, and P. Soper, \u201cIntegrity checking in deductive databases,\u201d inProc. Int. Conf. on Very Large Databases, Brighton, England, pp. 61\u201369, 1989."},{"key":"BF02265078_CR14","first-page":"297","volume-title":"Proc. 2nd Int. Conf. on Expert Database Systems","author":"B. Martens","year":"1988","unstructured":"B. Martens and M. Bruynooghe, \u201cIntegrity constraint checking in deductive databases,\u201d in L. Kerschberg (ed.),Proc. 2nd Int. Conf. on Expert Database Systems, Menlo Park, CA: Benjamin\/Cummings, pp. 297\u2013310, 1988."},{"issue":"no. 1","key":"BF02265078_CR15","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0169-023X(90)90032-9","volume":"5","author":"P. Sheu","year":"1990","unstructured":"P. Sheu and W. Sull, \u201cKnowledge management in deductive object bases,\u201dData & Knowledge Eng., vol. 5, no. 1, pp. 29\u201358, 1990.","journal-title":"Data & Knowledge Eng."},{"key":"BF02265078_CR16","doi-asserted-by":"crossref","unstructured":"D. McCarthy and U. Dayal, \u201cThe architecture of an active data base management system,\u201d inProc. ACM-SIGMOD Conf. on Management of Data, Portland, OR, pp. 215\u2013224, 1989.","DOI":"10.1145\/66926.66946"},{"key":"BF02265078_CR17","doi-asserted-by":"crossref","unstructured":"M. Stonebraker and L. Rowe, \u201cThe design of POSTGRES,\u201d inProc. ACM-SIGMOD Conf. on Management of Data, Washington, D.C., pp. 340\u2013355, 1986.","DOI":"10.21236\/ADA179161"},{"issue":"no. 11","key":"BF02265078_CR18","doi-asserted-by":"crossref","first-page":"624","DOI":"10.1145\/360363.360369","volume":"19","author":"K. P. Eswaran","year":"1976","unstructured":"K. P. Eswaran et al., \u201cThe notations of consistency and predicate locks in a database system,\u201dCACM, vol. 19, no. 11, pp. 624\u2013633, 1976.","journal-title":"CACM"},{"key":"BF02265078_CR19","doi-asserted-by":"crossref","unstructured":"D.D. Chamberlin et al., \u201cSEQUEL 2: A unified approach to data definition, data manipulation, manipulation and control,\u201dIBM J. Research and Development, pp. 561\u2013575, 1976.","DOI":"10.1147\/rd.206.0560"},{"key":"BF02265078_CR20","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/978-1-4612-4980-1_25","volume-title":"Knowledge Base Management Systems","author":"M. Stonebraker","year":"1986","unstructured":"M. Stonebraker, \u201cTriggers and inference in database systems,\u201d in M.L. Brodie et al. (eds.),Knowledge Base Management Systems, Berlin: Springer-Verlag, pp. 297\u2013314, 1986."},{"issue":"no. 7","key":"BF02265078_CR21","doi-asserted-by":"crossref","first-page":"897","DOI":"10.1109\/32.42733","volume":"14","author":"M. Stonebraker","year":"1988","unstructured":"M. Stonebraker, H. Hanson, and S. Potomianos, \u201cThe POSTGRES rule manager,\u201dTrans. Software Eng., vol. 14, no. 7, pp. 897\u2013906, 1988.","journal-title":"Trans. Software Eng."},{"key":"BF02265078_CR22","unstructured":"L. Raschid, \u201cManagement of disk resident rules,\u201d Technical Report, University of Maryland, 1990."},{"key":"BF02265078_CR23","doi-asserted-by":"crossref","unstructured":"D. Cohen, \u201cCompiling complex database transition triggers,\u201d inProc. ACM-SIGMOD Conf. Management of Data, Portland, OR, pp. 365\u2013374, 1989.","DOI":"10.1145\/67544.66947"},{"key":"BF02265078_CR24","doi-asserted-by":"crossref","unstructured":"T. Sellis, C. Lin, and L. Raschid, \u201cImplementing large production systems in a DMBS-environment: Concepts and algorithms,\u201d inProc. ACM-SIGMOD Conf. on the Management of Data, Chicago, IL, pp. 404\u2013412, 1988.","DOI":"10.1145\/971701.50251"},{"key":"BF02265078_CR25","unstructured":"J. Tan, M. Maheshwari, and J. Srivastava, \u201cGridmatch: A basis for integrating productions systems with relational databases,\u201d Technical Report TR 90-14, University of Minnesota, Feb. 1990."},{"volume-title":"On Knowledge Base Management Systems","year":"1986","key":"BF02265078_CR26","unstructured":"M.L. Brodie et al. (eds.),On Knowledge Base Management Systems, Berlin: Springer-Verlag, 1986."},{"key":"BF02265078_CR27","unstructured":"J. Liu, \u201cEfficient access to knowledge bases,\u201d Master's thesis, University of Houston, May 1989."},{"key":"BF02265078_CR28","unstructured":"P. Werstein, \u201cSpeeding up rules in integrated knowledge bases,\u201d Master's thesis, University of Houston, April 1990."},{"key":"BF02265078_CR29","doi-asserted-by":"crossref","unstructured":"C. Eick and P. Lockemann, \u201cAcquisition of terminological knowledge using database design techniques,\u201d inProc. ACM-SIGMOD Conf. on Management of Data, Austin, TX, pp. 84\u201394, 1985.","DOI":"10.1145\/971699.318905"},{"key":"BF02265078_CR30","doi-asserted-by":"crossref","unstructured":"C. Eick, R. Kochhar, and S. Kumar, \u201cDALI\u2014A knowledge base management system,\u201d inProc. 1st Int. Conf. on Industrial and Engineering Applications of Expert Systems and Artificial Intelligence, Tullahoma, pp. 837\u2013846, 1988.","DOI":"10.1145\/55674.55698"},{"issue":"no. 4","key":"BF02265078_CR31","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0169-023X(91)90036-W","volume":"6","author":"C. Eick","year":"1991","unstructured":"C. Eick and T. Raupp, \u201cTowards a formal semantics and inference rules for conceptual data models,\u201d to appear inData & Knowledge Engineering, vol. 6, no. 4, pp. 297\u2013318, July 1991.","journal-title":"Data & Knowledge Engineering"},{"key":"BF02265078_CR32","doi-asserted-by":"crossref","unstructured":"C. Eick and P. Werstein, \u201cRule-based consistency enforcement for knowledge-based systems,\u201d accepted for publication inIEEE Trans. Knowledge and Data Eng., in 1992.","DOI":"10.1109\/69.204091"},{"issue":"no. 2","key":"BF02265078_CR33","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1145\/63404.63405","volume":"7","author":"A. Gupta","year":"1989","unstructured":"A. Gupta, C. Forgy, and A. Newell, \u201cHigh speed implementation of rule-based systems,\u201dACM Trans. Computer Syst., vol. 7, no. 2, pp. 119\u2013146, 1989","journal-title":"ACM Trans. Computer Syst."},{"key":"BF02265078_CR34","unstructured":"P. Nayak, A. Gupta, and P. Rosenbloom, \u201cComparison of the RETE And TREAT production matchers for SOAR,\u201d inProc. AAAI Conf., St. Paul, MN, pp. 693\u2013698, 1988."},{"key":"BF02265078_CR35","doi-asserted-by":"crossref","unstructured":"M. Perlin and J. Debaud, \u201cMatchbox: Fine-grained parallelism at the match level,\u201d inProc. IEEE Int. Workshop on Tools in AI, Fairfax, VA, pp. 428\u2013434, 1989.","DOI":"10.1109\/TAI.1989.65350"},{"key":"BF02265078_CR36","doi-asserted-by":"crossref","unstructured":"D. Miranker and D. Brant, \u201cAn algorithmic basis for integrating production systems and large databases\u201d, inProc. 6th Int. Conf. on Data Engineering, Los Angeles, CA, pp. 353\u2013360, 1990.","DOI":"10.1109\/ICDE.1990.113488"},{"issue":"no. 3","key":"BF02265078_CR37","first-page":"51","volume":"2","author":"B. Czejdo","year":"1991","unstructured":"B. Czejdo, C. Eick, and M. Taylor, \u201cMethods and tools for integrating databases, object-oriented languages and rule-based systems,\u201dJ. Artificial Intell. in Education, vol. 2, no. 3, pp. 51\u201362, Spring 1991.","journal-title":"J. Artificial Intell. in Education"}],"container-title":["Journal of Systems Integration"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02265078.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02265078\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02265078","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T10:35:38Z","timestamp":1736159738000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02265078"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,8]]},"references-count":37,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1992,8]]}},"alternative-id":["BF02265078"],"URL":"https:\/\/doi.org\/10.1007\/bf02265078","relation":{},"ISSN":["0925-4676","1573-8787"],"issn-type":[{"type":"print","value":"0925-4676"},{"type":"electronic","value":"1573-8787"}],"subject":[],"published":{"date-parts":[[1992,8]]}}}