{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,30]],"date-time":"2022-12-30T10:27:59Z","timestamp":1672396079750},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/bf00885764","type":"journal-article","created":{"date-parts":[[2004,12,27]],"date-time":"2004-12-27T21:27:37Z","timestamp":1104182857000},"page":"305-349","source":"Crossref","is-referenced-by-count":4,"title":["A semantics for a class of non-deterministic and causal production system programs"],"prefix":"10.1007","volume":"12","author":[{"given":"Louiqa","family":"Raschid","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Lobo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Simon, E., and Vianu, V., Non-deterministic languages to express deterministic transformations, inProc. ACM Symposium on Principles of Database Systems, 1990, pp. 218?229.","DOI":"10.1145\/298514.298575"},{"issue":"2","key":"CR2","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0022-0000(90)90036-K","volume":"41","author":"S. Abiteboul","year":"1990","unstructured":"Abiteboul, S. and Vianu, V., Procedural languages for database queries and updates,J. Computer and System Sciences 41(2) (1990), pp. 181?229.","journal-title":"J. Computer and System Sciences"},{"issue":"1","key":"CR3","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1016\/0022-0000(91)90032-Z","volume":"43","author":"S. Abiteboul","year":"1991","unstructured":"Abiteboul, S. and Vianu, V., Datalog extensions for database queries and updates.Journal of Computer and System Science 43 (1) August 1991 p.p. 62?124.","journal-title":"Journal of Computer and System Science"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Apt, K. R., Blair, H. A., and Walker, A., Towards a theory of declarative knowledge, in J. Minker (ed.),Foundations of Deductive Databases and Logic Programming, Morgan Kaufman Publishers, Inc., 1988.","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Baral, C., Lobo, J., and Minker, J., Generalized disjunctive well-founded semantics for logic programs: declarative semantics, inProc. of the 5th Intl. Symposium on Methodologies for Intelligent Systems, 1990.","DOI":"10.21236\/ADA232064"},{"key":"CR6","unstructured":"Ceri, S. and Widom, J., Deriving production rules for constraint maintenance, inProceedings of the Conference on Very Large Data Bases, Brisbane, Australia, 1990."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Davis, R. and King, J., An overview of production systems. AI Memo No. 271, Stanford AI Lab, 1975.","DOI":"10.21236\/ADA019702"},{"key":"CR8","unstructured":"Demolombe, R., Syntactical characterization of a subset of domain independent formulae, Technical Report, ONERA-CERT, Toulouse, 1982."},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Delcambre, L. M. L. and Etheredge, J. N., A self-controlling interpreter for the relational production language, inProceedings of the ACM Sigmod International Conference on the Management of Data, 1988.","DOI":"10.1145\/50202.50250"},{"key":"CR10","unstructured":"Fagin, R., Kuper, G., Ullman, J. D., and Vardi, M. Y., Updating logical databases, in P. Kanellakis (ed.),Advances in Computing Research, Vol. 3, JAI Press, 1986, pp. 1?18."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Forgy, C. L., OPS5 User's Manual. Technical Report CMU-CS-81-135, Carnegie-Mellon University, 1981.","DOI":"10.21236\/ADA106558"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"Forgy, C. L., Rete: A fast algorithm for the many pattern\/many object pattern match problem,Artificial Intelligence 19, (1982).","DOI":"10.1016\/0004-3702(82)90020-0"},{"key":"CR13","unstructured":"Gelfond, M. and Lifschitz, V., The stable model semantics for logic programming. In R. Kowalski and K. Bowen (eds.),Proceedings of the 5th International Conference and Symposium on Logic Programming, August 15?19, Seattle, WA, 1988, pp. 1070?1080."},{"key":"CR14","unstructured":"Kowalski, R. and Sadai F., Knowledge representation without integrity constraints, Technical Report, Department of Computing, Imperial College of Science and Technology, 1989."},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Kiernan, G., de Maindreville, C., and Simon, E., Making deductive databases a practical technology: A step forward, INRIA Research Report 1153, 1990.","DOI":"10.1145\/93597.98733"},{"key":"CR16","unstructured":"Kowalski, R. and Sadri, F., Logic programs with exceptions.Proceedings of the International Conference on Logic Programming, 1990."},{"key":"CR17","unstructured":"Lobo, J., Semantics for normal disjunctive logic programs. Ph.D. thesis, Department of Computer Science, University of Maryland, 1990."},{"key":"CR18","unstructured":"de Maindreville, C. and Simon, E., Modeling non-deterministic queries and updates in deductive databases.Proceedings of the Conference on Very Large Data Bases, 1988."},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"Manchanda, S. and Warren, D. H. D., A logic based language for database updates. In [21].","DOI":"10.1016\/B978-0-934613-40-8.50014-2"},{"key":"CR20","unstructured":"Minker, J., On indefinite databases and the closed world assumption, inLecture Notes in Computer Science 138, Springer-Verlag, 1982."},{"key":"CR21","unstructured":"Minker, J. (ed.),Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann Publishers, Inc., 1988."},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"Naqvi, S. and Krishnamurthy, R., Database updates in logic programming, inProceedings of the ACM Symposium on Principles of Database Systems, 1988.","DOI":"10.1145\/308386.308451"},{"key":"CR23","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF00263192","volume":"18","author":"J. M. Nicolas","year":"1982","unstructured":"Nicolas, J. M., Logic for improving integrity checking in relational data bases,Acta Informatica 18, 3, (1982).","journal-title":"Acta Informatica"},{"key":"CR24","unstructured":"Nicolas, J. M. and Demolombe, R., On the stability of relational queries, Technical Report, ONERA-CERT, Toulouse, 1983."},{"key":"CR25","unstructured":"Rajasekar, A., Semantics for disjunctive logic programs, Ph.D. thesis, Department of Computer Science, University of Maryland, 1989."},{"key":"CR26","unstructured":"Raschid, L. and Lobo, J., Semantics for update rule programs and implementation in a relational database management system.ACM Transactions on Database Systems (1994) (to appear)."},{"key":"CR27","unstructured":"Raschid, L. and Lobo, J., A semantics for a class of non-deterministic and causal production system programs, University of Maryland Institute for Advanced Computer Studies technical report UMIACS-TR-91-163.1, 1992."},{"key":"CR28","unstructured":"Raschid, L. and Pang, P., Magic evaluation of stratified production rule programs (in prep.)."},{"key":"CR29","unstructured":"Raschid, L., Maintaining consistency in a stratified production system program,Proceedings of the AAAI National Conference on Artificial Intelligence, 1990."},{"issue":"1","key":"CR30","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/0743-1066(94)90005-1","volume":"21","author":"L. Raschid","year":"1994","unstructured":"Raschid, L., A semantics for a class of stratified production system programs,Journal of Logic Programming 21 (1) (1994), 31?57.","journal-title":"Journal of Logic Programming"},{"key":"CR31","doi-asserted-by":"crossref","unstructured":"Reiter, R., On closed world data bases, in Gallaire, H. and Minker, J. (eds.),Logic and Data Bases, Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5_3"},{"issue":"2","key":"CR32","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1109\/69.219733","volume":"5","author":"T. Sellis","year":"1993","unstructured":"Sellis, T., Lin, C-C., and Raschid, L., Coupling production systems and database systems: A homogeneous approach.IEEE Transactions on Knowledge and Data Engineering,5 (2) (1993), 240?256.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"CR33","unstructured":"Simon, E. and de Maindreville, C., Deciding whether a production rule is relational computable,Proceedings of the International Conference on Database Theory, Bruges, Belgium, 1988."},{"key":"CR34","doi-asserted-by":"crossref","unstructured":"Widom, J. and Finkelstein, S. J., Set-oriented production rules in relational database systems,Proceedings of the ACM SIGMOD International Conference on the Management of Data (1990) pp. 259?270.","DOI":"10.1145\/93597.98735"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00885764.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00885764\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00885764","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T00:11:14Z","timestamp":1586045474000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00885764"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":34,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994]]}},"alternative-id":["BF00885764"],"URL":"https:\/\/doi.org\/10.1007\/bf00885764","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}