Functional dependencies and Boolean forms deeper examination of connection - Imielinski, Tomasz (1979)