Chao-Chih Yang On Interpreting and Inferring Propositional Formulas of Data Dependencies in a Relational Database. 323-338 1987 2 Data Knowl. Eng. db/journals/dke/dke2.html#Yang87