Subrata Kumar Das Modal Logics in the Theory of Relational Databases. 1-7 1996 57 Inf. Process. Lett. 1 db/journals/ipl/ipl57.html#Das96 http://dx.doi.org/10.1016/0020-0190(95)00186-7