{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:37:27Z","timestamp":1725457047283},"publisher-location":"Berlin\/Heidelberg","reference-count":25,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540552707"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0032425","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T06:22:00Z","timestamp":1134282120000},"page":"88-103","source":"Crossref","is-referenced-by-count":6,"title":["Generalized bottom-up query evaluation"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Brass","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Udo W.","family":"Lipeck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"N. Bidoit, R. Hull: Positivism vs. minimalism in deductive databases. In Proc. of the 5th ACM Symp. on Principles of Database Systems (PODS'86), 123\u2013132, 1986.","DOI":"10.1145\/6012.15409"},{"key":"7_CR2","first-page":"68","volume-title":"LNCS 364","author":"S. Brass","year":"1989","unstructured":"S. Brass, U. W. Lipeck: Specifying closed world assumptions for logic databases. In J. Demetrovics, B. Thalheim (eds.), 2nd Symposium on Mathematical Fundamentals of Database Systems (MFDBS'89), 68\u201384, LNCS 364, Springer-Verlag, Berlin, 1989."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"S. Brass, U. W. Lipeck: Semantics of inheritance in logical object specifications. To appear in: Proc. of the 2nd International Conference on Deductive and Object-Oriented Databases (DOOD'91), LNCS, Springer-Verlag, 1991.","DOI":"10.1007\/3-540-55015-1_22"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"F. Bancilhon, R. Ramakrishnan: An amateur's introduction to recursive query processing. In C. Zaniolo (ed.), Proc. of SIGMOD'86, 16\u201352, 1986.","DOI":"10.1145\/16894.16859"},{"key":"7_CR5","first-page":"349","volume-title":"LNCS 470","author":"S. Brass","year":"1990","unstructured":"S. Brass: Beginnings of a theory of general database completions. In S. Abiteboul, P. C. Kanellakis (eds.), Third International Conference on Database Theory (ICDT'90), 349\u2013363, LNCS 470, Springer-Verlag, Berlin, 1990."},{"key":"7_CR6","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0169-023X(90)90017-8","volume":"5","author":"F. Bry","year":"1990","unstructured":"F. Bry: Query evaluation in recursive databases: bottom-up and top-down reconciled. Data & Knowledge Engineering 5 (1990), 289\u2013312.","journal-title":"Data & Knowledge Engineering"},{"key":"7_CR7","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/0004-3702(85)90040-2","volume":"25","author":"G. Bossu","year":"1985","unstructured":"G. Bossu, P. Siegel: Saturation, non-monotonic reasoning and the closed-world assumption. Artificial Intelligence 25 (1985), 13\u201363.","journal-title":"Artificial Intelligence"},{"key":"7_CR8","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C.-L. Chang","year":"1973","unstructured":"C.-L. Chang, R. C.-T. Lee: Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York, 1973."},{"key":"7_CR9","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0004-3702(89)90026-X","volume":"39","author":"M. L. Ginsberg","year":"1989","unstructured":"M. L. Ginsberg: A circumscriptive theorem prover. Artificial Intelligence 39 (1989), 209\u2013230.","journal-title":"Artificial Intelligence"},{"key":"7_CR10","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/0004-3702(86)90001-9","volume":"30","author":"M. Gelfond","year":"1986","unstructured":"M. Gelfond, H. Przymusinska: Negation as failure: Careful closure procedure. Artificial Intelligence 30 (1986), 273\u2013287.","journal-title":"Artificial Intelligence"},{"key":"7_CR11","unstructured":"G. Hulin, A. Pirotte, D. Roelants, M. Vauclair: Logic and databases. In A. Thayse (ed.), From Modal Logic to Deductive Databases \u2014 Introducing a Logic Based Approach to Artificial Intelligence, volume 2, 279\u2013350. Wiley, 1989."},{"key":"7_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"J. W. Lloyd: Foundations of Logic Programming, 2nd edition. Springer-Verlag, Berlin, 1987.","edition":"2nd edition"},{"key":"7_CR13","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"J. McCarthy: Circumscription \u2014 a form of non-monotonic reasoning. Artificial Intelligence 13 (1980), 27\u201339.","journal-title":"Artificial Intelligence"},{"key":"7_CR14","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J. McCarthy","year":"1986","unstructured":"J. McCarthy: Applications of circumscription to formalizing common-sense knowledge. Artificial Intelligence 28 (1986), 86\u2013116.","journal-title":"Artificial Intelligence"},{"key":"7_CR15","first-page":"292","volume-title":"LNCS 138","author":"J. Minker","year":"1982","unstructured":"J. Minker: On indefinite databases and the closed world assumption. In D. W. Loveland (ed.), 6th Conference on Automated Deduction, 292\u2013308, LNCS 138, Springer-Verlag, Berlin, 1982."},{"key":"7_CR16","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/S0743-1066(85)80002-9","volume":"2","author":"J. Minker","year":"1985","unstructured":"J. Minker, D. Perlis: Computing protected circumscription. The Journal of Logic Programming 2 (1985), 235\u2013249.","journal-title":"The Journal of Logic Programming"},{"key":"7_CR17","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/B978-0-934613-40-8.50009-9","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"T. C. Przymusinski","year":"1988","unstructured":"T. C. Przymusinski: On the declarative semantics of deductive databases and logic programs. In J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, 193\u2013216, Morgan Kaufmann Publishers, Los-Altos (Calif.), 1988."},{"key":"7_CR18","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/0004-3702(89)90067-2","volume":"38","author":"T. C. Przymusinski","year":"1989","unstructured":"T. C. Przymusinski: An algorithm to compute circumscription. Artificial Intelligence 38 (1989), 49\u201373.","journal-title":"Artificial Intelligence"},{"key":"7_CR19","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-1-4684-3384-5_3","volume-title":"Logic and Data Bases","author":"R. Reiter","year":"1978","unstructured":"R. Reiter: On closed world data bases. In H. Gallaire, J. Minker (eds.), Logic and Data Bases, 55\u201376, Plenum, New York, 1978."},{"key":"7_CR20","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/BF00248321","volume":"5","author":"A. Rajasekar","year":"1989","unstructured":"A. Rajasekar, J. Lobo, J. Minker: Weak generalized closed world assumption. Journal of Automated Reasoning 5 (1989), 293\u2013307.","journal-title":"Journal of Automated Reasoning"},{"key":"7_CR21","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/BF00297247","volume":"4","author":"K. A. Ross","year":"1988","unstructured":"K. A. Ross, R. W. Topor: Inferring negative information from disjunctive databases. Journal of Automated Reasoning 4 (1988), 397\u2013424.","journal-title":"Journal of Automated Reasoning"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"M. Ryan: Defaults and revision in structured theories. In Proceedings of the IEEE Symposium on Logic in Computer Science (LICS'91), 362\u2013373, 1991.","DOI":"10.1109\/LICS.1991.151660"},{"key":"7_CR23","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/0306-4379(86)90003-7","volume":"11","author":"H.-J. Schek","year":"1986","unstructured":"H.-J. Schek, M. H. Scholl: The relational model with relation-valued attributes. Information Systems 11 (1986), 137\u2013148.","journal-title":"Information Systems"},{"key":"7_CR24","volume-title":"Principles of Database and Knowledge-Base Systems, Vol. 2","author":"J. D. Ullman","year":"1989","unstructured":"J. D. Ullman: Principles of Database and Knowledge-Base Systems, Vol. 2. Computer Science Press, Rockville, 1989."},{"key":"7_CR25","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF00244994","volume":"1","author":"A. Yahya","year":"1985","unstructured":"A. Yahya, L. J. Henschen: Deduction in non-horn databases. Journal of Automated Reasoning 1 (1985), 141\u2013160.","journal-title":"Journal of Automated Reasoning"}],"container-title":["Lecture Notes in Computer Science","Advances in Database Technology \u2014 EDBT '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0032425.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:06:35Z","timestamp":1607551595000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0032425"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540552707"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/bfb0032425","relation":{},"subject":[]}}