Roland Hausser Center Fragments for Upscaling and Verification in Database Semantics. 22-44 2008 EJC http://dx.doi.org/10.3233/978-1-58603-957-8-22 conf/ejc/2008 db/conf/ejc/ejc2008.html#Hausser08