Графічні редактори пакети тривимірного моделювання 2

Міністерство освіти і науки Російської Федерації
Курський Державний Технічний Університет
Кафедра ПЗ ВТ
Курсова робота
з дисципліни: "Бази даних"
Тема: "Графічні редактори (пакети тривимірного моделювання)"
Виконав: студент гр. ПО-21 Чельцов Є. О.
Перевірив: доцент Бєлов В. Г.
До У Р С К
2 0 0 8

ЗМІСТ
"1-3" 1 ТЕХНІЧНЕ ЗАВДАННЯ
1.1 Підстава для розробки
1.2 Завдання
2 ТЕХНІЧНИЙ ПРОЕКТ
2.1 Опис предметної області
2.2 Словник понять і термінів
2.3 Перший варіант ER-діаграми:
2.4 Побудова функціональних залежностей:
2.5 Синтез схеми бази даних на підставі функціональних залежностей
2.5.1 Побудова ненадлишковим покриття
2.5.2 Побудова леворедуцірованного покриття
2.5.3 Побудова праворедуцірованного покриття
2.5.4 Побудова класів еквівалентності
2.5.5 Побудова мінімального покриття
2.5.6 Отримання мінімального кільцевого редуцированного покриття
Визначення CF-залежностей за класами еквівалентності
Мінімальна кільцеве покриття
2.6. Логічна модель предметної області
2.7 Уточнена концептуальна модель
3 ПОБУДОВА ЗАПИТІВ

1 ТЕХНІЧНЕ ЗАВДАННЯ

1.1 Підстава для розробки

Необхідно спроектувати та розробити базу даних, що забезпечує введення, збереження і обробку інформації про графічних редакторах, а саме пакетах тривимірного моделювання. Підставою для розробки послужило завдання на курсове проектування з дисципліни "Бази даних".

1.2 Завдання

Спроектувати базу даних, яка містить інформацію про графічних редакторах, а саме пакетах тривимірного моделювання. Описати предметну область, розробити словник понять і термінів, побудувати систему функціональних залежностей, ER-діаграму. Синтезувати схему бази даних на підставі функціональних залежностей (побудова ненадлишковим покриття, побудова леворедуцірованного ненадлишковим покриття, побудова праворедуцірованного ненадлишковим покриття, побудова класів еквівалентності, побудова мінімального покриття). Побудувати уточнену концептуальну модель у вигляді ER-діаграми, запити предметної області. Записати запити на мові SQL.

2.Технічні ПРОЕКТ

2.1 Опис предметної області

В даний час велика частина нових комп'ютерних технологій орієнтована на сферу розваг. Тривимірна графіка є її найбільш цікавою складової. Вона використовується в кіноіндустрії, в індустрії комп'ютерних ігор, в області проектування і т.д.
На даний момент існує досить багато коштів тривимірного моделювання - починаючи від найпростіших програм, типу "Ultimate Unwrap3D", призначених для створення найпростіших сцен і часто розповсюджуються безкоштовно, і закінчуючи потужними комерційними пакетами моделювання, типу "Maya", призначених для створення реалістичних зображень і анімації .
В Інтернеті існують сайти, на яких зберігаються великі колекції фото (сцен) для такого роду програм. Кожна сцена має свій ідентифікаційний номер і характеризується наступними параметрами:
-Назва сцени;
-Кількість полігонів у сцені;
-Розмір файлу;
-Дата створення;
-Кількість об'єктів;
-Кількість джерел світла;
-Кількість камер;
-Коментарі.
При створенні сцени використовується модуль прорахунку зображення - рендер, який характеризується:
-Підтримка матеріалів;
-Умови розповсюдження;
До кожної сцені додається пакет текстур, який характеризується:
-Кількістю текстур;
-Типом архіву.
Сцени бувають статичні і з вмістом анімації. Сцена з анімацією має параметри:
-Наявність звуку;
-Кількість кадрів;
-Опис анімації (розкадровка).
Якщо при створенні анімації використовувалася стороння програма або плагін, то послідовність кадрів буде міститися в окремому файлі, з параметрами:
-Назва файлу анімації;
-Тип файлу;
-Розмір файлу.
Використовуваний плагін характеризується:
-Тип;
-Умови розповсюдження;
-Назву.
Програма, яка використовується при створенні сцени, характеризується:
-Назва;
-Підтримувані формати;
-Умови розповсюдження.
Характеристики виробника, використовуваного програмного продукту:
-Назва організації;
-Адресу електронної пошти;
-Адресу сайту Інтернет;
-Країна.
Так само є зведення про автора сцени:
-Повне ім'я або псевдонім;
-Адресу електронної пошти;
-Адресу сайту Інтернет;
Кожен автор має свій ідентифікаційний номер.

2.2 Словник понять і термінів

Найменування	Сенс	Позначення	Приклад
Ім'я виробнику	Найменування виробника пакета моделювання	man_name	Discreet
Пошта виробника	Адреса електронної пошти виробника	man_email	authcodes.neu @ autodesk.com
Сайт виробника	Адреса сайту виробника	man_www	www.discreet.com
Країна	Країна виробника	man_country	USA
Назва засоби моделювання	Повна назва засоби моделювання	edit_name	3DS MAX 6.0
Умови розповсюдження засоби моделювання	Умови розповсюдження засоби моделювання	edit_conditions	Commercial
Формати	Формати файлів, які підтримує програма моделювання	supp_formats	*. Max, *. chr
Рендер	Повна назва рендера	render_name	Mental Ray
Умови розповсюдження рендера	Умови розповсюдження рендера	ren_conditions	Commercial
Матеріали	Чи підтримує рендер матеріали (так / ні)	materials	Yes
Плагін	Повна назва плагіна або сторонньої програми, використаної при створенні анімації	plug_name	Character Studio 4.1
Умови розповсюдження плагіна	Умови розповсюдження плагіна або сторонньої програми, використаної при створенні анімації	plug_conditions	Commercial
Тип плагіна	Програма або плагін	plug_type	plugin
Ідентифікатор сцени	Ідентифікатор сцени	scene_id	0035
Назва сцени	Назва сцени	scene_name	My_scene
Кількість полігонів	Кількість полігонів у сцені	size_polys	50 564
Розмір файлу сцени	Розмір файлу, який містить сцену	size_kb	3 693
Дата створення сцени	Дата створення сцени	created	14.03.05
Коментарі до сцени	Коментарі до сцени	comments	Сцена анімації персонажа з гри
Пакет текстур	Назва архіву, що містить текстури до сцени	packname	My_pack
Кількість текстур в архіві	Кількість текстур в архіві	amount	20
Тип архіву	Тип архіву, що містить текстури до сцени	archiver_type	*. Zip
Об'єкти	Кількість об'єктів у сцені	objects	12
Світло	Кількість джерел освітлення в сцені	lights	3
Камери	Кількість камер у сцені	cameras	1
Ідентифікатор анімації	Ідентифікатор файлу анімації	anim_id	0013
Звук	Присутній звук на анімованої сцені (так / ні)	sound	no
Кількість кадрів анімації	Кількість кадрів анімації	frames	150
Розкадровка	Коментар, що містить детальний пояснення анімації персонажа	raskadrovka	1-10: ходьба 11-20: біг 21-60: падіння
Тип файлу анімації	Тип файлу анімації	type	*. Bip
Ім'я файлу анімації	Ім'я файлу анімації	name_anifile	My_anim
Розмір файлу анімації	Розмір файлу анімації	size_kb_ani	825
Ідентифікатор автора сцени	Ідентифікатор автора сцени	author_id	0045
Повне ім'я або псевдонім автора сцени	Повне ім'я або псевдонім автора сцени	author_name	Renderman
Пошта автора	Адреса електронної пошти автора сцени	author_email	renderman@mail.ru
Сайт автора	Адреса сайту Інтернет автора сцени	author_www	www.renman.narod.ru

2.3 Перший варіант ER-діаграми:

2.4 Побудова функціональних залежностей:

Функціональна залежність	Опис
man_email-> man_name	Два і більше виробники не можуть мати один і той же адресу електронної пошти
man_www-> man_name	Два і більше виробники не можуть мати один і той же адресу сайту Інтернет
author_email-> author_id	Два і більш автора не можуть мати один і той же адресу електронної пошти
author_www-> author_id	Два і більш автора не можуть мати один і той же адресу сайту Інтернет
scene_id-> render_name	Сцена не може одночасно прораховуватися двома і більше різними рендерами
render_name-> man_name	Рендер не може бути проведений двома і більше виробниками
plug_name-> man_name	Плагін не може бути проведений двома і більше виробниками
edit_name-> man_name	Програма моделювання не може бути здійснена двома і більше виробниками
man_name-> man_email, man_www, man_country	Ім'я виробника визначає адресу його пошти, сайту і країну
edit_name-> supp_formats, man_name, edit_conditions	Назва засоби моделювання визначає підтримувані формати, ім'я виробника, умови розповсюдження засоби моделювання
render_name-> man_name, ren_conditions, materials	Рендер опрнднляет ім'я виробника, умови розповсюдження рендера, матеріали
plug_name-> man_name, plug_conditions, plug_type	Плагін визначає ім'я виробника, умови розповсюдження плагіна, тип плагіна
packname, scene_id-> amount, archiver_type	Пакет текстур і ідентифікатор сцени визначають кількість текстур і тип архіву
scene_id-> scene_name, size_polys, edit_name, author_id, render_name, size_kb, created, comments	Ідентифікатор сцени визначає ім'я сцени, рамер файлу сцени, ідентифікатор автора, рендер, кількість полігонів, дату створення, коментарі
scene_id-> objects, lights, cameras	Ідентифікатор сцени визначає кількість об'єктів, кількість джерел світла, кількість камер
scene_id, anim_id-> sound	Ідентифікатор сцени та ідентифікатор анімації визначають наявність звуку
scene_id, anim_id-> frames	Ідентифікатор сцени та ідентифікатор анімації визначають кількість адров
scene_id, anim_id-> raskadrovka	Ідентифікатор сцени та ідентифікатор анімації визначають розкадрування
author_id-> author_name, author_email, author_www	Ідентифікатор автора визначає його ім'я, пошту і сайт Інтернет
scene_id, anim_id, plug_name, type-> name_anifile, size_kb_ani	Ідентифікатор сцени, ідентифікатор анімації, плагін, тип плагіна визначають ім'я файлу анімації і розмір файлу анімації

Початкове безліч функціональних залежностей


Повне безліч атрибутів предметної області
Z = {man_name, man_email, man_www, man_country, edit_name, supp_formats, edit_conditions, render_name, materials, ren_conditions, plug_name, plug_conditions, plug_type, scene_id, scene_name, size_polys, size_kb, created, comments, packname, amount, archoiver_type, objects, lights , cameras, anim_id, sound, frames, raskadrovka, type, name_anifile, size_kb_ani, author_id, author_name, author_email, author_www}

2.5 Синтез схеми бази даних на підставі функціональних залежностей

2.5.1 Побудова ненадлишковим покриття

g:
man_name -> man_email, man_www, man_country
edit_name -> supp_formats, man_name, edit_conditions
render_name -> man_name, ren_conditions, materials
plug_name -> man_name, plug_conditions, plug_type
packname, scene_id -> amount, archiver_type
scene_id -> scene_name, size_polys, edit_name, author_id, render_name, size_kb, created, comments
scene_id -> objects, lights, cameras
scene_id, anim_id -> sound
scene_id, anim_id -> frames
scene_id, anim_id -> raskadrovka
author_id -> author_name, author_email, author_www
scene_id, anim_id, plug_name, type -> name_anifile, size_kb_ani
man_email -> man_name
man_www -> man_name
author_email -> author_id
author_www -> author_id
scene_id -> render_name
render_name -> man_name
plug_name -> man_name
edit_name -> man_name
1. f = g \ man_name -> man_email, man_www, man_country
Перевіряємо: f | = man_name -> man_email, man_www, man_country
[Man_name] + f = man_name
Ні => Безліч ФЗ не змінюється
2. f = g \ edit_name -> supp_formats, man_name, edit_conditions
Перевіряємо: f | = edit_name -> supp_formats, man_name, edit_conditions
[Edit_name] + f = edit_name, man_name, man_email, man_www, man_country
Ні => Безліч ФЗ не змінюється
3. f = g \ render_name -> man_name, ren_conditions, materials
Перевіряємо: f | = render_name -> man_name, ren_conditions, materials
[Render_name] + f = render_name, man_name, man_email, man_www, man_country
Ні => Безліч ФЗ не змінюється
4. f = g \ plug_name -> man_name, plug_conditions, plug_type
Перевіряємо: f | = plug_name -> man_name, plug_conditions, plug_type
[Plug_name] + f = plug_name, man_name, man_email, man_www, man_country
Ні => Безліч ФЗ не змінюється
5. f = g \ packname, scene_id -> amount, archiver_type
Перевіряємо: f | = packname, scene_id -> amount, archiver_type
[Packname, scene_id] + f = packname, scene_id, scene_name, size_polys, edit_name, author_id, render_name, size_kb, created, comments, supp_formats, man_name, edit_conditions, man_email, man_www, man_country, ren_conditions, materials, objects, lights, cameras, author_name, author_email, author_www
Ні => Безліч ФЗ не змінюється
6. f = g \ scene_id -> scene_name, size_polys, edit_name, author_id, render_name, size_kb, created, comments
Перевіряємо: f | = scene_id -> scene_name, size_polys, edit_name, author_id, render_name, size_kb, created, comments
[Scene_id] + f = scene_id, objects, lights, cameras, render_name, man_name, ren_conditions, materials, man_email, man_www, man_country
Ні => Безліч ФЗ не змінюється
7. f = g \ scene_id -> objects, lights, cameras
Перевіряємо: f | = scene_id -> objects, lights, cameras
[Scene_id] + f = scene_id, scene_name, size_polys, edit_name, author_id, render_name, size_kb, created, comments, supp_formats, man_name, edit_conditions, man_email, man_www, man_country, ren_conditions, materials, author_name, author_email, author_www
Ні => Безліч ФЗ не змінюється
8. f = g \ scene_id, anim_id -> sound
Перевіряємо: f | = scene_id, anim_id -> sound
[Scene_id, anim_id] + f = scene_id, anim_id, scene_name, size_polys, edit_name, author_id, render_name, size_kb, created, comments, supp_formats, man_name, edit_conditions, man_email, man_www, man_country, ren_conditions, materials, objects, lights, cameras, frames, raskadrovka, author_name, author_email, author_www
Ні => Безліч ФЗ не змінюється
9. f = g \ scene_id, anim_id -> frames
Перевіряємо: f | = scene_id, anim_id -> frames
[Scene_id, anim_id] + f = scene_id, anim_id, scene_name, size_polys, edit_name, author_id, render_name, size_kb, created, comments, supp_formats, man_name, edit_conditions, man_email, man_www, man_country, ren_conditions, materials, objects, lights, cameras, sound, raskadrovka, author_name, author_email, author_www
Ні => Безліч ФЗ не змінюється

Ні => безліч ФЗ не змінюється.
Видалення залежностей виду X->
Праворедуцірованное покриття
g:
man_name -> man_email, man_www, man_country
edit_name -> supp_formats, man_name, edit_conditions
render_name -> man_name, ren_conditions, materials
plug_name -> man_name, plug_conditions, plug_type
packname, scene_id -> amount, archiver_type
scene_id -> scene_name, size_polys, edit_name, author_id, render_name, size_kb, created, comments
scene_id -> objects, lights, cameras
scene_id, anim_id -> sound
scene_id, anim_id -> frames
scene_id, anim_id -> raskadrovka
author_id -> author_name, author_email, author_www
scene_id, anim_id, plug_name, type -> name_anifile, size_kb_ani
man_email -> man_name
man_www -> man_name
author_email -> author_id
author_www -> author_id

2.5.4 Побудова класів еквівалентності

1. Ef (man_name):
man_name -> man_email, man_www, man_country
man_email -> man_name
man_www -> man_name
2. Ef (edit_name):
edit_name -> supp_formats, man_name, edit_conditions
3. Ef (render_name):
render_name -> man_name, ren_conditions, materials
4. Ef (plug_name):
plug_name -> man_name, plug_conditions, plug_type
5. Ef (packname, scene_id):
packname, scene_id -> amount, archiver_type
6. Ef (scene_id):
scene_id -> scene_name, size_polys, edit_name, author_id, render_name, size_kb, created, comments
scene_id -> objects, lights, cameras
7. Ef (scene_id, anim_id):
scene_id, anim_id -> sound
scene_id, anim_id -> frames
scene_id, anim_id -> raskadrovka
8. Ef (author_id):
author_id -> author_name, author_email, author_www
author_email -> author_id
author_www -> author_id
9. Ef (scene_id, anim_id, plug_name, type):
scene_id, anim_id, plug_name, type -> name_anifile, size_kb_ani

2.5.5 Побудова мінімального покриття

1. Перевірка: f \ Ef (man_name) | = man_name -> man_email?
Ні => безліч ФЗ не змінюється.
2. Перевірка: f \ Ef (man_name) | = man_name -> man_www?
Ні => безліч ФЗ не змінюється.
3. Перевірка: f \ Ef (man_name) | = man_email -> man_www?
Ні => безліч ФЗ не змінюється.
4. Перевірка: f \ Ef (scene_id) | = scene_id -> scene_id?
Да => замінюємо scene_id -> scene_name, size_polys, edit_name, author_id, render_name, size_kb, created, comments і scene_id -> objects, lights, cameras на scene_id -> scene_name, size_polys, edit_name, author_id, render_name, size_kb, created, comments , objects, lights, cameras.
5. Перевірка: f \ Ef (scene_id, anim_id) | = scene_id, anim_id -> scene_id, anim_id?
Да => замінюємо scene_id, anim_id -> sound і scene_id, anim_id -> frames на scene_id, anim_id -> sound, frames.
6. Перевірка: f \ Ef (scene_id, anim_id) | = scene_id, anim_id -> scene_id, anim_id?
Да => замінюємо scene_id, anim_id -> sound, frames і scene_id, anim_id -> raskadrovka на scene_id, anim_id -> sound, frames, raskadrovka.
7. Перевірка: f \ Ef (author_id) | = author_id -> author_email?
Ні => безліч ФЗ не змінюється.
8. Перевірка: f \ Ef (author_id) | = author_id -> author_www?
Ні => безліч ФЗ не змінюється.
9. Перевірка: f \ Ef (author_id) | = author_email -> author_www?
Ні => безліч ФЗ не змінюється.
Редуцированное мінімальне покриття
g:
man_name -> man_email, man_www, man_country
edit_name -> supp_formats, man_name, edit_conditions
render_name -> man_name, ren_conditions, materials
plug_name -> man_name, plug_conditions, plug_type
packname, scene_id -> amount, archiver_type
author_id -> author_name, author_email, author_www
scene_id, anim_id, plug_name, type -> name_anifile, size_kb_ani
man_email -> man_name
man_www -> man_name
author_email -> author_id
author_www -> author_id
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

2.5.6 Отримання мінімального кільцевого редуцированного покриття

Визначення CF-залежностей за класами еквівалентності

Мінімальна кільцеве покриття

(Man_name; man_email; man_www;) -> man_country
(Edit_name;) -> supp_formats, man_name, edit_conditions
(Render_name;) -> man_name, ren_conditions, materials
(Plug_name;) -> man_name, plug_conditions, plug_type
(Packname, scene_id;) -> amount, archiver_type
(Author_id; author_email; 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
Отримання кільцевого мінімального
редуцированного покриття
Природне характеристичне безліч
для кільцевого покриття
f (C):
man_name -> man_email
man_email -> man_www
man_www -> man_name
man_www -> man_country
edit_name -> supp_formats, man_name, edit_conditions
render_name -> man_name, ren_conditions, materials
plug_name -> man_name, plug_conditions, plug_type
packname, scene_id -> amount, archiver_type
author_id -> author_email
author_email -> author_www
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
4.1. Сформована CF-залежність:
() -> 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
Характеристичні безлічі не еквівалентні
7.3. Сформована CF-залежність:
(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
Характеристичні безлічі не еквівалентні
3.2. Сформована CF-залежність:
(Edit_name;) -> supp_formats, edit_conditions
Характеристичні безлічі не еквівалентні
3.3. Сформована CF-залежність:
(Edit_name;) -> supp_formats, man_name
Характеристичні безлічі не еквівалентні
3. Перевірка CF-залежності:
(Render_name;) -> man_name, ren_conditions, materials
4.1. Сформована CF-залежність:
(Render_name;) -> ren_conditions, materials
Характеристичні безлічі не еквівалентні
4.2. Сформована CF-залежність:
(Render_name;) -> man_name, materials
Характеристичні безлічі не еквівалентні
4.3. Сформована CF-залежність:
(Render_name;) -> man_name, ren_conditions
Характеристичні безлічі не еквівалентні
4. Перевірка CF-залежності:
(Plug_name;) -> man_name, plug_conditions, plug_type
5.1. Сформована CF-залежність:
(Plug_name;) -> plug_conditions, plug_type
Характеристичні безлічі не еквівалентні
5.2. Сформована CF-залежність:
(Plug_name;) -> man_name, plug_type
Характеристичні безлічі не еквівалентні
5.3. Сформована CF-залежність:
(Plug_name;) -> man_name, plug_conditions
Характеристичні безлічі не еквівалентні
5. Перевірка CF-залежності:
(Packname, scene_id;) -> amount, archiver_type
6.1. Сформована CF-залежність:
(Packname, scene_id;) -> archiver_type
Характеристичні безлічі не еквівалентні
6.2. Сформована CF-залежність:
(Packname, scene_id;) -> amount
Характеристичні безлічі не еквівалентні
6. Перевірка CF-залежності:
(Author_id; author_email; author_www;) -> author_name
7.1. Сформована CF-залежність:
(Author_id; author_email; author_www;)
Характеристичні безлічі не еквівалентні
7. Перевірка CF-залежності:
(Scene_id, anim_id, plug_name, type;) -> name_anifile, size_kb_ani
8.1. Сформована CF-залежність:
(Scene_id, anim_id, plug_name, type;) -> size_kb_ani
Характеристичні безлічі не еквівалентні
8.2. Сформована CF-залежність:
(Scene_id, anim_id, plug_name, type;) -> name_anifile
Характеристичні безлічі не еквівалентні
8. Перевірка CF-залежності:
(Scene_id;) -> scene_name, size_polys, edit_name, author_id, render_name, size_kb, created, comments, objects, lights, cameras
9.1. Сформована CF-залежність:
(Scene_id;) -> size_polys, edit_name, author_id, render_name, size_kb, created, comments, objects, lights, cameras
Характеристичні безлічі не еквівалентні
9.2. Сформована CF-залежність:
(Scene_id;) -> scene_name, edit_name, author_id, render_name, size_kb, created, comments, objects, lights, cameras
Характеристичні безлічі не еквівалентні
9.3. Сформована CF-залежність:
(Scene_id;) -> scene_name, size_polys, author_id, render_name, size_kb, created, comments, objects, lights, cameras
Характеристичні безлічі не еквівалентні
9.4. Сформована CF-залежність:
(Scene_id;) -> scene_name, size_polys, edit_name, render_name, size_kb, created, comments, objects, lights, cameras
Характеристичні безлічі не еквівалентні
9.5. Сформована CF-залежність:
(Scene_id;) -> scene_name, size_polys, edit_name, author_id, size_kb, created, comments, objects, lights, cameras
Характеристичні безлічі не еквівалентні
9.6. Сформована CF-залежність:
(Scene_id;) -> scene_name, size_polys, edit_name, author_id, render_name, created, comments, objects, lights, cameras
Характеристичні безлічі не еквівалентні
9.7. Сформована CF-залежність:
(Scene_id;) -> scene_name, size_polys, edit_name, author_id, render_name, size_kb, comments, objects, lights, cameras
Характеристичні безлічі не еквівалентні
9.8. Сформована CF-залежність:
(Scene_id;) -> scene_name, size_polys, edit_name, author_id, render_name, size_kb, created, objects, lights, cameras
Характеристичні безлічі не еквівалентні
9.9. Сформована CF-залежність:
(Scene_id;) -> scene_name, size_polys, edit_name, author_id, render_name, size_kb, created, comments, lights, cameras
Характеристичні безлічі не еквівалентні
9.10. Сформована CF-залежність:
(Scene_id;) -> scene_name, size_polys, edit_name, author_id, render_name, size_kb, created, comments, objects, cameras
Характеристичні безлічі не еквівалентні
9.11. Сформована CF-залежність:
(Scene_id;) -> scene_name, size_polys, edit_name, author_id, render_name, size_kb, created, comments, objects, lights
Характеристичні безлічі не еквівалентні
9. Перевірка CF-залежності:
(Scene_id, anim_id;) -> sound, frames, raskadrovka
10.1. Сформована CF-залежність:
(Scene_id, anim_id;) -> frames, raskadrovka
Характеристичні безлічі не еквівалентні
10.2. Сформована CF-залежність:
(Scene_id, anim_id;) -> sound, raskadrovka
Характеристичні безлічі не еквівалентні
10.3. Сформована CF-залежність:
(Scene_id, anim_id;) -> sound, frames
Характеристичні безлічі не еквівалентні
Мінімальна редуцированное кільцеве покриття
C
(Man_name; man_email; man_www;) -> man_country
(Edit_name;) -> supp_formats, man_name, edit_conditions
(Render_name;) -> man_name, ren_conditions, materials
(Plug_name;) -> man_name, plug_conditions, plug_type
(Packname, scene_id;) -> amount, archiver_type
(Author_id; author_email; 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
Природне характеристичне безліч
f (C):
man_name -> man_email
man_email -> man_www
man_www -> man_name
man_www -> man_country
edit_name -> supp_formats, man_name, edit_conditions
render_name -> man_name, ren_conditions, materials
plug_name -> man_name, plug_conditions, plug_type
packname, scene_id -> amount, archiver_type
author_id -> author_email
author_email -> author_www
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

2.6 Логічна модель предметної області

R0 = (man_name, man_email, man_www, man_country) K0 = {man_name, man_email, man_www}
R1 = (edit_name, supp_formats, man_name, edit_conditions) K1 = {edit_name}
R2 = (render_name, man_name, ren_conditions, materials) K2 = {render_name}
R3 = (plug_name, man_name, plug_conditions, plug_type) K3 = {plug_name}
R4 = (packname, scene_id, amount, archiver_type) K4 = {packname, scene_id}
R5 = (author_id, author_email, author_www, author_name) K5 = {author_id, author_email, author_www}
R6 = (scene_id, anim_id, plug_name, type, name_anifile, size_kb_ani) K6 = {scene_id, anim_id, plug_name, type}
R7 = (scene_id, scene_name, size_polys, edit_name, author_id, render_name, size_kb, created, comments, objects, lights, cameras) K7 = {scene_id}
R8 = (scene_id, anim_id, sound, frames, raskadrovka) K8 = {scene_id, anim_id}

2.7 Уточнена концептуальна модель

3 ПОБУДОВА ЗАПИТІВ
1. Вибрати всі сцени, створені 20.03.05
SELECT scene_id FROM 3dscene WHERE (created = "20.03.05")

Pr (scene_id)

Sel (created = "20.03.05")

3dscene