Курсовая работа: Графические редакторы (пакеты трехмерного моделирования)

( scene_id, anim_id, type; ) -> name_anifile, size_kb_ani, plug_name

Характеристические множества не эквивалентны

7.4. Сформированная CF-зависимость:

( scene_id, anim_id, plug_name; ) -> name_anifile, size_kb_ani, type

Характеристические множества не эквивалентны

8. Проверка CF-зависимости:

( scene_id; ) -> scene_name, size_polys, edit_name, author_id, render_name, size_kb, created, comments, objects, lights, cameras

8.1. Сформированная CF-зависимость:

( ) -> scene_name, size_polys, edit_name, author_id, render_name, size_kb, created, comments, objects, lights, cameras, scene_id

Характеристические множества не эквивалентны

9. Проверка CF-зависимости:

( scene_id, anim_id; ) -> sound, frames, raskadrovka

9.1. Сформированная CF-зависимость:

( anim_id; ) -> sound, frames, raskadrovka, scene_id

Характеристические множества не эквивалентны

9.2. Сформированная CF-зависимость:

( scene_id; ) -> sound, frames, raskadrovka, anim_id

Характеристические множества не эквивалентны

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

1. Проверка CF-зависимости:

( man_name; man_email; man_www; ) -> man_country

2.1. Сформированная CF-зависимость:

( man_name; man_email; man_www; )

Характеристические множества не эквивалентны

2. Проверка CF-зависимости:

( edit_name; ) -> supp_formats, man_name, edit_conditions

3.1. Сформированная CF-зависимость:

( edit_name; ) -> man_name, edit_conditions

Характеристические множества не эквивалентны