Jan Chomicki, Gunter Saake, Ron van der Meyden Logics for Emerging Applications of Databases Springer Berlin Heidelberg NewYork Barcelona Budapest Hong Kong London Milan Paris Santa Clara Singapore Tokyo