Loading...
Loading...

Go to the content (press return)

Providing explanations for database schema validation

Author
Rull, G.; Farré, C.; Teniente, E.; Urpi, T.
Type of activity
Report
Date
2008-04
Code
LSI-08-14-R
Repository
http://hdl.handle.net/2117/81983 Open in new window
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 explana...
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.
Group of research
GESSI - Group of Software and Service Engineering
IMP - Information Modelling and Processing
inLab FIB

Participants

Attachments