Véronique Benzaken Giuseppe Castagna Haruo Hosoya Benjamin C. Pierce Stijn Vansummeren 3646-3650 2009 Encyclopedia of Database Systems http://dx.doi.org/10.1007/978-0-387-39940-9_788 reference/db/2009 db/reference/db/x.html#BenzakenCHPV09