Algorithmic Debugging of SQL Views
- Cite this paper as:
- Caballero R., García-Ruiz Y., Sáenz-Pérez F. (2012) Algorithmic Debugging of SQL Views. In: Clarke E., Virbitskaite I., Voronkov A. (eds) Perspectives of Systems Informatics. PSI 2011. Lecture Notes in Computer Science, vol 7162. Springer, Berlin, Heidelberg
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.
Unable to display preview. Download preview PDF.