{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:02:14Z","timestamp":1725552134614},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540329602"},{"type":"electronic","value":"9783540329619"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11687238_55","type":"book-chapter","created":{"date-parts":[[2006,3,9]],"date-time":"2006-03-09T02:05:50Z","timestamp":1141869950000},"page":"942-960","source":"Crossref","is-referenced-by-count":6,"title":["Finding Equivalent Rewritings in the Presence of Arithmetic Comparisons"],"prefix":"10.1007","author":[{"given":"Foto","family":"Afrati","sequence":"first","affiliation":[]},{"given":"Rada","family":"Chirkova","sequence":"additional","affiliation":[]},{"given":"Manolis","family":"Gergatsoulis","sequence":"additional","affiliation":[]},{"given":"Vassia","family":"Pavlaki","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"55_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/3-540-49257-7_27","volume-title":"Database Theory - ICDT 1999","author":"F.N. Afrati","year":"1998","unstructured":"Afrati, F.N., Gergatsoulis, M., Kavalieros, T.: Answering queries using materialized views with disjunctions. In: Beeri, C., Bruneman, P. (eds.) ICDT 1999. LNCS, vol.\u00a01540, pp. 435\u2013452. Springer, Heidelberg (1998)"},{"key":"55_CR2","doi-asserted-by":"crossref","unstructured":"Afrati, F., Li, C., Mitra, P.: Answering queries using views with arithmetic comparisons. In: PODS, pp. 209\u2013220 (2002)","DOI":"10.1145\/543613.543641"},{"key":"55_CR3","doi-asserted-by":"crossref","unstructured":"Afrati, F., Li, C., Mitra, P.: Rewriting queries using views in the presence of arithmetic comparisons. Technical report, UC Irvine (2002)","DOI":"10.1145\/543639.543641"},{"key":"55_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/978-3-540-24741-8_27","volume-title":"Advances in Database Technology - EDBT 2004","author":"F.N. Afrati","year":"2004","unstructured":"Afrati, F.N., Li, C., Mitra, P.: On containment of conjunctive queries with arithmetic comparisons. In: Bertino, E., Christodoulakis, S., Plexousakis, D., Christophides, V., Koubarakis, M., B\u00f6hm, K., Ferrari, E. (eds.) EDBT 2004. LNCS, vol.\u00a02992, pp. 459\u2013476. Springer, Heidelberg (2004)"},{"key":"55_CR5","doi-asserted-by":"crossref","unstructured":"Afrati, F., Li, C., Ullman, J.D.: Generating efficient plans for queries using views. In: SIGMOD, pp. 319\u2013330 (2001)","DOI":"10.1145\/375663.375705"},{"key":"55_CR6","doi-asserted-by":"crossref","unstructured":"Chandra, A.K., Merlin, P.M.: Optimal implementation of conjunctive queries in relational data bases. In: STOC, pp. 77\u201390 (1977)","DOI":"10.1145\/800105.803397"},{"key":"55_CR7","unstructured":"Deutsch, A.: XML Query Reformulation over Mixed and Redundant Storage. PhD thesis, University of Pennsylvania (2002)"},{"key":"55_CR8","doi-asserted-by":"crossref","unstructured":"Duschka, O.M., Genesereth, M.R.: Answering recursive queries using views. In: PODS, pp. 109\u2013116 (1997)","DOI":"10.1145\/263661.263674"},{"key":"55_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/3-540-49257-7_21","volume-title":"Database Theory - ICDT 1999","author":"G. Grahne","year":"1998","unstructured":"Grahne, G., Mendelzon, A.O.: Tableau techniques for querying information sources through global schemas. In: Beeri, C., Bruneman, P. (eds.) ICDT 1999. LNCS, vol.\u00a01540, pp. 332\u2013347. Springer, Heidelberg (1998)"},{"key":"55_CR10","doi-asserted-by":"crossref","unstructured":"Gupta, A., Sagiv, Y., Ullman, J.D., Widom, J.: Constraint checking with partial information. In: PODS, pp. 45\u201355 (1994)","DOI":"10.1145\/182591.182597"},{"issue":"4","key":"55_CR11","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/s007780100054","volume":"10","author":"A.Y. Halevy","year":"2001","unstructured":"Halevy, A.Y.: Answering queries using views: A survey. VLDB Journal\u00a010(4), 270\u2013294 (2001)","journal-title":"VLDB Journal"},{"issue":"1","key":"55_CR12","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1145\/42267.42273","volume":"35","author":"A. Klug","year":"1988","unstructured":"Klug, A.: On conjunctive queries containing inequalities. Journal of the ACM\u00a035(1), 146\u2013160 (1988)","journal-title":"Journal of the ACM"},{"key":"55_CR13","doi-asserted-by":"crossref","unstructured":"Kolaitis, P.G., Martin, D.L., Thakur, M.N.: On the complexity of the containment problem for conjunctive queries with built-in predicates. In: PODS, pp. 197\u2013204 (1998)","DOI":"10.1145\/275487.275510"},{"key":"55_CR14","unstructured":"Levy, A., Mendelzon, A.O., Sagiv, Y., Srivastava, D.: Answering queries using views. In: PODS, pp. 95\u2013104 (1995)"},{"key":"55_CR15","unstructured":"Levy, A., Rajaraman, A., Ordille, J.J.: Querying heterogeneous information sources using source descriptions. In: VLDB, pp. 251\u2013262 (1996)"},{"key":"55_CR16","doi-asserted-by":"crossref","unstructured":"Levy, A., Rajaraman, A., Ullman, J.: Answering queries using limited external processors. In: PODS, pp. 227\u2013234 (1996)","DOI":"10.1145\/237661.237716"},{"key":"55_CR17","unstructured":"Levy, A., Sagiv, Y.: Queries independent of updates. In: VLDB, pp. 171\u2013181 (1993)"},{"key":"55_CR18","doi-asserted-by":"crossref","unstructured":"Mitra, P.: An algorithm for answering queries efficiently using views. In: Proceedings of the Australasian Database Conference, pp. 99\u2013106 (2001)","DOI":"10.1109\/ADC.2001.904470"},{"key":"55_CR19","unstructured":"Popa, L.: Object\/Relational Query Optimization with Chase and Backchase. PhD thesis, University of Pennsylvania (2000)"},{"issue":"2-3","key":"55_CR20","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1007\/s007780100048","volume":"10","author":"R. Pottinger","year":"2001","unstructured":"Pottinger, R., Halevy, A.: A scalable algorithm for answering queries using views. VLDB Journal\u00a010(2-3), 182\u2013198 (2001)","journal-title":"VLDB Journal"},{"key":"55_CR21","unstructured":"Qian, X.: Query folding. In: ICDE, pp. 48\u201355 (1996)"},{"issue":"4","key":"55_CR22","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1145\/322217.322221","volume":"27","author":"Y. Sagiv","year":"1980","unstructured":"Sagiv, Y., Yannakakis, M.: Equivalences among relational expressions with the union and difference operators. Journal of the ACM\u00a027(4), 633\u2013655 (1980)","journal-title":"Journal of the ACM"},{"key":"55_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(76)90061-X","volume":"3","author":"L.J. Stockmeyer","year":"1977","unstructured":"Stockmeyer, L.J.: The polynomial-time hierarchy. Theoretical Computer Science\u00a03, 1\u201322 (1977)","journal-title":"Theoretical Computer Science"},{"key":"55_CR24","doi-asserted-by":"crossref","unstructured":"van der Meyden, R.: The complexity of querying indefinite data about linearly ordered domains. In: PODS, pp. 331\u2013345 (1992)","DOI":"10.1145\/137097.137902"},{"key":"55_CR25","doi-asserted-by":"crossref","unstructured":"Zhang, X., Ozsoyoglu, M.Z.: On efficient reasoning with implication constraints. In: DOOD, pp. 236\u2013252 (1993)","DOI":"10.1007\/3-540-57530-8_15"}],"container-title":["Lecture Notes in Computer Science","Advances in Database Technology - EDBT 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11687238_55.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:05:31Z","timestamp":1605625531000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11687238_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540329602","9783540329619"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11687238_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}