We propose a new method for database schema validation that provides an explanation when it determines that a certain desirable property of a database schema does not hold. Explanations are required to give the designer a hint about the changes of the schema that are needed to fix the problem identified. Our method is an extension of the CQC method, which has been shown successful for testing such properties. © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Rull, G., Farré, C., Teniente, E., & Urpí, T. (2008). Providing explanations for database schema validation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5181 LNCS, pp. 660–667). https://doi.org/10.1007/978-3-540-85654-2_56
Mendeley helps you to discover research relevant for your work.