Logics for emerging applications of databases. - Chomicki, Jan; Van der Meyden, Ron; Saake, Gunter (Springer, 2004)