Logics for Databases and Information Systems (The Springer International Series in Engineering and Computer Science)