{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T21:07:49Z","timestamp":1725829669515},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319243115"},{"type":"electronic","value":"9783319243122"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24312-2_23","type":"book-chapter","created":{"date-parts":[[2015,9,10]],"date-time":"2015-09-10T14:06:46Z","timestamp":1441894006000},"page":"339-354","source":"Crossref","is-referenced-by-count":4,"title":["On Enumerating Query Plans Using Analytic Tableau"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Hudek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Toman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grant","family":"Weddell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,8]]},"reference":[{"key":"23_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)"},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1145\/320083.320091","volume":"4","author":"A.V. Aho","year":"1979","unstructured":"Aho, A.V., Beeri, C., Ullman, J.D.: The theory of joins in relational databases. ACM Trans. Database Syst.\u00a04, 297\u2013314 (1979)","journal-title":"ACM Trans. Database Syst."},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Benedikt, M., ten Cate, B., Tsamoura, E.: Generating low-cost plans from proofs. In: Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pp. 200\u2013211 (2014)","DOI":"10.1145\/2594538.2594550"},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1016\/S1385-7258(53)50042-3","volume":"15","author":"E.W. Beth","year":"1953","unstructured":"Beth, E.W.: On Padoa\u2019s method in the theory of definition. Indagationes Mathematicae\u00a015, 330\u2013339 (1953)","journal-title":"Indagationes Mathematicae"},{"key":"23_CR5","unstructured":"Borgida, A., de Bruijn, J., Franconi, E., Seylan, I., Straccia, U., Toman, D., Weddell, G.E.: On finding query rewritings under expressive constraints. In: SEBD, pp. 426\u2013437 (2010)"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Chaudhuri, S.: An overview of query optimization in relational systems. In: PODS, pp. 34\u201343 (1998)","DOI":"10.1145\/275487.275492"},{"key":"23_CR7","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E.F. Codd","year":"1970","unstructured":"Codd, E.F.: A relational model of data for large shared data banks. Commun. ACM\u00a013, 377\u2013387 (1970)","journal-title":"Commun. ACM"},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"269","DOI":"10.2307\/2963594","volume":"22","author":"W. Craig","year":"1957","unstructured":"Craig, W.: Three uses of the Herbrand-Genzen theorem in relating model theory and proof theory. Journal of Symbolic Logic\u00a022, 269\u2013285 (1957)","journal-title":"Journal of Symbolic Logic"},{"key":"23_CR9","unstructured":"Deutsch, A., Popa, L., Tannen, V.: Physical data independence, constraints, and optimization with universal plans. In: Proc. International Conference on Very Large Data Bases, VLDB 1999, pp. 459\u2013470 (1999)"},{"key":"23_CR10","unstructured":"Ebbinghaus, H.-D., Flum, J.: Finite model theory, 2nd edn. Perspectives in Mathematical Logic. Springer (1999)"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Fitting, M.: First-Order Logic and Automated Theorem Proving, 2nd edn. Graduate Texts in Computer Science. Springer (1996)","DOI":"10.1007\/978-1-4612-2360-3"},{"key":"23_CR12","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G. Gentzen","year":"1935","unstructured":"Gentzen, G.: Untersuchungen \u00fcber das logische schlie\u00dfen. I. Mathematische Zeitschrift\u00a039, 176\u2013210 (1935), doi:10.1007\/BF01201353","journal-title":"Mathematische Zeitschrift"},{"issue":"1","key":"23_CR13","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/234313.234367","volume":"28","author":"Y.E. Ioannidis","year":"1996","unstructured":"Ioannidis, Y.E.: Query optimization. ACM Comput. Surv.\u00a028(1), 121\u2013123 (1996)","journal-title":"ACM Comput. Surv."},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Lenzerini, M.: Data integration: A theoretical perspective. In: PODS, pp. 233\u2013246 (2002)","DOI":"10.1145\/543613.543644"},{"key":"23_CR15","unstructured":"Levy, A.Y., Mendelzon, A.O., Sagiv, Y., Srivastava, D.: Answering queries using views. In: PODS, pp. 95\u2013104 (1995)"},{"key":"23_CR16","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1145\/320107.320115","volume":"4","author":"D. Maier","year":"1979","unstructured":"Maier, D., Mendelzon, A.O., Sagiv, Y.: Testing implications of data dependencies. ACM Trans. Database Syst.\u00a04, 455\u2013469 (1979)","journal-title":"ACM Trans. Database Syst."},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Manthey, R., Bry, F.: A hyperresolution-based proof procedure and its implementation in prolog. In: GWAI, pp. 221\u2013230 (1987)","DOI":"10.1007\/978-3-642-73005-4_24"},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"Marx, M.: Queries determined by views: pack your views. In: PODS, pp. 23\u201330 (2007)","DOI":"10.1145\/1265530.1265534"},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"Robinson, N., McIlraith, S.A., Toman, D.: Cost-based query optimization via AI planning. In: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, pp. 2344\u20132351 (2014)","DOI":"10.1609\/aaai.v28i1.9045"},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"Selinger, P.G., Astrahan, M.M., Chamberlin, D.D., Lorie, R.A., Price, T.G.: Access path selection in a relational database management system. In: Proceedings of the 1979 ACM SIGMOD International Conference on Management of Data, pp. 23\u201334 (1979)","DOI":"10.1145\/582095.582099"},{"key":"23_CR21","unstructured":"Seylan, I., Franconi, E., de Bruijn, J.: Effective query rewriting with ontologies over dboxes. In: IJCAI, pp. 923\u2013925 (2009)"},{"key":"23_CR22","unstructured":"ten Cate, B., Franconi, E., Seylan, I.: Beth definability in expressive description logics. In: IJCAI, pp. 1099\u20131106 (2011)"},{"key":"23_CR23","doi-asserted-by":"crossref","unstructured":"Toman, D., Weddell, G.E.: Fundamentals of Physical Design and Query Compilation. Synthesis Lectures on Data Management. Morgan & Claypool Publishers (2011)","DOI":"10.2200\/S00363ED1V01Y201105DTM018"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24312-2_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,13]],"date-time":"2023-08-13T23:01:16Z","timestamp":1691967676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24312-2_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319243115","9783319243122"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24312-2_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}