Providing explanations for database schema validation
Carregant...
Fitxers
El pots comprar en digital a:
El pots comprar en paper a:
Títol de la revista
ISSN de la revista
Títol del volum
Col·laborador
Editor
Tribunal avaluador
Realitzat a/amb
Tipus de document
Report de recerca
Data publicació
Editor
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Condicions d'accés
Accés obert
Llicència
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva reproducció, distribució, comunicació pública o transformació sense l'autorització de la persona titular dels drets
Publicacions relacionades
Datasets relacionats
Projecte CCD
Abstract
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, and its contribution is twofold: Firstly, it is the first method that offers an explanation when the schema is not adequately defined. Secondly, the extension proposed here provides a significant efficiency improvement as far as the run-time performance of the method is concerned.
Descripció
Persones/entitats
Document relacionat
Versió de
Citació
Rull Fort, Guillem [et al.]. "Providing explanations for database schema validation". Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 2008.
Ajut
Forma part
LSI-08-14-R