{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:18:06Z","timestamp":1762100286474},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1992,10,1]],"date-time":"1992-10-01T00:00:00Z","timestamp":717897600000},"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":[[1992,10]]},"DOI":"10.1007\/bf00962282","type":"journal-article","created":{"date-parts":[[2005,1,7]],"date-time":"2005-01-07T15:19:12Z","timestamp":1105111152000},"page":"177-209","source":"Crossref","is-referenced-by-count":15,"title":["Incremental database rule processing in PARADISER"],"prefix":"10.1007","volume":"1","author":[{"given":"Hasanat M.","family":"Dewan","sequence":"first","affiliation":[]},{"given":"David","family":"Ohsie","sequence":"additional","affiliation":[]},{"given":"Salvatore J.","family":"Stolfo","sequence":"additional","affiliation":[]},{"given":"Ouri","family":"Wolfson","sequence":"additional","affiliation":[]},{"given":"Sushil","family":"da Silva","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Abiteboul, S. and Simon E., (1991). Fundamental Properties of Deterministic and Nondeterministic Extensions of Datalog*.Journal of Theoretical Computer Science.","DOI":"10.1016\/0304-3975(51)90006-0"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Apt, K.R. and Pugin, J. (1987). Maintenance of stratified databases viewed as a belief revision system.Proc. 6th ACM Symp. PODS. (pp. 136?145).","DOI":"10.1145\/28659.28674"},{"key":"CR3","unstructured":"Barr, et al., InThe Handbook of Artificial Intelligence, Vol. 2. (pp. 72-76). Reading, MA: AddisonWesley."},{"key":"CR4","unstructured":"Chandy, K.M. and Misra, J.On Proofs of Distributed Algorithms with Application to the Problem of Termination Detection. Technical Report. Dept. of Computer Science, University of Texas, Austin."},{"key":"CR5","unstructured":"Cohen, S. and Wolfson, O. (1989). Why a single parallelization strategy is not enough in knowledgebases.Proc. 8th ACM Symp. PODS. (pp. 200?217)."},{"key":"CR6","unstructured":"Inference Corporation (1990).ART-IM Programming Language Reference Manual. Technical Report, Inference Corporation."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0004-3702(80)90043-0","volume":"15","author":"R. Davis","year":"1980","unstructured":"Davis, R. (1980). Meta-Rules: Reasoning about Control.Artificial Intelligence, 15, 179?222.","journal-title":"Artificial Intelligence"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Delcambre, L. (1988). RPL: An Expert System Language with Query Power.IEEE Expert.","DOI":"10.1109\/64.10020"},{"key":"CR9","unstructured":"Dewan, H.M., Ohsie, D.A. Stolfo S.J. and DaSilva, S. (1992). TheDesign and Implementation of Paradiser vO.O. Technical Report. Department of Computer Science, Columbia University."},{"key":"CR10","unstructured":"Doyle, J. (1981). A Truth Maintenance System. InReadings in Artificial Intelligence. Morgan Kaufmann."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Francez, N. (1980). Distributed Termination. InTransactions on Programming Languages and Systems. (pp. 42?55). ACM.","DOI":"10.1145\/357084.357087"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"Haas, L., Freytag, G., Lohman., H., and Pirahesh, H. (1989). Extensible query processing in starburst.Proc. ACM SIGMOD 1989, Int. Conf. Management of Data. ACM Press.","DOI":"10.1145\/67544.66962"},{"key":"CR13","unstructured":"Ishida, T. and Stolfo, S.J. (1985). Towards the parallel execution of rules in production system programs.Proc. Int. Conf. Parallel Processing (pp. 568?575). IEEE."},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Kiernan, G., de Maindreville, C., and Simon, E. (1990). Making deductive database a practical technology: a step forward.Proc. ACM-SIGMOD 1990. Int. Conf. Management of Data (pp. 237?246).","DOI":"10.1145\/93597.98733"},{"key":"CR15","unstructured":"Maier, D. and Warren, D.S.,Computing with Logic: Introduction to Logic Programming. Redwood City, CA: Benjamin-Cummings."},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"Miranker, D.P. and Lofaso, B.J., (to appear). The Organization and Performance of a TREAT Based Production System Compiler.IEEE Transactions on Knowledge and Data Engineering.","DOI":"10.1109\/69.75882"},{"key":"CR17","unstructured":"Miranker, D.P., Lofaso, B., Farmer, G., Chandra, A. and Brant, D. (1990). On a TREAT based production system compiler. Proc.10th Int. Conf. Expert Systems (pp. 617?630)."},{"key":"CR18","unstructured":"Miranker, D.P. (1986).TREAT: A New and Efficient Match Algorithm for AI Production Systems. Ph.D. thesis, Department of Computer Science, Columbia University."},{"key":"CR19","unstructured":"Reiter R. and de Kleer, J. (1987). Foundations of assumption based truth maintenance systems: Preliminary report.Proc. Nat. Conf. Artif. Intell. AAAI."},{"key":"CR20","unstructured":"Sellis, C., Lin, C., and Raschid, L. (1989). Implementing large production systems in a dbms environment: Concepts and Algorithms.Proc. ACM SIGMOD 1989, Int. Conf. Management of Data. ACM Press."},{"key":"CR21","unstructured":"Stolfo, S., Miranker, D.P., and Mills, R. (1985). A simple processing scheme to extract and load balance implicit parallelism in the concurrent match of production rules.Proc. AFIPS Symp. Fifth Generation Computing."},{"key":"CR22","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1016\/0743-7315(91)90097-S","volume":"13","author":"S. Stolfo","year":"1991","unstructured":"Stolfo, S., Wolfson, O., Chan, P., Dewan, H., Woodbury, L., Glazier, J., and Ohsie, D. (1991a). Parulel: Parallel Rule Processing Using Meta-Rules for Redaction.Journal of Parallel and Distributed Computing, 13, 366?382.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"CR23","unstructured":"Stolfo, S.J., Dewan, H.M., and Wolfson, O. (1991b). The PARULEL parallel rule language.Proc. IEEE Int. Conf. Parallel Processing (pp. II:36?45). IEEE."},{"key":"CR24","unstructured":"Stolfo, S. (1984). Learning Control of Production Systems.Cognition and Brain Theory."},{"key":"CR25","doi-asserted-by":"crossref","unstructured":"Stonebraker, M. and Kemnitz, G. 1991. The POSTGRES Next-Generation DBMS.Communications of the ACM.","DOI":"10.1145\/125223.125262"},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"Ullman, J.D. 1989.Principles of Database and Knowledge-Base Systems Vol. 2. Computer Science Press. Wolfson, O. and Ozeri, A. 1990. A new paradigm for parallel and distributed rule-processing.Proc,ACM-SIGMOD 1990. Int. Conf. Management of Data (pp. 133?142).","DOI":"10.1145\/93605.98723"},{"key":"CR27","doi-asserted-by":"crossref","unstructured":"Wolfson, O., Dewan, H., Stolfo, S., and Yemini, Y. (1991). Incremental evaluation of rules and its relationship to parallelism.Proc. ACM-SIGMOD 1991, Int. Conf. Management of Data (pp. 78?87).","DOI":"10.1145\/115790.115799"}],"container-title":["Journal of Intelligent Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00962282.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00962282\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00962282","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T07:21:23Z","timestamp":1586071283000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00962282"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,10]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1992,10]]}},"alternative-id":["BF00962282"],"URL":"https:\/\/doi.org\/10.1007\/bf00962282","relation":{},"ISSN":["0925-9902","1573-7675"],"issn-type":[{"value":"0925-9902","type":"print"},{"value":"1573-7675","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,10]]}}}