We present a general framework for debugging systems of correlated SQL views. The debugger locates an erroneous view by navigating a suitable computation tree. This tree contains the computed answer associated with every intermediate relation, asking the user whether this answer is expected or not. The correctness and completeness of the technique is proven formally, using a general definition of SQL operational semantics. The theoretical ideas have been implemented in an available tool which includes the possibility of employing trusted specifications for reducing the number of questions asked to the user. © 2012 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Caballero, R., García-Ruiz, Y., & Sáenz-Pérez, F. (2012). Algorithmic debugging of SQL views. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7162 LNCS, pp. 77–85). https://doi.org/10.1007/978-3-642-29709-0_9
Mendeley helps you to discover research relevant for your work.