Jan Chomicki Ron van der Meyden Gunter Saake Logics for Emerging Applications of Databases Springer 2003 3-540-00705-9 db/conf/dagstuhl/lead2003.html