Оглавление (стр. 1 )

Оглавление

1. БД. Основные понятия. Жизненный цикл БД. Основные требования. 3

2. Основные характеристики и компоненты СУБД.. 4

3. Модели данных. Классификации. 5

4. Инфологическое моелирование. 6

5. Иерархическая МД.. 7

6. Сетевая модель данных. 8

7. Реляционная модель данных. 9

8. Правила преобразования ER модели в РМД.. 10

9. Правила вывода функциональных зависимостей. 11

10. Реляционная алгебра. 12

11. Реляционное исчисление. 13

12. Избыточная ФЗ. 14

13. Нормальные формы схем отношений. 1НФ.. 15

14. 2НФ.. 16

15. 3НФ.. 17

16. Усиленная 3НФ – Бойса-Кодда (НФБК) 18

17. 4НФ, 5НФ.. 19

18. Метод Табло. 20

19. Многозначная зависимость Обобщенный алгоритм декомпозиции. 21

20. Команды запросов языка SQL. Основные категории. 22

21. Формирование запросов. Типы связывания. 23

22. Формирование многотабличных запросов из БД. Псевдонимы. 24

23. Индексы.. 25

24. Использование подзапросов. 27

25. Презентационная логика. Бизнес логика. 28

26. Постреляционная модель данных. 29

27. Модель удалённого управления данными. 30

28. Модель удалённого доступа к данным. 30

29. Модель активного сервера. 30

30. Модель сервер-приложение (Application Server) 31

31. Модели транзакций. 32

32. Многомерные модели данных. 34

33. Файловые структуры, используемые для хранения в БД.. 35

34. Файлы с плотным, неплотным индексом. Индексы в В-дереве. 36

35. Инвертированные списки. 37

36. Распределенная обработка данных. 38

37. Основные компоненты системы управления БД. 39

38. Методы защиты информации. 40

39. Три уровня представления данных в ИС.. 41

1.  БД. Основные понятия. Жизненный цикл БД. Основные требования.

БД – совокупность спец. образом организованных данных, хранимых в памяти ВС, и отражающих состояние объектов и их взаимосвязей.

Системы управления БД - комплекс языковых и программных средств, предназначенных для создания, введения и совместного использования БД многими пользователями.

С помощью СУБД можно определить структуру БД, структуру её данных, задавать ограничения для хранимых данных, манипулировать данными, предоставлять контролируемый доступ к инф-ии БД, осуществлять поддержку и обеспечение безопасности данных, обеспечивать целостность данных, управлять многопользовательским режимом работы, восстанавливать инф-ию, потерянную в результате различных программных и аппаратных сбоев.

Жизненный цикл БД.

1.  Планирование разработки БД

2.  Определение требований к системе

3.  Сбор и анализ требований пользователей

4.  Проектирование БД

·  Концептуальное проектирование

·  Логическое

·  Физическое

5.  Разработка приложений

·  Проектирование транзакций

·  Проектир-е пользовательского интерфейса

6.  Реализация

7.  Загрузка данных

8.  Тестирование

9.  Эксплуатация и сопровождение

·  Анализ и поддержка исходного варианта

·  Анализ и поддержка преобразованного варианта

Основные требования к БД:

1.  Установление многосторонних связей.

2.  Производительность.

3.  Минимальные затраты.

4.  Минимальная избыточность.

5.  Возможности поиска.

6.  Целостность.

7.  Безопасность и секретность

Безопасность БД – защита данных от случайного или преднамеренного доступа к ним лиц, не имеющих на это право, от неавторизированной модификации данных или их уничтожения.

Секретность – право отдельных лиц или организаций определять когда как и какое кол-во соответствующей информации может быть передано др. лицом или организацией.

С (.) зрения обеспечения безопасности необходимо:

1.  Защита данных от искажения, хищения и др. форм уничтожения

2.  Данные должны быть всегда восстанавливаемы

3.  Система должна быть недоступна дя вмешательства в неё

4.  Обеспечение возможности контроля данных

5.  Должна быть установлена процедура идентификации пользователя БД

6.  В системе должны быть предусмотрены контроль действий пользователя по обработке данных

7.  Контроль должен осуществляться т. о., чтобы его ошибочные действия были с большой вероятностью обнаружены

2.  Основные характеристики и компоненты СУБД

Осн. Характеристики СУБД, устанавливаемые на ПК:

1.  Поддержка реляционной модели данных

2.  Организация на создание БД в монопольном режиме работы

3.  Удобный интерфейс

4.  Возмодность разработки готовых приложений без программирования

5.  Сравнительно невысокие требования к техническим параметрам аппаратного обеспечения

6.  Практическое отсутствие администрирования БД

7.  Поддержка как высоко - так и низкоуровневых языков манипулирования данными

8.  Отсутствие средств поддержки в ссылочной и структурной целостности БД

2 источника:

Пользователи/приложения (запросы, команды транзакций) Администратор БД (Команды DDL, компилятор DDL)

Процессор транзакций – протоколирование, управление параллельными заданиями, разрешение взаимоблокировок.

Компоненты: компилятор, исполняющая машина. Задача управления размещением информации на диске и обмена ею между диском и ОП решается менеджером хранения данных. Менеджер буфера является ответственным за разбиение доступной ОП на буферные участки страницы, куда может быть помещено содержание дисковых блоков.

3.  Модели данных. Классификации.

Данные – набор каких – либо конкретных значений

Модель данных – нек. абстракция, кот. будучи приложима к конкретным данным позволяет пользователям и разработчикам трактовать их уж как информацию, т. е. сведения, содержащие не только данные, но и взаимосвязь м/у ними.

Информационные модели данных(ИМД), принцип описания:

Принцип описания: ИМД опр-ся (.) зрения пользователей и в его терминалах.

Св-во описания: сущности, атрибуты, связи.

Результат моделирования: исходные данные для определения внеш. схемы БД ИС

Классификация МД:

1.  Инфологические модели

Отражают информационно-логический уровень абстракт, используются на ранних стадиях проекир. Модель Чека «сущность-связь» (ER-модель) (1976 г.) является стандартом при инфологическом моделировании БД. (ER – Entity Relation)

1.1.  Диаграммы Бахмана

1.2.  Модель-сущность-связь

2.  Датологические

2.1.  Документальные модели

2.1.1.  Ориентированные на формат документа

2.1.2.  Дескрипторные

2.1.3.  Тезауросные

2.2.  Фактографические

2.2.1.  Объектно-ориентированные

2.2.2.  Теоретико-графовые

2.2.2.1.  Иерархическая МД

Харатер связей – полужесткие, достаточно трудно вводить изменения

2.2.2.2.  Сетевая МД

Характер связей – жесткий, изменение связей ведет к реорганизации структуры, число связей ограничено

2.2.3.  Теоретико-множественне

2.2.3.1.  Реляционная

Изменчивые связи, таблицы независимы, просты в расширении

2.2.3.2.  МД Бинарных операций

3.  Физические

Все модели теоретически эквивалентны

Объект, соответствующий понятию сущность имеет набор атрибутов (НА), кот. для различения конкретных экземпляров сущности.

Ключевой НА – НА, однозначно идентифицирующий конкретный экземпляр сущности.

Сотрудник	-сущность
Табельный номер	-ключевой атрибут
Фио	-атрибуты
Дата рождения

Связи – устанавливаются м/у сущностями, взаимод-ют м/у собой.

Обязательная связь – если в ней должен участвовать каждый экземпляр сущности

Необязательная – не каждый экземпляр.

М/у 2мя сущностями может быть задано сколько угодно связей с разными смысловыми нагрузками.

4.  Инфологическое моелирование

Модель Чека «сущность-связь» (Entity-RelationShip ER), (1976 г.) является стандартом при инфологическом моделировании БД. (ER – Entity Relation)

Объект, соответствующий понятию сущность имеет набор атрибутов (НА), кот. для различения конкретных экземпляров сущности.

Ключевой НА – НА, однозначно идентифицирующий конкретный экземпляр сущности.

Сотрудник	-сущность
Табельный номер	-ключевой атрибут
Фио	-атрибуты
Дата рождения

Связи – устанавливаются м/у сущностями, взаимод-ют м/у собой.

Обязательная связь – если в ней должен участвовать каждый экземпляр сущности

Необязательная – не каждый экземпляр.

Бинарные ассоциации – связи М/у сущностями – бинарные ассоциации, показывающие, каким образом сущности соотносятся или взаимодействуют.

Связи могут быть как м/у двумя сущностями, так и между сущностью и ей же самой. Обязательная связь – в кот. участвует каждый экземпляр

Необязательность связи обозначается . Обязательная связь обозначается .

Между двумя сущ. может быть много связей с разными смысл. нагрузками.

В ER модели можно использовать принцип категоризации сущности, то есть наследовать сущности друг от друга (как в ООП). Сущность-родитель, от которой строятся подтипы, называется супертипом.

Для построения модели ER проводится системный анализ.

Для библиотеки это будет книги-экземпляры-читатели.

5.  Иерархическая МД

Иерархическая МД – основные информационные единицы МД – сегмент и поле.

Поле данных - мин. и независимая единица данных, доступная пользователю с помощью СУБД.

Сегмент (DBTS) - называется записью

Тип сегмента – поименованная совокупность типов элементов данных.

Экземпляр сегмента образуется из конкретных значений полей или элементов данных.

Каждый тип сегмента в рамках иерархической модели образует некоторый набор однородных записей. Каждый тип сегмента может иметь ключ.

Сегменты объединяются в древовидный орграф.

Направление ребра графа отображает иерархические связи м/у сегментами.

Каждому экземпляру сегмента, стоящему выше по иерархии, соответствует несколько экзмепляров подчиненного типа сегмента.

Тип сегмента, находящегося на более высоком уровне иерархии наз-ся лог. исходным (сегмент предок) по отношению к типам сегмента под ним.(лог. подчиненным или сегмент потомок).

Схема иерархической БД представляет собой совокупность отдельных деревьев. Каждое дерево в рамках модели называется физической БД и удовлетворяет следующим ограничениям:

1.  Существует 1 корневой сегмент

2.  Каждый лог. исх. сегмент м. б. связан с любым числом подчиненных.

3.  Каждый логически подчиненный сегмент м. б. связан только с одним логически исходным.

Физич. Запись - Набор всех экземпляров сегментов, подчиненных одному экземпляру корневого сегмента.

Близнецы – потомки одного типа, связанные с одним экземпляром сегмента – предка

Физ. записи в иерархической модели различают по длине и структуре.

Для организации физического размещения используются следующие методы:

1. Представление линейным списком с последовательным распределением памяти

2. представление связанными линейными списками

Основное правило контроля целостности: потомок не может существовать без родителя, а у некоторых родителей не может быть потомка.

Механизмы поддержания целостности между отдельными деревьями отсутствуют.

(+) 1. Эффективное использование памяти ЭВМ

2. Высокие показатели времени выполнения основных операций над данными

3. Удобно для работы с иерархически упорядоченными данными

Громоздко для обработки информации с достаточно сложными иерархическими связями.

6.  Сетевая модель данных

Базовые объекты модели: элемент данных, агрегат данных, запись, набор данных.

Элемент данных – это min информационная единица, доступная пользователю. аналог поля.

Агрегат данных – совокупность элементов данных, имеющих общее имя, которые могут рассматриваться как единое целое. В модели определены агрегаты двух типов: вектор и повторяющаяся группа.

Вектор – линейный набор элементов данных. Пример (Адрес: дом улица кварт. город)

Группа – совокупность векторов повторяющаяся группа соответствует совокупности векторов данных.

Запись данных – совокупность агрегатов или элементов данных моделирующая некоторый класс объектов реального мира. Аналог сегмента или кортежа.

Набор – 2х уровневый граф, связывающий 2 типа записей видом 1:M. Набор отражает иерархическую связь между двумя типами записи.

Родительский тип записи – владелец набора.

Дочерний – член набора.

Для любых 2-х типов записи м. б. задано любое количество наборов, которое их связывает. В рамках набора возможен последовательный просмотр экземпляров членов набора, связанных с одним экземпляром владельца набора.

Среди всех наборов определяется сингулярный набор, владелец которого – вся система. Обозначается входящей стрелкой. Он имеет имя набора и имя члена набора, но не определён тип записи: владелец набора. Сингулярные наборы позволяют обеспечить доступ к экземплярам отдельных типов данных.

В общем случае сетевая БД представляет совокупность взаимосвязанных наборов. Язык описания данных в сетевой модели содержит описание БД, описание записи, описание набора. Операции манипулирования данными делятся на навигационные и операции модификации.

(+)Высокие возможности по созданию сложных иерархических структур

Возможность эффективной реализации по затратам памяти и оперативности

(-) Высокая сложность и жесткость схемы БД

Сложность для понимания и обработки информации в БД

Ослаблен контроль целостности

7.  Реляционная модель данных

Объекты - элементы, информацию о которых сохраняем

Набор объектов - совокупность однородных объектов называется.

Атрибуты - Свойства, характеризующие объект.

Схема - Описание логической структуры базы даннях. Представляет собой таблицу типов используемых даннях, содержит имена объектов и их атрибуты и указывает на существующую между ними связь.

Экземпляр схемы – схема, содержащая значения элементов данных

Запись - структура, в которую можно помещать конкретные значения данных.

Экземпляр записи - запись с конкретным значением данных.

Термин схема используется для определения полной таблицы всех типов элементов данных и типов записей, хранимых в базе данных. Термином подсхема определяют описание данных, которое использует прикладной программист. На основе одной схемы можно составить много различных подсхем.

В основе реляционной модель данных РМД лежит математическая теория отношений.

Для представления данных математическое отношение используется двояко:

1.  Для представления набора объектов,

2.  Для представления связей между наборами объектов.

Для представления набора объектов атрибуты интерпретируются столбцами отношения. Множество допустимых значений атрибута интерпретируется соответствующим доменом. Каждый кортеж отношения выполняет роль описания отдельного объекта из набора. Само отношение выполняет роль описания всего набора объектов.

Массив данных, представленный набором реляционных структур, образует реляционную БД. Схема РБД(реляционная база данных) будет представлена набором схем отношений:

R1(А11, А21,..., Ак1);

R2(А12, А22,..., Аl2);

Rm(А1m, А2m,..., Аnm);

где Аij - имя атрибута, R j - имя отношения.

Одним из основных типов зависимостей, рассматриваемых в РБД, являются функциональные зависимости.

Элементы реляционной модели	Форма представления
Отношение	Таблица
Схема отношения	Заголовок таблицы
Кортеж	Строка таблицы
Сущность	Свойства объекта
Атрибут	Заголовок столбца
Домен	Множество допустимых значений атрибута
Значение атрибута	Значение поля записи
Первичный ключ	Один или несколько атрибутов
Тип данных	Тип значений элементов таблицы

8.  Правила преобразования ER модели в РМД

1.  Каждой сущности ставится в соответствие отношения РМД, при этом имена сущностей могут быть разными. Ограничения: уникальность имени в рамках модели.

2.  Каждый атрибут сущности становится атрибутом соотв. Отношения

3.  Первичный ключ сущности становится первичным ключом отношения

4.  В каждое отношение, соотв. Подчиненной сущности добавляется набор атрибутов основной сущности, который является первичным ключом

5.  Для моделирования необязательного типа связи по атрибутам, соотв. внешнему ключу, устанавливается св-во допустимости неопределенных значений.

6.  Для отображения категоризации сущности при переходе к РМД можно создать только одно отношение для всех подтипов одного супертипа. В него включают все все атрибуты всех подтипов. Достоинства: создается всего одно отношение

7.  Для каждого подтипа и для каждого супертипа создаются свои отдельные отношения. Недостаток: создается новое отношение. Достоинство: можно работать только со значимыми атрибутами подтипа

9.  Правила вывода функциональных зависимостей

Функциональные зависимости ФЗ – основной тип зависимостей в РБД

Пусть А и В атрибуты отношения R.

Атрибут В отношения R функционально зависит от атрибута А, если в каждый момент времени каждому значению а соответствует не более одного значения b. ФЗ f атрибута В от атрибута А обозначают : f : А ® В. Эту зависимость f можно также представить множеством упорядоченных пар {< а, b>/ а Î А, b Î В }, в которых каждому значению а соответствует только одно значение b. При этом говорят, что В функционально зависит ( или просто зависти ) от А, а А функционально определяет ( или просто определяет) В.

Если существует единственная функциональная зависимость В от А, то её обозначают просто А ® В. В случае отсутствия между ними функциональной зависимости вводят обозначение А ¹ В. Если А ® В и одновременно В ® А, то между А и В существует взаимно однозначное соответствие, что записывается как А « В.

Пусть имеется множество атрибутов А1, А2,...,Аn отношения R, а также множество F Ф. З. Х ® Y, где Х и Y - подмножества атрибутов множества А1, А2,...,Аn. Тогда из Ф. З. (функциональные зависимости), входящих в F, могут быть выведены другие Ф. З., присущие отношению R.

Обозначим через F+ замыкание множества ФЗ F, т. е. полное множество зависимостей, которое можно получить из F.

Правило вывода ФЗ :

1.  Аксиома рефлексивности. if Х £ U, Y £ U и Y £ Х, то имеет место Ф. З. Х ® Y.

2.  Аксиома пополнения. if Х£U, Y£U и Z£U и Х®U, то имеет место Ф. З. X È Z®Y ÈZ.

В отличии от правила ФЗ 1 данное говорит о том, что для его применения несу щественно выполнение условий Y £ Х. Т. е. любые атрибуты из множества U можно одновременно подставлять в левую и правую части выражения Ф. З. F.

Например, имеется универсальное отношение U(A1, A2, A3, A4, A5) и заданы наборы атрибутов X={A1, A3}, Y={A2, A4}, Z={A5}, тогда из условия, что существует Ф. З. Х ® Y : {A1, A3}® {A2, A4}, следует, что имеет место зависимость:

{A1, A3, А5}® {A2, A4, А5}

3.  Аксиома транзитивности. Если Х£U, Y£U, Z£U и Х®Y, Y®Z, то Х®Z. Например, имеются подмножества атрибутов X={A1, A3}, Y={A2, A4}, Z={A5}. Тогда из условия существования зависимостей {A1, A3}® {A2, A4}, {A2, A4}® {A5} следует, что имеет место зависимость {A1, A3}® {A5}.

4.  Свойство расшрения. Если Х£U, Y£U и Х®Y, то для любого Z£U имеет место ФЗ XÈZ®Y.

5.  Совойство продолжения. Если Х£U, Y£U, W£U, Z£U и Х ® Y, то для любых W£Z имеет место ФЗ X ÈZ®YÈW.

6.  Свойство псевдотранзитивности. Если Х£U, Y£U, W£U, Z£U и заданы Ф. З. Х ® Y, Y ÈW® Z, то имеет место Ф. З. X ÈW ® Z.

7.  Свойство аддитивности. Если Х£U, Y£U, Z£U, и заданы Ф. З. Х®Y, Х®Z, то имеет место Ф. З. X®YÈZ.

8.  Свойство декомпозиции. Если Х£U, Y£U, Z£U и при этом Z£Y и заданы Ф. З. Х®Y, то имеет место Ф. З. Х®Z.

10.  Реляционная алгебра

В ней определяются основные операции над данными реляционного типа. Все операции можно разделить на традиционные над множествами и специализированные, вводимые для удобства поиска в БД.

Традиционные: объединения, пересечения, разность, декартово произведение. Специализированные: проекция, ограничение, соединение, деление.

Объединение. В результате применения этой операции получается отношение. объединяющее кортежи, содержащиеся в исходных отношениях.

Пусть имеем два исходных отношения R1 и R2 . Операция объединения этих отношений обозначается R1 È R2:

R1 È R2 = { r / r Î R1 или r Î R2 }.

Объединяемые отношения должны иметь одинаковые атрибуты (должны быть объединимы)

Пересечение. В данной операции получают отношение, включающее кортежи, общие для R1 и R2:

R1 Ç R2 = { r / r Î R1 и r Î R2 }.

Разность: В результате применения этой операции (R1 \ R2 ) получается отношение, содержащее кортежи, являющиеся кортежами отношения R1 и не являющиеся кортежами отношения R2:

R1 \ R2 = { r / r Î R1 и r Ï R2 }.

Декартово ( прямое ) произведение. В этой операции ( R1 х R2 ) из m - местного отношения R1 и n - местного отношения R2 получают ( m + n ) - местное отношение. Причём первые m элементов представляют кортежи из отношения R1 , последние n элементов - кортежи из отношения R2:

R1 х R2 = {< r1, r2 > / r Ï R1 и r Ï R2 }.

Проекция: Операция проекции предназначена для изменения числа столбцов в отношении, т. е. в том случае, когда из строк - кортежей требуется исключить какие-либо атрибуты. Обозначим через j1, j2,..., jn - номера столбцов n - местного отношения R. Операцию определения проекции отношения R обозначим через p j1, j2,..., jn ( R ), а сама операция заключается в том, что из отношения R выбираются столбцы и компонуются в указанном порядке j1, j2,..., jn.

Ограничение. Ограничением называют такую операцию, в которой отношение исследуют по строкам и выделяют множество строк, удовлетворяющим заданным условиям.

Соединение. Операция соединения обратна операции проекции. Рассмотрим два отношения R1 (А, В) и R2 (В, С). Соединением отношений R1 и R2 (R1 ¥ R2 ) называют операцию, при которой соединяют два отношения, используя в качестве признака общий атрибут В:

R1 ¥ R2 = { <A, B,C> / <A, B> Î R1 и <B, C> Î R2 }.

Отношение R1 ¥ R2 является отношением с атрибутами <A, B,C>.

Деление. Рассмотрим деление m - местного отношения R1 на n - местное отношение R2. Пусть из общего количества m атрибутов отношения R1 выделим несколько атрибутов: A, B,...,F и из них составляем список, обозначив его через M. Набор значений атрибутов из М столбцов можно рассмотреть как проекцию отношения R на список атрибутов М, то есть pМ (R1). Тогда через М будут обозначаться атрибуты дополнительные к М, то есть атрибуты отношения R1, не вошедшие в список М, и соответственно значения атрибутов из списка М определяются pМ (R1).

Операцию деления можно определить так:

R1 [M ¸N] R2 = pМ (R1) \ pМ ((pМ (R1) ´ pN (R2)) \ R1 },

где pМ - это проекция отношения на атрибуты списка М.

11.  Реляционное исчисление.

Суть: желаемый результат не заданием набора операций над отношениями, а путем описания требований, которым должно удовлетворять результирующее отношение. Язык, основанный на этом – SQL.

В реляционном исчислении можно записывать любое отношение в виде некоторой формулы, либо формального выражения. Формулы, помимо операций =, |=, >, <, >=, <=, включают дополнительные операции: вкантор общности, существования, конъюнкция, дизъюнкция, отрицание. Выражение может иметь вид: {r | ψ(r)}, где r – кортеж, ψ(r) – формула.

Пример: {r | R1(r) ۷ R2(r)}.

Формулы в реляционном отношении строятся из атомов и совокупности операторов. В РМ атомы и формулы бывают 3х типов:

R(t) – R-имя отношения. Этот атом означает, что t – кортеж отношения R. S[i]θU[j] – S, U – переменные кортежи, θ – оператор сравнения вида =, >, <, >=, <=

i, j – номера, имена интересующих столбцов в соответствующих кортежах.

S[i] – обозначение i переменной кортежа S.

S[i] θa – a – константа.

При записи выражений используется понятие свободных или связных переменных. Вхождение переменной х в формулу ψ(х) связано, если если в ψ она находится в части формулы, начинающейся на кванторы, за которыми следует х. Говорят, что квантор связывает переменную х. Пример: в R1 свободна, R2 связано.

Понятие свободной переменной, аналогично понятию глобальной, описанной вне текущей процедуры. Связная – локальная переменная.

Реляционное исчисление с переменными на доменах строятся так же, как с переменными на кортежах, с использованием тех же операторов.

Атомами формул могут быть R(х1,х2,…,хк), где хi – конст, переменная на некотором домене. Атом R(х1,х2,…,хк) указывает, что значение тех xi, которые являются переменными, должны быть выбраны так, чтобы х1,х2,…,хк было кортежем отношения R. xθy – константы, переменные на домене, θ –оператор сравнения. Смысл xθy, чтох, у представляют собой значения, при которых истинно выражение xθy.

{( х1,х2,…,хк)| ψ (х1,х2,…,хк)}

Ψ – формула, обладающая свойством, что ее свободные переменные на доменах являются различными переменными х1,х2,…,хк.

Для каждого выражения реляционного исчисления существует выражение в реляционной алгебре. Для каждого выражения – с переменным на доменах. Строится:

Если t - кортеж размерности к, то вводится к новых переменных надоменах t1….tк. R(t) – атомы заменяются на k(t1….tк). Каждое свободное вхождение t[i] заменяется на ti. Для каждого квантора вводится m новых переменных на доменах. U1….Um,

m – размерность кортежа U.

В области действия этих кванторов выполняются замены:

,

,

,

{( t1….tк)| ψ' (t1….tк)}, ψ' – формула ψ с заменами.

Пример:

Язык запросов реляционного исчисления с переменными на доменах – QBE (Query by example). Пример реализации р. и. с перпеменными на кортежах – QUEL (Query Language). Реляционная алгебра – ISBL(Inf. System base lang). Все языки эквивалентны между собой, не процедурные. Их средствами можно выразить что необходимо и необязательно указывать как это получить(свойства результата). Выражения реляционной алгебры указывают конкретный порядок выполнения.

12.  Избыточная ФЗ

Избыточная ФЗ - зависимость, не заключающая в себе такой информации, кот. могла бы быть получена на основе др. зависимостей из числа используемых при проектировании БД.

Поскольку избыточная функциональная зависимость не содержит уникальной информации, она может быть удалена без урона для БД.

Избыточные функциональные зависимости удаляются на начальном этапе проектирования, до применения элемента декомпозиции. Набор не избыточных функциональных зависимостей может быть получен с помощью 6-ти правил, называемых минимальным покрытием.