Providing Explanations for Database Schema Validation

Authors:
Guillem Rull;Carles Farré;Ernest Teniente;Toni Urpí
Affiliations:
Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, Barcelona, Spain 08034;Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, Barcelona, Spain 08034;Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, Barcelona, Spain 08034;Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, Barcelona, Spain 08034
Venue:
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
Year:
2008

Citing 7
Cited 2

Static analysis in datalog extensions

Journal of the ACM (JACM)
Implication and Referential Constraints: A New Formal Reasoning

IEEE Transactions on Knowledge and Data Engineering
Checking query containment with the CQC method

Data & Knowledge Engineering
SVT: schema validation tool for microsoft SQL-server

VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Computing explanations for unlively queries in databases

Proceedings of the sixteenth ACM conference on Conference on information and knowledge management
SVTe: a tool to validate database schemas giving explanations

Proceedings of the 1st international workshop on Testing database systems
Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization

PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages

AuRUS: automated reasoning on UML/OCL schemas

ER'10 Proceedings of the 29th international conference on Conceptual modeling
Verification and Validation of UML Conceptual Schemas with OCL Constraints

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.00

Visualization

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.