SVTe: a tool to validate database schemas giving explanations
Carles Farré, Guillem Rull, Ernest Teniente, Toni Urpí · International Conference on Management of Data · 2008
We present SVTe, a tool to validate relational database schemas that allows performing several tests to determine the correctness of a schema. When a test is satisfied, our tool provides an example of a database state satisfying the test. Otherwise, it gives an explanation. We describe the main functionalities of SVTe, its architecture and provide some experimental results.