{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:40:16Z","timestamp":1760708416423,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642298219"},{"type":"electronic","value":"9783642298226"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29822-6_9","type":"book-chapter","created":{"date-parts":[[2012,5,20]],"date-time":"2012-05-20T13:21:09Z","timestamp":1337520069000},"page":"73-87","source":"Crossref","is-referenced-by-count":6,"title":["Declarative Debugging of Wrong and Missing Answers for SQL Views"],"prefix":"10.1007","author":[{"given":"Rafael","family":"Caballero","sequence":"first","affiliation":[]},{"given":"Yolanda","family":"Garc\u00eda-Ruiz","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"S\u00e1enz-P\u00e9rez","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1145\/93548.93576","volume":"25","author":"H. Agrawal","year":"1990","unstructured":"Agrawal, H., Horgan, J.R.: Dynamic program slicing. SIGPLAN Not.\u00a025, 246\u2013256 (1990)","journal-title":"SIGPLAN Not."},{"unstructured":"ApexSQL Debug (2011), http:\/\/www.apexsql.com\/sql_tools_debug.aspx\/","key":"9_CR2"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-540-88594-8_8","volume-title":"Semantics in Data and Knowledge Bases","author":"R. Caballero","year":"2008","unstructured":"Caballero, R., Garc\u00eda-Ruiz, Y., S\u00e1enz-P\u00e9rez, F.: A Theoretical Framework for the Declarative Debugging of Datalog Programs. In: Schewe, K.-D., Thalheim, B. (eds.) SDKB 2008. LNCS, vol.\u00a04925, pp. 143\u2013159. Springer, Heidelberg (2008)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-3-642-29709-0_9","volume-title":"Proceedings of the 8th International Andrei Ershov Memorial Conference, PSI 2011","author":"R. Caballero","year":"2012","unstructured":"Caballero, R., Garc\u00eda-Ruiz, Y., S\u00e1enz-P\u00e9rez, F.: Algorithmic Debugging of SQL Views. In: Clarke, E., Virbitskaite, I., Voronkov, A. (eds.) PSI 2011. LNCS, vol.\u00a07162, pp. 77\u201385. Springer, Heidelberg (2012)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/3-540-44716-4_11","volume-title":"Functional and Logic Programming","author":"R. Caballero","year":"2001","unstructured":"Caballero, R., L\u00f3pez-Fraguas, F.J., Rodr\u00edguez-Artalejo, M.: Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. In: Kuchen, H., Ueda, K. (eds.) FLOPS 2001. LNCS, vol.\u00a02024, pp. 170\u2013184. Springer, Heidelberg (2001)"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1109\/TSE.1985.232223","volume":"11","author":"S. Ceri","year":"1985","unstructured":"Ceri, S., Gottlob, G.: Translating SQL Into Relational Algebra: Optimization, Semantics, and Equivalence of SQL Queries. IEEE Trans. Softw. Eng.\u00a011, 324\u2013345 (1985)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1145\/357775.357777","volume":"25","author":"Y. Cui","year":"2000","unstructured":"Cui, Y., Widom, J., Wiener, J.L.: Tracing the lineage of view data in a warehousing environment. ACM Trans. Database Syst.\u00a025, 179\u2013227 (2000)","journal-title":"ACM Trans. Database Syst."},{"key":"9_CR8","volume-title":"Database Systems: The Complete Book","author":"H. Garcia-Molina","year":"2008","unstructured":"Garcia-Molina, H., Ullman, J.D., Widom, J.: Database Systems: The Complete Book. Prentice Hall PTR, Upper Saddle River (2008)"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"982","DOI":"10.1145\/1516360.1516472","volume-title":"Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology, EDBT 2009","author":"B. Glavic","year":"2009","unstructured":"Glavic, B., Alonso, G.: Provenance for nested subqueries. In: Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology, EDBT 2009, pp. 982\u2013993. ACM, New York (2009)"},{"doi-asserted-by":"crossref","unstructured":"Grefen, P.W., de By, R.A.: A multi-set extended relational algebra: a formal approach to a practical issue. In: ICDE 1994, pp. 80\u201388. IEEE (1994)","key":"9_CR10","DOI":"10.1109\/ICDE.1994.283002"},{"doi-asserted-by":"crossref","unstructured":"Naish, L.: A Declarative Debugging Scheme. Journal of Functional and Logic Programming\u00a03 (1997)","key":"9_CR11","DOI":"10.7551\/mitpress\/4299.001.0001"},{"issue":"6","key":"9_CR12","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1017\/S095679680100418X","volume":"11","author":"H. Nilsson","year":"2001","unstructured":"Nilsson, H.: How to look busy while being lazy as ever: The implementation of a lazy functional debugger. Journal of Functional Programming\u00a011(6), 629\u2013671 (2001)","journal-title":"Journal of Functional Programming"},{"unstructured":"Rapid SQL Developer Debugger (2011), http:\/\/docs.embarcadero.com\/products\/rapid_sql\/","key":"9_CR13"},{"unstructured":"S\u00e1enz-P\u00e9rez, F.: Datalog Educational System v3.0 (March 2012), http:\/\/des.sourceforge.net\/","key":"9_CR14"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-642-25318-8_8","volume-title":"Programming Languages and Systems","author":"F. S\u00e1enz-P\u00e9rez","year":"2011","unstructured":"S\u00e1enz-P\u00e9rez, F., Caballero, R., Garc\u00eda-Ruiz, Y.: A Deductive Database with Datalog and SQL Query Languages. In: Yang, H. (ed.) APLAS 2011. LNCS, vol.\u00a07078, pp. 66\u201373. Springer, Heidelberg (2011)"},{"doi-asserted-by":"crossref","unstructured":"Shapiro, E.: Algorithmic Program Debugging. ACM Distiguished Dissertation. MIT Press (1982)","key":"9_CR16","DOI":"10.1145\/582153.582185"},{"issue":"11","key":"9_CR17","doi-asserted-by":"publisher","first-page":"976","DOI":"10.1016\/j.advengsoft.2011.05.024","volume":"42","author":"J. Silva","year":"2011","unstructured":"Silva, J.: A survey on algorithmic debugging strategies. Advances in Engineering Software\u00a042(11), 976\u2013991 (2011)","journal-title":"Advances in Engineering Software"},{"unstructured":"SQL, ISO\/IEC 9075:1992, 3rd edn. (1992)","key":"9_CR18"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29822-6_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T10:22:01Z","timestamp":1743157321000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29822-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642298219","9783642298226"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29822-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}