close

Вход

Забыли?

вход по аккаунту

?

Реляционные модели

код для вставкиСкачать
Реляционные модели
§
34, 35 (ɫɬɪ. 164, №5, ɫɬɪ. 166, №) Номер
объекта
Имя параметра_1
Имя параметра_К
Объект_1
Значение параметра_1 для
?(? ?;???!?/???z?í
Значение параметра_
K
для
?(? ?;???!?/???z?í
Объект_2
Значение параметра_1 для
объекта_2
Значение параметра_
K
для
объекта_2
....
Объект_
N
Значение параметра_1 для
объекта_
N
Значение параметра_
K
для
?(? ?;???!?/???z
N
Удобно представлять объекты систем искусственного интеллекта в виде таблицы...
Представим деятельность междугородной АТС...
Номер
Город
Дата
Продолжительность
111
-
22
-
23
Москва
01.01.02
7
111
-
22
-
33
Париж
02.01.02
9
122
-
33
-
44
Женева
01.01.02
20
122
-
33
-
44
Цюрих
02.01.02
17
122
-
33
-
44
Москва
02.01.02
7
123
-
34
-
45
Париж
01.01.02
11
...
...
...
...
Информация о предоставленных услугах связи
Табл. №1
Номер
Владелец
Адрес
111
-
22
-
33
Иванов
Невский, 17
122
-
33
-
44
Петров
Фонтанка, 4
123
-
34
-
45
Сидоров
Лиговский, 7
...
...
...
Информация о владельцах телефонов
Дата
Город
01.01.02
Женева
02.01.02
Цюрих
02.01.02
Москва
03.01.02
Берлин
Разговоры Петрова
Табл. №2
Табл. №1
Из
Номер Петрова
Из
Город, Дата
Параметр Владелец
Параметр Номер
Табл. №2
Совокупность таблиц, в которых для рассматриваемой совокупности объектов приведены значения параметров, описывающих эти объекты называется реляционной моделью
данной системы объектов.
Идея реляционной модели –
Е. Ф. Кодд, конец 70
-
х годов XX
века.
relation
-
отношение
Примеры отношений
•
Дрозд –
это птица;
•
Петр –
отец Павла;
•
Васе нравится Аня;
•
Прямые a, b, с пересекаются в одной точке;
•
Маша взяла у Алеши сказки «1000 и одна ночь»
Объект x –
это отец объекта y
Объект x взял у объекта y
объект z
Быть_отцом
(
x, y)
Взять_
(
x, y, z)
•
То, что перед скобками –
имя отношения
•
В скобках –
аргументы отношения
•
Количество аргументов -
арность
Быть_отцом
(
отец
: x,
ребенок
:
y)
Взять_
(
кто_взял
: x, у_кого_взял
: y, что_взял
: z)
Имя аргумента -
атрибут
Отношения удобно задавать в виде таблиц...
Мама
Папа
Ребенок
Ева
Адам
Авель
Ева
Адам
Каин
...
...
...
Начальник
Подчиненный
Иванов
Петров
Иванов
Сидоров
...
...
Адрес
Содержимое
1
1001
2
10101
...
...
Функциональные отношения
Отношение называется функциональным
, если его атрибуты можно разбить на две группы так, чтобы значения одной группы атрибутов однозначно определяли значения другой группы.
•
Первая группа
–
аргументы функции;
•
Вторая группа –
значения функции.
Если отношение функционально, то набор атрибутов, относящихся к аргументу функции, задаваемому этим отношением называется ключевым.
Номер
Владелец
Адрес
111
-
22
-
33
Иванов
Невский, 17
122
-
33
-
44
Петров
Фонтанка, 4
123
-
34
-
45
Сидоров
Лиговский, 7
123
-
35
-
47
Алексеев
Лиговский, 7
...
...
...
Набор атрибутов ключевой, если в таблице нет двух строк с одинаковым набором значений
этих атрибутов
Логической функцией
или предикатом
на множестве М
будем называть такую функцию от нескольких аргументов, которая при любом наборе значений этих аргументов из множества М
принимает только одно из двух значений Истина
или Ложь.
P(x
1
, x
2
, … , x
n
)
«Сумма x, y равна
z
»
«
Существует x
, для которого сумма
x, y равна
z
»
y
z
Значение функции
Комментарий
1
2
Истина
Подходит x = 1
2
2
Ложь
Не существует подходящего x
3
5
Истина
Подходит x = 2
5
3
Ложь
Не существует подходящего x
«
Для любого y выполняется неравенство
x
+
y >
z
»
x
z
Значение функции
?¶?(?%?%???&?/???,????
1
1
Истина
При любом y верно y
+1
>1
1
2
Ложь
Не подходит y
= 1
3
5
Ложь
Не подходит, например y
= 2
5
3
Истина
При любом y
верно 5+
y>3
Автор
zukovaivik
Документ
Категория
Презентации
Просмотров
27
Размер файла
74 Кб
Теги
модель, реляционная
1/--страниц
Пожаловаться на содержимое документа