Domenico Saccà F. Manfredi A. Mecchia Properties of Database Schemata with Functional Dependencies. 107-137 1986 3 Advances in Computing Research db/journals/acr/acr3.html#SaccaMM86