SVTe: a tool to validate database schemas giving explanations.

Carles Farr, Guillem Rull, Ernest Teniente, Toni Urp

Browse the full SIGMOD paper archive.