Victor Vianu Automatic verification of database-driven systems: a new frontier. 1-13 2009 ICDT http://doi.acm.org/10.1145/1514894.1514896 conf/icdt/2009 db/conf/icdt/icdt2009.html#Vianu09