{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,16]],"date-time":"2025-06-16T11:13:32Z","timestamp":1750072412519},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540856535"},{"type":"electronic","value":"9783540856542"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85654-2_56","type":"book-chapter","created":{"date-parts":[[2008,8,27]],"date-time":"2008-08-27T03:30:03Z","timestamp":1219807803000},"page":"660-667","source":"Crossref","is-referenced-by-count":9,"title":["Providing Explanations for Database Schema Validation"],"prefix":"10.1007","author":[{"given":"Guillem","family":"Rull","sequence":"first","affiliation":[]},{"given":"Carles","family":"Farr\u00e9","sequence":"additional","affiliation":[]},{"given":"Ernest","family":"Teniente","sequence":"additional","affiliation":[]},{"given":"Toni","family":"Urp\u00ed","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"56_CR1","doi-asserted-by":"crossref","unstructured":"Bailey, J., Stuckey, P.J.: Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization. In: PADL, pp. 174\u2013186 (2005)","DOI":"10.1007\/978-3-540-30557-6_14"},{"key":"56_CR2","unstructured":"Farr\u00e9, C., Rull, G., Teniente, E., Urp\u00ed, T.: SVTE - A Tool to Validate Database Schemas giving Explanations. In: DBTest 2008 Workshop (to appear, 2008)"},{"key":"56_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-3-540-30075-5_8","volume-title":"Database and Expert Systems Applications","author":"C. Farr\u00e9","year":"2004","unstructured":"Farr\u00e9, C., Teniente, E., Urp\u00ed, T.: A New Approach for Checking Schema Validation Properties. In: Galindo, F., Takizawa, M., Traunm\u00fcller, R. (eds.) DEXA 2004. LNCS, vol.\u00a03180, pp. 77\u201386. Springer, Heidelberg (2004)"},{"issue":"2","key":"56_CR4","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/j.datak.2004.08.002","volume":"53","author":"C. Farr\u00e9","year":"2005","unstructured":"Farr\u00e9, C., Teniente, E., Urp\u00ed, T.: Checking Query Containment with the CQC Method. Data Knowl. Eng.\u00a053(2), 163\u2013223 (2005)","journal-title":"Data Knowl. Eng."},{"issue":"5","key":"56_CR5","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1145\/502102.502104","volume":"48","author":"A.Y. Halevy","year":"2001","unstructured":"Halevy, A.Y., Mumick, I.S., Sagiv, Y., Shmueli, O.: Static Analysis in Datalog Extensions. J. ACM\u00a048(5), 971\u20131012 (2001)","journal-title":"J. ACM"},{"key":"56_CR6","doi-asserted-by":"crossref","unstructured":"Rull, G., Farr\u00e9, C., Teniente, E., Urp\u00ed, T.: Computing Explanations for Unlively Queries in Databases. In: CIKM 2007, pp. 955\u2013958 (2007)","DOI":"10.1145\/1321440.1321584"},{"key":"56_CR7","unstructured":"Rull, G., Farr\u00e9, C., Teniente, E., Urp\u00ed, T.: Providing Explanations for Database Schema Validation. Research Report LSI-08-14-R, Universitat Polit\u00e8cnica de Catalunya (2008), http:\/\/www.lsi.upc.edu\/dept\/techreps\/techreps.html"},{"key":"56_CR8","doi-asserted-by":"crossref","unstructured":"Teniente, E., Farr\u00e9, C., Urp\u00ed, T., Beltr\u00e1n, C., Ga\u00f1\u00e1n, D.: SVT: Schema Validation Tool for Microsoft SQL-Server. In: VLDB 2004, pp. 1349\u20131352 (2004)","DOI":"10.1016\/B978-012088469-8.50144-3"},{"issue":"6","key":"56_CR9","doi-asserted-by":"publisher","first-page":"894","DOI":"10.1109\/69.649315","volume":"9","author":"X. Zhang","year":"1997","unstructured":"Zhang, X., \u00d6zsoyoglu, Z.M.: Implication and Referential Constraints: A New Formal Reasoning. IEEE Trans. Knowl. Data Eng.\u00a09(6), 894\u2013910 (1997)","journal-title":"IEEE Trans. Knowl. Data Eng."}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85654-2_56.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:33:37Z","timestamp":1606167217000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85654-2_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540856535","9783540856542"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85654-2_56","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}