1.7 Операції над типами об'єктів

Дозволяють отримувати з існуючих типів нові типи.

1. Можуть бути задані операції об'єднання (₁₂), перетину (₁₂), розбиття і ін.

Якщо {_i INS  i=1,..., k }, то тип _i складається з тих і лише об'єктів, які можуть бути елементами об'єктів типу .

Якщо {(_i SUP ) i=1,..., k}, то рівність =_i означає, що список підтипів _i є вичерпним для об'єктів типу .

Наприклад,

1) об'єкт = людина  приміщення  устаткування

2) людинаприміщення = людинаобладнання=приміщення обладнання = 0

2. Операція розбиття типів об'єктів на класи еквівалентних об'єктів.

(людина, стать людини, стать)

 n₁ ₁

cтать = {чоловіча, жіноча}

₂ = чоловіча

₃ = жіноча

Типи ₂ і ₃ є результатом розбиття типу людина за типом стать (/₁)

 Знання іноземної мови
n1 хто знає	n2 предмет знання
1 людина	2 іноземна мова

Рисунок 1.16

Нові об'єкти – групи людей, що знають деяку мову визначаються в результаті розбиття ₁/(₂,)

1.8 Представлення знань про стосунки між типами

ER – моделі

1. Суть (типи об'єктів)

2. Зв'язки (типи стосунків)

3. Властивості суті і зв'язків (атрибут (характеристики, ролі))

1) Е₁, Е₂ ..., Е_n

2) R₁, R₂, ..., R_n

Рисунок 1.17

3. Властивості (атрибути)

E_i, R_i – відповідні галузі знань

^{– ім'я галузі знань}

На дузі підписуються відповідні властивості.

Рисунок 1.18

Рисунок 1.19

Рисунок 1.20

Рисунок 1.21

Рисунок 1.22

Часто у вигляді зв'язку виступає пряме доповнення.

У вигляді властивостей зазвичай представляються час і місце ситуації.

Рисунок 1.23

Часто властивості вводяться за допомогою слова "мати"

Рисунок 1.24

Рисунок 1.25

"Учбовий процес" - є і суттю і зв'язком.

Рисунок 1.26

Частина пропозиції, яка є додатковою, розглядається як суть більш високого рівня абстракції.

Концептуальна схема дозволяє представити різні ієрархічні зв'язки між об'єктами. Класичний приклад - класифікація тварин. (рис. 1.27)

Рисунок 1.27. Ієрархічна таксономічна структура

Таксон - група дискретних об'єктів, зв'язаних деякою мірою спільності властивостей. Набор властивостей має бути необхідним і достатнім для того, щоб таксон займав єдине місце в структурі і не перетинався з іншими таксонами.

При декларації таксона указується вказує таксон верхнього рівня і властивості, які відрізняють даний таксон від інших таксонів .

Таксономічні категорії - {тип - підтип - клас - загін - рід - вид}

Зазвичай з типом об'єкту нижнього рівня зв'язують конкретні факти.

Властивості, характерні для деякого типу об'єкту, успадковуються всіма типами об'єкту нижнього рівня. У ІС можуть бути описані тільки один раз.

2 Приклад представлення моделі даних Розглянемо для прикладу предметну область "Контингент студентів університету"

Первинний етап - створення текстового опису модельованої системи.

Постановка завдання. Головне завдання системи - збереження в інформаційнійсистемі всіх необхідних відомостей про студентів і їх успішність, формування необхідних форм для проведення залікової і екзаменаційної роботи викладачів, генерація звідних підсумків за наслідками сесії для керівних працівників деканатів, інститутів і університету. При розробці системи слід враховувати, що вона взаємодіє з системами "Абітурієнт", "Стипендія" і "Кадри університету". Інформація про студентів спочатку поступає з системи "Абітурієнт" і редагується на рівні деканатів. Вона повинна також задовольняти вимогам бухгалтерського обліку по нарахуванню стипендій. Система повинна використовувати довідник спеціальностей, затверджений у вищестоящому міністерстві. Інформація про успішність студентів накопичується постійно і зберігається за весь період навчання, після чого переноситься в архівне сховище даних. У системі повинен використовуватися єдиний довідник дисциплін (предметів) для всіх підрозділів університету.

На концептуальному рівні дані інформаційної системи складаються з двох основних сутностей: "Студент" і "Успішність".

Мінімальний склад атрибутів і їх опис для суті "Студент" представлені в табл. 2.1.

Таблиця 2.1. Атрибути суті "Студент"

Ім'я атрибуту	Опис, особливості використання
Номер залікової книжки	унікальний номер, що однозначно ідентифікує студента університету
Прізвище, ім'я, по батькові	Є простим з погляду екземпляра суті, при необхідності із загального поля можна виділити складові його прізвище, ім'я і по батькові або прізвище і ініціали, проте на практиці часто цей атрибут розділяють на 3 окремих
Дата вступу до університету	У нашій країні найчастіше використовується формат роботи з датою у вигляді Дд.Мм.Рр, що збігається з німецьким (German) форматом дат. Кількість цифр року: або дві - для нових систем, що підтримують заданий в Microsoft Windows річний інтервал (Панель управління - Мова і стандарти - Дата - "При введенні двох цифр року сприймати їх як рік"), або для систем, в яких аналогічний інтервал може бути заданий в програмі, - або 4 цифри
Факультет (№ факультету)	Може бути складним (окрім коди і назви, може містити і інші відомості); навіть в тому випадку, якщо для суті "Студент" ми хочемо зберігати назву факультету, воно має бути представлене в однаковому вигляді для кожного факультету, тому цей атрибут слід представити у вигляді номера
Спеціальність(код спеціальності)	Може бути складним, крім того, необхідно використовувати довідник міністерства із затвердженими кодами спеціальностей, тому даний атрибут повинен зберігати код спеціальності.
Курс	Число від 1 до 5
Номер групи	Тризначне число
Номер паспорта	Склад і вид паспортних даних визначається вимогами бухгалтерської звітності перед податковими органами, фондами соціального страхування і пенсійним фондом
...	Інші атрибути, яких може бути досить багато

У таблиці. 2.2-2.5 представлені атрибути суті "Успішність", "Факультет", "Спеціальність", "Предмет".

Таблиця 2.2. Атрибути суті "Успішність"

Ім'я атрибуту	Опис, особливості використання
Номер залікової книжки	Зв’язок із сутністю «Студент»
Номер семестру	Число від 1 до 10
Предмет (№ предмету)	Може бути складним, його слід замінити на його номер і пов'язати з новою суттю "Предмет", що складається, як мінімум, з атрибутів "номер предмету" (первинний ключ) і "назва предмету"
Оцінка	Може бути представлена цифрами від 0 до 5
Дата отримання оцінки	Формат дати, як правило, Дд.Мм.Рр
Прізвище викладача	Це поле може бути пов'язане з суттю "Викладач". У даному учбовому прикладі обмежимося простим атрибутом
...	Можуть бути додані і інші атрибути, наприклад, номер екзаменаційної відомості

Таблиця 2.3. Атрибути суті "Факультет"

Ім'я атрибуту	Опис, особливості використання
Номер факультету
Назва факультету	Може бути досить довгим, але не більше 255 символів
...	Можуть бути додані і інші атрибути, наприклад, декан, номер кімнати деканату і так далі

Таблица 2.4. Атрибути суті "Спеціальність"

Ім'я атрибуту	Опис, особливості використання
Код спеціальності	значення з довідника міністерства
Назва спеціальності	Значення з довідника міністерства
...	Можуть бути додані і інші атрибути

Таблиця 2.5. Атрибути суті "Предмет"

Ім'я атрибуту	Опис, особливості використання
№ предмету
Назва предмету	Загальний довідник університету
...	Можуть бути додані і інші атрибути

На основі текстових описів можна сформувати наступні залежності (рис.2.1, 2.1).

Рисунок 2.1

Рисунок 2.2

На основі створених схем необхідно створити інфрмаційно-пошукову систему засобами логічного програмування.