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

( ) -> man_name, plug_conditions, plug_type, plug_name

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

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

( packname, scene_id; ) -> amount, archiver_type

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

( scene_id; ) -> amount, archiver_type, packname

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

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

( packname; ) -> amount, archiver_type, scene_id

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

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

( author_id; author_email; author_www; ) -> author_name

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

( author_email; author_www; ) -> author_name, author_id

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

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

( author_id; author_www; ) -> author_name, author_email

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

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

( author_id; author_email; ) -> author_name, author_www

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

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

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

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

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

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

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

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

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