S09 - KBS - 04 - Relational Databases as Logics