{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:36:15Z","timestamp":1725492975414},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540003236"},{"type":"electronic","value":"9783540362852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36285-1_23","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T11:21:32Z","timestamp":1192879292000},"page":"346-360","source":"Crossref","is-referenced-by-count":16,"title":["Containment of Conjunctive Queries with Safe Negation"],"prefix":"10.1007","author":[{"given":"Fang","family":"Wei","sequence":"first","affiliation":[]},{"given":"Georg","family":"Lausen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"S. Abiteboul and O. M. Duschka. Complexity of answering queries using materialized views. In ACM Symp. on Principles of Database Systems (PODS), 1998.","DOI":"10.1145\/275487.275516"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"A. K. Chandra and P. M. Merlin. Optimal implementations of conjunctive queries in relational data bases. In ACM Symp. on Theory of Computing (STOC), pages 77\u201390. 1977.","DOI":"10.1145\/800105.803397"},{"key":"23_CR3","unstructured":"O. M. Duschka and A. Y. Levy. Recursive plans for information gathering. In International Joint Conference on Artificial Intelligence (IJCAI), pages 778\u2013784, 1997."},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"S. Flesca and S. Greco. Rewriting queries using views. In TKDE, 13(6), 2001.","DOI":"10.1109\/69.971191"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"D. Florescu, A. Levy, and D. Suciu. Query containment for conjunctive queries with regular expressions. In ACM Symp. on Principles of Database Systems (PODS). 1998.","DOI":"10.1145\/275487.275503"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"A. Gupta, Y. Sagiv, J. D. Ullman, and J. Widom. Constraint checking with partial information. In ACM Symp. on Principles of Database Systems (PODS). 1994.","DOI":"10.1145\/182591.182597"},{"issue":"4","key":"23_CR7","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/s007780100054","volume":"10","author":"A. Halevy","year":"2001","unstructured":"A. Halevy. Answering queries using views: A survey. In VLDB Journal, 10:4, pp. 270\u2013294, 2001.","journal-title":"VLDB Journal"},{"issue":"1","key":"23_CR8","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1145\/42267.42273","volume":"35","author":"A. Klug","year":"1988","unstructured":"A. Klug. On conjunctive queries containing inequalities. In Journal of the ACM 35:1, pp. 146\u2013160, 1988.","journal-title":"Journal of the ACM"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"A. Y. Levy, A. O. Mendelzon, Y. Sagiv, and D. Srivastava. Answering queries using views. In ACM Symp. on Principles of Database Systems (PODS). 1995.","DOI":"10.1145\/212433.220198"},{"key":"23_CR10","unstructured":"A. Levy and Y. Sagiv. Queries independent of updates. In International Conference on Very Large Data Bases (VLDB), 1993."},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"A. Levy and D. Suciu. Deciding containment for queries with complex objects. In ACM Symp. on Principles of Database Systems (PODS). ACM Press, 1997.","DOI":"10.1145\/263661.263665"},{"issue":"4","key":"23_CR12","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1145\/322217.322221","volume":"27","author":"Y. Sagiv","year":"1980","unstructured":"Y. Sagiv and M. Yannakakis. Equivalence among relational expressions with the union and difference operations. Journal of the ACM, (4), 27(4):633\u2013655, 1980.","journal-title":"Journal of the ACM, (4)"},{"key":"23_CR13","unstructured":"J. Ullman. Principles of Database and KnowledgeBase Systems, Volume II. 1989."},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"J. D. Ullman. Information integration using logical views. In International Conference on Database Theory (ICDT), 1997.","DOI":"10.1007\/3-540-62222-5_34"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"X. Zhang and Z. Meral \u00d6zsoyoglu. On efficient reasoning with implication constraints. In DOOD, pages 236\u2013252, 1993.","DOI":"10.1007\/3-540-57530-8_15"}],"container-title":["Lecture Notes in Computer Science","Database Theory \u2014 ICDT 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36285-1_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T18:05:21Z","timestamp":1556906721000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36285-1_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12,16]]},"ISBN":["9783540003236","9783540362852"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-36285-1_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002,12,16]]}}}