Providing Explanations for Database Schema Validation

Autor: Ernest Teniente, Guillem Rull, Toni Urpí, Carles Farré
Rok vydání: 2008
Předmět:
Zdroj: Lecture Notes in Computer Science ISBN: 9783540856535
DEXA
DOI: 10.1007/978-3-540-85654-2_56
Popis: 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.
Databáze: OpenAIRE