{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:12Z","timestamp":1725663432634},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540541417"},{"type":"electronic","value":"9783540474449"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54141-1_5","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:32:16Z","timestamp":1330209136000},"page":"59-85","source":"Crossref","is-referenced-by-count":2,"title":["On the semantics of rules in database programming languages"],"prefix":"10.1007","author":[{"given":"Richard","family":"Hull","sequence":"first","affiliation":[]},{"given":"Dean","family":"Jacobs","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"unstructured":"K. Apt, H. Blair, and A. Walker. Toward a theory of declarative knowledge. In Proc. of Workshop on Foundations of Deductive Databases and Logic Programming, 1986.","key":"5_CR1"},{"unstructured":"Springer Verlag LNCS 106, Berlin. The Programming Language Ada, Reference Manual, 1981.","key":"5_CR2"},{"doi-asserted-by":"crossref","unstructured":"S. Abiteboul and E. Simon. Fundamental properties of determinstic and nondeterministic extensions of Datalog. Technical report, INRIA, July 1990. to appear in Theoretical Computer Science.","key":"5_CR3","DOI":"10.1016\/0304-3975(51)90006-0"},{"unstructured":"S. Abiteboul and V. Vianu. Datalog extensions for database queries and updates. Technical Report 900, INRIA, September 1988. to appear in Journal of Computer and System Sciences.","key":"5_CR4"},{"volume-title":"Advances in Database Programming Languages","year":"1990","unstructured":"F. Bancilhon and P. Buneman, editors. Advances in Database Programming Languages. ACM Press, New York, 1990.","key":"5_CR5"},{"issue":"2","key":"5_CR6","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1016\/0022-0000(89)90004-4","volume":"38","author":"N. Bidoit","year":"1989","unstructured":"N. Bidoit and R. Hull. Minimalism, justification and non-monotonicity in deductive databases. J. Comput. Syst. Sci., 38(2):290\u2013325, April 1989.","journal-title":"J. Comput. Syst. Sci."},{"unstructured":"A. Borgida, J. Mylopoulos, J. W. Schmidt, and I. Wetzel. Support for data-intensive applications: Conceptual design and software development. In R. Hull, R. Morrison, and D. Stemple, editors, Database Programming Languages: Second International Workshop, pages 258\u2013280. Morgan-Kaufmann Publishers, Inc., 1989.","key":"5_CR7"},{"doi-asserted-by":"crossref","unstructured":"F. Cacace, S. Ceri, S. Crespi-Reghizzi, L. Tanca, and R. Zicari. Integrating object-oriented data modeling with a rule-based programming paradigm. In Proc. ACM SIGMOD Symp. on the Management of Data, pages 225\u2013236, 1990.","key":"5_CR8","DOI":"10.1145\/93605.98732"},{"unstructured":"I-M.A. Chen, R. Hull, and D. McLeod. An experimental rule-based approach to derived data update. Technical report, Computer Science Department, University of Southern California, May 1990.","key":"5_CR9"},{"unstructured":"D. Cohen. Programming by specification and annotation. In Proc. of AAAI, August 1986.","key":"5_CR10"},{"doi-asserted-by":"crossref","unstructured":"D. Cohen. Compiling complex database transition triggers. In Proc. ACM SIGMOD Symp. on the Management of Data, pages 225\u2013234, 1989.","key":"5_CR11","DOI":"10.1145\/67544.66947"},{"issue":"3","key":"5_CR12","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/45072.45073","volume":"19","author":"R. Hull","year":"1987","unstructured":"R. Hull and R. King. Semantic database modeling: Survey, applications, and research issues. ACM Computing Surveys, 19(3):201\u2013260, September 1987.","journal-title":"ACM Computing Surveys"},{"unstructured":"R. Harper, D.B. MacQueen, and R. Milner. Standard ML. Technical Report ECS-LFCS-86-2, University of Edinburgh, 1986.","key":"5_CR13"},{"volume-title":"Database Programming Languages: Second International Workshop","year":"1989","unstructured":"R. Hull, R. Morrison, and D. Stemple, editors. Database Programming Languages: Second International Workshop. Morgan-Kaufmann Publishers, Inc., Menlo Park, CA, 1989.","key":"5_CR14"},{"doi-asserted-by":"crossref","unstructured":"T. Imielinski and S. Naqvi. Explicit control of logic programs through rule algebra. In Proc. ACM Symp. on Principles of Database Systems, pages 103\u2013116, 1988.","key":"5_CR15","DOI":"10.1145\/308386.308422"},{"doi-asserted-by":"crossref","unstructured":"S. Khoshafian and G. Copeland. Object identity. In Proc. ACM Conf. on Object-Oriented Programming Systems, Languages, and Applications, pages 406\u2013416, 1986.","key":"5_CR16","DOI":"10.1145\/28697.28739"},{"doi-asserted-by":"crossref","unstructured":"A.M. Kotz, K.R. Dittrich, and J.A. M\u00fclle. Supporting semantic rules by as generalized event\/trigger mechanism. In Intl. Conf. on Extending Data Base Technology, pages 76\u201391, 1988.","key":"5_CR17","DOI":"10.1007\/3-540-19074-0_48"},{"doi-asserted-by":"crossref","unstructured":"P.G. Kolaitis and C.H. Papdimitriou. Why not negation by fixpoint? In Proc. ACM Symp. on Principles of Database Systems, 1988.","key":"5_CR18","DOI":"10.1145\/308386.308446"},{"unstructured":"F. Manola. Distributed object management technology. Technical Report TM-0014-06-88-165, GTE Laboratories, Inc., June 1988.","key":"5_CR19"},{"doi-asserted-by":"crossref","unstructured":"D. R. McCarthy and U. Dayal. The architecture of an active data base management system. In Proc. ACM SIGMOD Symp. on the Management of Data, pages 215\u2013224, 1989.","key":"5_CR20","DOI":"10.1145\/66926.66946"},{"unstructured":"C.B. Medeiros and P. Pfeffer. A mechanism for managing rules in an object-oriented database. Technical report, Altair, 1990.","key":"5_CR21"},{"doi-asserted-by":"crossref","unstructured":"E. Simon and C. de Maindreville. Deciding whether a production rule is relational computable. In Intl. Conf. on Database Theory, pages 205\u2013222, 1988.","key":"5_CR22","DOI":"10.1007\/3-540-50171-1_13"},{"key":"5_CR23","series-title":"Technical Report DBPL-Membo","volume-title":"DBPL Report","author":"J. W. Schmidt","year":"1988","unstructured":"J. W. Schmidt, H. Eckhardt, and F. Matthes. DBPL Report. Technical Report DBPL-Membo 111-88, Fachbereich Informatik, Johann Wolfgang Goethe-Universit\u00e4t, Frankfurt, Germany, 1988."},{"unstructured":"SIGMOD Record 18:9, \u201cSpecial Issue on Rule Management and Processing in Expert Database Systems\u201d, September 1989.","key":"5_CR24"},{"doi-asserted-by":"crossref","unstructured":"M. Stonebraker, A. Jhingran, J. Goh, and S. Potamianos. On rules, procedures, caching and views in data base systems. In Proc. ACM SIGMOD Symp. on the Management of Data, pages 281\u2013290, 1990.","key":"5_CR25","DOI":"10.1145\/93597.98737"},{"key":"5_CR26","volume-title":"Principles of Database and Knowledgebase Systems","author":"J. D. Ullman","year":"1987","unstructured":"J. D. Ullman. Principles of Database and Knowledgebase Systems. Computer Science Press, Potomac, Maryland, 1987."},{"unstructured":"A. van Gelder. Negation as failure using tight derivations for general logic programs. In Proc. of Workshop on Foundations of Deductive Databases and Logic Programming, 1986.","key":"5_CR27"},{"doi-asserted-by":"crossref","unstructured":"J. Widom and S. J. Finkelstein. Set-oriented production rules in relational database systems. In Proc. ACM SIGMOD Symp. on the Management of Data, pages 259\u2013264, 1990.","key":"5_CR28","DOI":"10.1145\/93597.98735"},{"doi-asserted-by":"crossref","unstructured":"Y. Zhou and M. Hsu. A theory for rule triggering systems. In Intl. Conf. on Extending Data Base Technology, pages 407\u2013421, 1990.","key":"5_CR29","DOI":"10.1007\/BFb0022186"},{"key":"5_CR30","volume-title":"Readings in Object-Oriented Database Systems","author":"S. Zdonik","year":"1990","unstructured":"S. Zdonik and D. Maier. Readings in Object-Oriented Database Systems. Morgan-Kaufmann Publishers, Inc., San Mateo, CA, 1990."}],"container-title":["Lecture Notes in Computer Science","Next Generation Information System Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54141-1_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:52:38Z","timestamp":1605646358000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54141-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541417","9783540474449"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-54141-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}