G Rull, C Farré, E Teniente, T Urpí - Proceedings of the 19th international …, 2008 - dl.acm.org
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 …