Implicación de Dependencias Funcionales en Datalog sobre Esquemas en Forma Normal Boye-Codd. - Héctor J. Hernández López; José R. Paramá; Nieves R. Brisaboa (JIDBD, 1997)