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

author_www -> author_id

author_www -> author_name

scene_id, anim_id, plug_name, type -> name_anifile, size_kb_ani

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

scene_id, anim_id -> sound, frames, raskadrovka

Левая редукция или перенос в правую часть

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

( man_name; man_email; man_www; ) -> man_country

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

( man_email; man_www; ) -> man_country, man_name

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

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

( man_name; man_www; ) -> man_country, man_email

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

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

( man_name; man_email; ) -> man_country, man_www

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

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

( edit_name; ) -> supp_formats, man_name, edit_conditions

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

( ) -> supp_formats, man_name, edit_conditions, edit_name

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

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

( render_name; ) -> man_name, ren_conditions, materials

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

( ) -> man_name, ren_conditions, materials, render_name

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

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

( plug_name; ) -> man_name, plug_conditions, plug_type