Seymour Ginsburg Richard Hull Characterizations for Functional Dependency and Boyce-CODD Normal Form Families. 243-286 1983 26 Theor. Comput. Sci. db/journals/tcs/tcs26.html#GinsburgH83a http://dx.doi.org/10.1016/0304-3975(83)90019-1