Carles Farré Guillem Rull Ernest Teniente Toni Urpí SVTe: a tool to validate database schemas giving explanations. 9 2008 DBTest http://doi.acm.org/10.1145/1385269.1385281 conf/sigmod/2008dbtest db/conf/sigmod/dbtest2008.html#FarreRTU08