Logics for Databases and Information Systems