Paper Info
Title
Declarative debugging of wrong and missing answers for SQL views
Abstract
This paper presents a debugging technique for diagnosing errors in SQL views. The debugger allows the user to specify the error type, indicating if there is either a missing answer (a tuple was expected but it is not in the result) or a wrong answer (the result contains an unexpected tuple). This information is employed for slicing the associated queries, keeping only those parts that might be the cause of the error. The validity of the results produced by sliced queries is easier to determine, thus facilitating the location of the error. Although based on the ideas of declarative debugging, the proposed technique does not use computation trees explicitly. Instead, the logical relations among the nodes of the trees are represented by logical clauses that also contain the information extracted from the specific questions provided by the user. The atoms in the body of the clauses correspond to questions that the user must answer in order to detect an incorrect relation. The resulting logic program is executed by selecting at each step the unsolved atom that yields the simplest question, repeating the process until an erroneous relation is detected. Soundness and completeness results are provided. The theoretical ideas have been implemented in a working prototype included in the Datalog system DES.
Year
DOI
Venue
2012
10.1007/978-3-642-29822-6_9
FLOPS
Keywords
Field
DocType
incorrect relation,sql view,error type,diagnosing error,declarative debugging,missing answer,debugging technique,erroneous relation,wrong answer,logical clause,completeness result
SQL,Horn clause,Programming language,Computer science,Tuple,Debugger,Algorithm,Theoretical computer science,Soundness,Datalog,Debugging,Algorithmic program debugging
Conference
Volume
ISSN
Citations 
7294
0302-9743
2
PageRank 
References 
Authors
0.39
14
3
Name
Order
Citations
PageRank
Rafael Caballero125416.97
Yolanda García-Ruiz2223.12
Fernando Sáenz-Pérez36915.50