Построение праворедуцированного покрытия

Праворедуцированное покрытие.

g:

ID_Post -> Name_post.

ID_Podr -> Name_podr.

ID_Palata -> Palata_num.

ID_Medsrstra -> License_med.

ID_Doc_kid -> License_doc_kid.

ID_Policlinic -> Num_policlinic.

ID_Boezn -> Num_bolezn.

ID_Nasl_boezn -> Num_Nasl_bolezn.

ID_Oslogn -> Num_oslogn.

ID_Ginecolog -> Num_license_gin.

ID_Consult -> Name_consult.

ID_Mather -> Pass_seria_M, Pass_num_M.

ID_Kid -> Num_Kid.

1. Ef (ID_Post):

ID_Post -> Name_post.

2. Ef (ID_Podr):

ID_Podr -> Name_podr.

3. Ef (ID_Palata):

ID_Palata -> Palata_num.

4. Ef (ID_Medsrstra):

ID_Medsrstra -> License_med.

5. Ef (ID_Doc_kid):

ID_Doc_kid -> License_doc_kid.

6. Ef (ID_Policlinic):

ID_Policlinic -> Num_policlinic.

7. Ef (ID_Boezn):

ID_Boezn -> Num_bolezn.

8. Ef (ID_Nasl_boezn):

ID_Nasl_boezn -> Num_Nasl_bolezn.

9. Ef (ID_Oslogn):

ID_Oslogn -> Num_oslogn.

10. Ef (ID_Ginecolog):

ID_Ginecolog -> Num_license_gin.

11. Ef (ID_Consult):

ID_Consult -> Name_consult.

12. Ef (ID_Mather):

ID_Mather -> Pass_seria_M, Pass_num_M.

13. Ef (ID_Kid):

ID_Kid -> Num_Kid.

Построение минимального покрытия на основе прямой функциональной определяемости Редуцированное минимальное покрытие.

g:

ID_Post -> Name_post.

ID_Podr -> Name_podr.

ID_Palata -> Palata_num.

ID_Medsrstra -> License_med.

ID_Doc_kid -> License_doc_kid.

ID_Policlinic -> Num_policlinic.

ID_Boezn -> Num_bolezn.

ID_Nasl_boezn -> Num_Nasl_bolezn.

ID_Oslogn -> Num_oslogn.

ID_Ginecolog -> Num_license_gin.

ID_Consult -> Name_consult.

ID_Mather -> Pass_seria_M, Pass_num_M.

ID_Kid -> Num_Kid.