{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:11:54Z","timestamp":1743135114049,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642297083"},{"type":"electronic","value":"9783642297090"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29709-0_9","type":"book-chapter","created":{"date-parts":[[2012,5,12]],"date-time":"2012-05-12T09:49:34Z","timestamp":1336816174000},"page":"77-85","source":"Crossref","is-referenced-by-count":4,"title":["Algorithmic Debugging of 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","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_CR2","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., 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_CR3","series-title":"Courant Computer Science Symposia Series","volume-title":"Data Base Systems","author":"E. Codd","year":"1972","unstructured":"Codd, E.: Relational Completeness of Data Base Sublanguages. In: Rustin (ed.) Data Base Systems. Courant Computer Science Symposia Series, vol.\u00a06. Prentice-Hall, Englewood Cliffs (1972)"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/588111.588132","volume-title":"PODS 1982: Proceedings of the 1st ACM SIGACT-SIGMOD Symposium on Principles of Database Systems","author":"U. Dayal","year":"1982","unstructured":"Dayal, U., Goodman, N., Katz, R.H.: An extended relational algebra with control over duplicate elimination. In: PODS 1982: Proceedings of the 1st ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, pp. 117\u2013123. ACM, New York (1982)"},{"key":"9_CR5","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_CR6","doi-asserted-by":"crossref","unstructured":"Grefen, P.W.P.J., de By, R.A.: A multi-set extended relational algebra: a formal approach to a practical issue. In: 10th International Conference on Data Engineering, pp. 80\u201388. IEEE (1994)","DOI":"10.1109\/ICDE.1994.283002"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Naish, L.: A Declarative Debugging Scheme. Journal of Functional and Logic Programming\u00a03 (1997)","DOI":"10.7551\/mitpress\/4299.001.0001"},{"issue":"3","key":"9_CR8","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1145\/111197.111212","volume":"16","author":"M. Negri","year":"1991","unstructured":"Negri, M., Pelagatti, G., Sbattella, L.: Formal semantics of SQL queries. ACM Trans. Database Syst.\u00a016(3), 513\u2013534 (1991)","journal-title":"ACM Trans. Database Syst."},{"issue":"6","key":"9_CR9","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"},{"key":"9_CR10","unstructured":"S\u00e1enz-P\u00e9rez, F.: DES: A Deductive Database System. In: Spanish Conference on Programming and Computer Languages (September 2010) (in Press)"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Shapiro, E.: Algorithmic Program Debugging. In: ACM Distiguished Dissertation. MIT Press (1982)","DOI":"10.1145\/582153.582185"},{"key":"9_CR12","unstructured":"SQL, ISO\/IEC 9075:1992, third edition (1992)"},{"issue":"4","key":"9_CR13","first-page":"29","volume":"30","author":"S. Vansummeren","year":"2007","unstructured":"Vansummeren, S., Cheney, J.: Recording provenance for sql queries and updates. IEEE Data Eng. Bull.\u00a030(4), 29\u201337 (2007)","journal-title":"IEEE Data Eng. Bull."}],"container-title":["Lecture Notes in Computer Science","Perspectives of Systems Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29709-0_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:56:55Z","timestamp":1743112615000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29709-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642297083","9783642297090"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29709-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}