Mostra el registre d'ítem simple
Providing explanations for database schema validation
dc.contributor.author | Rull Fort, Guillem |
dc.contributor.author | Farré Tost, Carles |
dc.contributor.author | Teniente López, Ernest |
dc.contributor.author | Urpí Tubella, Antoni |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2016-01-25T14:57:14Z |
dc.date.available | 2016-01-25T14:57:14Z |
dc.date.issued | 2008-04-14 |
dc.identifier.citation | Rull Fort, Guillem [et al.]. "Providing explanations for database schema validation". Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 2008. |
dc.identifier.uri | http://hdl.handle.net/2117/81983 |
dc.description.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. |
dc.format.extent | 14 p. |
dc.language.iso | eng |
dc.publisher | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
dc.relation.ispartofseries | LSI-08-14-R |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació |
dc.subject.other | Database schema validation |
dc.subject.other | CQC |
dc.title | Providing explanations for database schema validation |
dc.type | External research report |
dc.rights.access | Open Access |
local.identifier.drac | 583334 |
dc.description.version | Postprint (published version) |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Reports de recerca [1.107]