{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:21:53Z","timestamp":1743038513472,"version":"3.40.3"},"publisher-location":"New York, NY","reference-count":15,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781461482666"},{"type":"electronic","value":"9781461482659"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-1-4614-8265-9_1269","type":"book-chapter","created":{"date-parts":[[2018,12,6]],"date-time":"2018-12-06T13:04:19Z","timestamp":1544101459000},"page":"2981-2985","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Query Containment"],"prefix":"10.1007","author":[{"given":"Rada","family":"Chirkova","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,12,7]]},"reference":[{"key":"1269_CR1785","volume-title":"Foundations of databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul S, Hull R, Vianu V. Foundations of databases. Reading: Addison-Wesley; 1995."},{"issue":"1\u20132","key":"1269_CR1786","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1016\/j.tcs.2006.08.020","volume":"368","author":"FN Afrati","year":"2006","unstructured":"Afrati FN, Li C, Mitra P. Rewriting queries using views in the presence of arithmetic comparisons. Theor Comput Sci. 2006;368(1\u20132):88\u2013123.","journal-title":"Theor Comput Sci"},{"key":"1269_CR1787","doi-asserted-by":"crossref","unstructured":"Chandra AK, Merlin PM. Optimal implementation of conjunctive queries in relational data bases. In: Proceedings of the 9th Annual ACM Symposium on Theory of Computing; 1977. p. 77\u201390.","DOI":"10.1145\/800105.803397"},{"issue":"4","key":"1269_CR1788","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/s007780100054","volume":"10","author":"AY Halevy","year":"2001","unstructured":"Halevy AY. Answering queries using views: a survey. VLDB J. 2001;10(4):270\u201394,","journal-title":"VLDB J"},{"key":"1269_CR1789","doi-asserted-by":"crossref","unstructured":"Jayram TS, Kolaitis PG, Vee E. The containment problem for REAL conjunctive queries with inequalities. In: Proceedings of the 25th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems; 2006. p. 80\u201389.","DOI":"10.1145\/1142351.1142363"},{"key":"1269_CR1790","first-page":"1073","volume-title":"Formal Models and Semantics","author":"Paris C. KANELLAKIS","year":"1990","unstructured":"Kanellakis PC. Elements of relational database theory. In: Handbook of theoretical computer science. Volume B: formal models and sematics (B). New York\/Cambridge: Elsevier\/MIT Press; 1990. p. 1073\u2013156."},{"key":"1269_CR1791","doi-asserted-by":"crossref","unstructured":"Kimelfeld B, Sagiv Y. Revisiting redundancy and minimization in an XPath fragment. In: Advances in Database Technology, Proceedings of the 11th International Conference on Extending Database Technology; 2008. p. 61\u201372.","DOI":"10.1145\/1353343.1353355"},{"issue":"1","key":"1269_CR1792","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1145\/42267.42273","volume":"35","author":"AC Klug","year":"1988","unstructured":"Klug AC. On conjunctive queries containing inequalities. J ACM. 1988;35(1):146\u201360.","journal-title":"J ACM"},{"issue":"2","key":"1269_CR1793","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1006\/jcss.2000.1713","volume":"61","author":"P Kolaitis","year":"2000","unstructured":"Kolaitis PG, Vardi MY. Conjunctive-query containment and constraint satisfaction. J Comput Syst Sci. 2000;61(2):302\u201332.","journal-title":"J Comput Syst Sci"},{"issue":"1","key":"1269_CR1794","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/962446.962448","volume":"51","author":"G Miklau","year":"2004","unstructured":"Miklau G, Suciu D. Containment and equivalence for a fragment of XPath. J ACM. 2004;51(1):2\u201345.","journal-title":"J ACM"},{"key":"1269_CR1795","unstructured":"Saraiya Y. Subtree elimination algorithms in deductive databases. Ph.D. thesis, Stanford University; 1991."},{"key":"1269_CR1796","unstructured":"Ullman JD. CS345 lecture notes. http:\/\/infolab.stanford.edu\/~ullman\/cs345-notes.html."},{"key":"1269_CR1797","volume-title":"Principles of database and knowledge-base systems","author":"JD Ullman","year":"1989","unstructured":"Ullman JD. Principles of database and knowledge-base systems, vol. II. Rockville: Computer Science Press; 1989."},{"key":"1269_CR1798","unstructured":"Ullman JD. The database approach to knowledge representation. In: Proceedings of 13th National Conference on Artificial Intelligence and 8th Innovative Applications of AI Conference; 1996. p. 1346\u201348."},{"issue":"2","key":"1269_CR1799","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/S0304-3975(99)00219-4","volume":"239","author":"JD Ullman","year":"2000","unstructured":"Ullman JD. Information integration using logical views. Theor Comput Sci. 2000;239(2):189\u2013210.","journal-title":"Theor Comput Sci"}],"container-title":["Encyclopedia of Database Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-8265-9_1269","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T22:10:11Z","timestamp":1591049411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4614-8265-9_1269"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9781461482666","9781461482659"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-8265-9_1269","relation":{},"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"7 December 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}