{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:20Z","timestamp":1725663920286},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540540090"},{"type":"electronic","value":"9783540473480"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54009-1_16","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:21:34Z","timestamp":1330190494000},"page":"216-229","source":"Crossref","is-referenced-by-count":0,"title":["Semantic improvement of deductive databases"],"prefix":"10.1007","author":[{"given":"Beat","family":"W\u00fcthrich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"K.R.Apt, H.A.Blair, A.Walker, Towards a Theory of Declarative Knowledge, in Foundations of Deductive Databases and Logic Programming, edited by J.Minker, Morgan Kaufmann Publishers, 1988. {pp.89\u2013148}","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"F.Bancilhon, D.Maier, Y.Sagiv, J.D.Ullmann, Magic Sets and Other Strange Ways to Implement Logic Programs, in Proceedings 5th ACM Symposium on Principles of Databse Systems (PODS), 1986. {pp.1\u201315}","DOI":"10.1145\/6012.15399"},{"key":"16_CR3","unstructured":"edited by J.Barwise, Handbook of Mathematical Logic, North-Holland Publishing Company, 1985."},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"J.Biskup, B. Convent, Towards a Schema Design Methodology for Deductive Databases, in Proceedings of the 2nd Symposium on Mathematical Fundamentals of Database Systems (MFDBS 89), edited by G. Goos an J. Hartmann, Springer-Verlag, 1989. {pp.37\u201352}","DOI":"10.1007\/3-540-51251-9_4"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"F.Bry, Logical Rewritings for Improving the Evaluation of Quantified Queries, in Proceedings of the 2nd Symposium on Mathematical Fundamentals of Database Systems (MFDBS), 1989. {pp.100\u2013116}","DOI":"10.1007\/3-540-51251-9_8"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"U.S.Chakravarthy, J.Grant, J.Minker, Foundations of Semantic Query Optimization for Deductive Databases, in Foundations of Deductive Databases and Logic Programming, edited by J.Minker, Morgan Kaufmann Publishers, 1988. {pp.243\u2013273}","DOI":"10.1016\/B978-0-934613-40-8.50011-7"},{"issue":"2","key":"16_CR7","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1145\/78922.78924","volume":"15","author":"U.S. Chakravarthy","year":"1990","unstructured":"U.S. Chakravarthy, J. Grant, J. Minker, Logic-Based Approach to Semantic Query Optimization, in ACM Transactions on Database Systems, Vol 15, No 2, June 1990. {pp.162\u2013207}","journal-title":"ACM Transactions on Database Systems"},{"key":"16_CR8","unstructured":"B.Convent, Detecting Redundant Clauses or Premise within Logic-Oriented Database Schemas, in Proceedings of the First International Workshop on Foundations of Models and Languages for Data and Objects, Aigen Austria, 1989. {pp.135\u2013155}"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"M.Davis, H. Putnam, A Computing Procedure for Quantification Theory, in the Journal of the ACM, 1960. {pp.201\u2013215}","DOI":"10.1145\/321033.321034"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"L.M.Haas, J.C.Freytag, G.M.Lohmann, H.Pirahesh, Extensible Query Processing in Starburst, in Proceedings of the ACM-SIGMOD International Conference on Management of Data, 1989. {pp.377\u2013388}","DOI":"10.1145\/67544.66962"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"A.R.Helm, Detecting and Eliminating Redundant Derivations in Logic Knowledge Bases, in Proceedings of the First International Conference on Deductive and Object-Oriented Databases (DOOD), 1989. {pp.247\u2013263}","DOI":"10.1016\/B978-0-444-88433-6.50016-2"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"M. Jarke, J. Clifford, Y. Vassiliou, An Optimizing Prolog Front-End To a Relational Query System, in Proceedings of the ACM-SIGMOD Conference on Management of Data, 1984. {pp.296\u2013306}","DOI":"10.1145\/602259.602298"},{"key":"16_CR13","unstructured":"J.J.King, QUIST: A System for Semantic Query Optimization in Relational Databases, in Proceedings of 7th VLDB Conference, 1981. {pp.510\u2013517}"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"J.W.Lloyd, Foundations of Logic Programming, Springer-Verlag, second edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"16_CR15","unstructured":"J.Lobo, J.Minker, A Metaprogramming Approach to Semantically Optimize Queries in Deductive Databases, in Proceedings of the Second International Conference on Expert Database Systems, edited by L.Kerschberg, 1989. {pp.699\u2013741}"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"M.J.Maher, Equivalence of Logic Programs, in Foundations of Deductive Databases and Logic Programming, edited by J.Minker, Morgan Kaufmann Publishers, 1988. {pp.627\u2013658}","DOI":"10.1016\/B978-0-934613-40-8.50020-8"},{"key":"16_CR17","unstructured":"R.Manthey, Satisfiability of Integrity Constraints: Reflections on a Neglected Problem, in Proceedings of the 2nd Workshop on Foundations of Models and Languages for Data and Objects, Informatik-Bericht 90-3, TU Clausthal, Aigen Austria, 1990. {pp.169\u2013179}"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"A.Pirotte, D. Roelants, Constraints for Improving the Generation of Intensional Answers in a Deductive Database, in Proceedings of the Fifth International Conference on Data Engineering, 1989. {pp.652\u2013659}","DOI":"10.1109\/ICDE.1989.47273"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Y.Sagiv, Optimizing Datalog Programs, in Foundations of Deductive Databases and Logic Programming, edited by J.Minker, Morgan Kaufmann Publishers, 1988. {pp.659\u2013698}","DOI":"10.1016\/B978-0-934613-40-8.50021-X"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"S.T.Shenoy, Z.M. Oszoyoglu, A System for Semantic Query Optimization, in Proceedings of the ACM-SIGMOD Conference on Management of Data, 1987. {pp.181\u2013195}","DOI":"10.1145\/38713.38736"},{"key":"16_CR21","unstructured":"M.D. Siegel, Automatic Rule Derivation for Semantic Query Optimization, in Proceedings of the Second International Conference on Expert Database Systems, editor L.Kerschberg, 1989. {pp.669\u2013698}"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"E.A.Sonenberg, R.W.Topor, On Domain Independent Databases, in Foundations of Deductive Databases and Logic Programming, edited by J.Minker, Morgan Kaufmann Publishers, 1988. {pp.217\u2013240}","DOI":"10.1016\/B978-0-934613-40-8.50010-5"},{"key":"16_CR23","first-page":"87","volume":"232","author":"M.E. Stickel","year":"1985","unstructured":"M.E. Stickel, An Introduction to Automated Deduction, in Fundamentals of Artificial Intelligence, edited by G.Goo, J.Hartmanis, W.Bibel, Ph.Jorrand, Springer Verlag, Lecture Notes in Computer Science, Vol 232, 1985. {pp.87\u201388}","journal-title":"Lecture Notes in Computer Science"},{"key":"16_CR24","unstructured":"B.W\u00fcthrich, Detecting Inconsistencies in Deductive Databases, Swiss Federal Institute of Technology (ETH), Zurich, Report No. 123, January 1990."}],"container-title":["Lecture Notes in Computer Science","MFDBS 91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54009-1_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:51:58Z","timestamp":1605628318000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54009-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540540090","9783540473480"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-54009-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}