UPCommons està en procés de migració del dia 10 fins al 14 Juliol. L’autentificació està deshabilitada per evitar canvis durant aquesta migració.
Providing explanations for database schema validation

View/Open
Cita com:
hdl:2117/81983
Document typeResearch report
Defense date2008-04-14
PublisherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Rights accessOpen Access
All rights reserved. This work is protected by the corresponding intellectual and industrial
property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public
communication or transformation of this work are prohibited without permission of the copyright holder
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.
CitationRull Fort, Guillem [et al.]. "Providing explanations for database schema validation". Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 2008.
Is part ofLSI-08-14-R
Collections
Files | Description | Size | Format | View |
---|---|---|---|---|
R08-14.pdf | 453,9Kb | View/Open |