{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:48:26Z","timestamp":1749221306493,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616566"},{"type":"electronic","value":"9783540706519"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0034735","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T20:05:30Z","timestamp":1134331530000},"page":"834-844","source":"Crossref","is-referenced-by-count":6,"title":["A generic subsumption testing toolkit for knowledge base queries"],"prefix":"10.1007","author":[{"given":"Martin","family":"Staudt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"von Thadden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"issue":"4","key":"71_CR1","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1145\/320107.320112","volume":"4","author":"A.V. Aho","year":"1979","unstructured":"A.V. Aho, Y. Sagiv, and J.D. Ullman. Efficient optimization of a class of relational expressions. ACM Transactions on Database Systems, 4(4):435\u2013454, 1979.","journal-title":"ACM Transactions on Database Systems"},{"key":"71_CR2","doi-asserted-by":"crossref","unstructured":"F. Bry. Logic programming as constructivism: a formalization and its application to databases. In Proc. 8th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, pages 34\u201350, 1989.","DOI":"10.1145\/73721.73725"},{"issue":"1","key":"71_CR3","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/0306-4379(94)90025-6","volume":"19","author":"M. Buchheit","year":"1994","unstructured":"M. Buchheit, M.A. Jeusfeld, W. Nutt, and M. Staudt. Subsumption of queries to object-oriented databases. Information Systems, 19(1):33\u201354, 1994.","journal-title":"Information Systems"},{"key":"71_CR4","doi-asserted-by":"crossref","unstructured":"E.P.F. Chan. Containment and minimization of positive conjunctive queries in OODB's. In Proc. 11th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, pages 202\u2013211, 1992.","DOI":"10.1145\/137097.137869"},{"key":"71_CR5","doi-asserted-by":"crossref","unstructured":"S. Chaudhuri and M.Y. Vardi. On containment of recursive datalog programs in nonrecursive programs. In Proc. 11th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, pages 55\u201366, 1992.","DOI":"10.1145\/137097.137109"},{"key":"71_CR6","doi-asserted-by":"crossref","unstructured":"R. Demolombe and T. Imielinski, editors. Nonstandard queries and nonstandard answers. Oxford University Press, 1994.","DOI":"10.1093\/oso\/9780198538523.001.0001"},{"issue":"2","key":"71_CR7","first-page":"167","volume":"4","author":"M. Jarke","year":"1995","unstructured":"M. Jarke, R. Gallersd\u00f6rfer, M.A. Jeusfeld, M. Staudt, and S. Eherer. ConceptBase \u2014 a deductive object base for meta data management. Journal of Intelligent Information Systems, Special Issue on Deductive and Object-Oriented Databases, M. Kifer, editor, 4(2):167\u2013192, March 1995.","journal-title":"Journal of Intelligent Information Systems, Special Issue on Deductive and Object-Oriented Databases, M. Kifer, editor"},{"issue":"4","key":"71_CR8","doi-asserted-by":"publisher","first-page":"616","DOI":"10.1137\/0212042","volume":"12","author":"D.S. Johnson","year":"1983","unstructured":"D.S. Johnson and A. Klug. Optimizing conjunctive queries that contain untyped variables. SIAM Journal of Computation, 12(4):616\u2013640, 1983.","journal-title":"SIAM Journal of Computation"},{"key":"71_CR9","unstructured":"A.Y. Levy and Y. Sagiv. Queries independent of updates. In Proceedings of the 19th VLDB Conference, 1993."},{"key":"71_CR10","doi-asserted-by":"crossref","first-page":"659","DOI":"10.1016\/B978-0-934613-40-8.50021-X","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"Y. Sagiv","year":"1988","unstructured":"Y. Sagiv. Optimizing Datalog programs. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 659\u2013698. Morgan Kaufmann, Los Altos, CA, 1988."},{"key":"71_CR11","doi-asserted-by":"crossref","unstructured":"O. Shmueli. Decidability and expressiveness aspects of logic queries. In Proc. 6th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, pages 237\u2013249, 1987.","DOI":"10.1145\/28659.28685"},{"issue":"2","key":"71_CR12","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF00872106","volume":"4","author":"M. Staudt","year":"1994","unstructured":"M. Staudt, H.W. Nissen, and M.A. Jeusfeld. Query by class, rule and concept. Journal of Applied Intelligence, 4(2):133\u2013156, 1994.","journal-title":"Journal of Applied Intelligence"},{"key":"71_CR13","volume-title":"Technical Report AIB 95-11","author":"M. Staudt","year":"1995","unstructured":"M. Staudt and K. von Thadden. Subsumption checking in knowledge base systems. Technical Report AIB 95-11, RWTH Aachen, 1995."},{"key":"71_CR14","volume-title":"Principles of Database and Knowledge-Base Systems, Volume 2: The New Technologies","author":"J.D. Ullman","year":"1989","unstructured":"J.D. Ullman. Principles of Database and Knowledge-Base Systems, Volume 2: The New Technologies. Computer Science Press, Rockville, MD, 1989."},{"key":"71_CR15","volume-title":"Master's thesis","author":"K. v. Thadden","year":"1994","unstructured":"K. v. Thadden. A subsumption checker for queries in a deductive object base system (in German). Master's thesis, RWTH Aachen, Germany, 1994."}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0034735","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T12:29:51Z","timestamp":1736166591000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0034735"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616566","9783540706519"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0034735","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}