База данных

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

• var.attr, где var - имя свободной переменной соответствующей WFF, а attr - имя атрибута отношения, на котором определена переменная var;
• var, что эквивалентно наличию подсписка var.attr1, var.attr2, ..., var.attrn, где attr1, attr2, ..., attrn включает имена всех атрибутов определяющего отношения;
• new_name = var.attr; new_name - новое имя соответствующего атрибута результирующего отношения.

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

Выражением реляционного исчисления кортежей называется конструкция  вида target_list WHERE wff. Значением выражения  является отношение, тело которого определяется WFF, а набор атрибутов и их имена - целевым списком.

3.3 Реляционное исчисление доменов

В исчислении доменов  областью определения переменных являются не отношения, а домены. Применительно  к базе данных СОТРУДНИКИ-ОТДЕЛЫ можно  говорить, например, о доменных переменных ИМЯ (значения - допустимые имена) или НОСОТР (значения - допустимые номера сотрудников).

Основным формальным отличием исчисления доменов от исчисления кортежей является наличие дополнительного  набора предикатов, позволяющих выражать так называемые условия членства. Если R - это n-арное отношение с атрибутами a₁, a₂, ..., a_n, то условие членства имеет вид

  R (ai1:vi1, ai2:vi2, ..., aim:vim) (m <= n),

где v_ij - это либо литерально задаваемая константа, либо имя кортежной переменной. Условие членства принимает значение true в том и только в том случае, если в отношении R существует кортеж, содержащий указанные значения указанных атрибутов. Если v_ij - константа, то на атрибут a_ij задается жесткое условие, не зависящее от текущих значений доменных переменных; если же v_ij - имя доменной переменной, то условие членства может принимать разные значения при разных значениях этой переменной.

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

Для примера сформулируем с использованием исчисления доменов  запрос "Выдать номера и имена  сотрудников, не получающих минимальную  заработную плату" (будем считать для простоты, что мы определили доменные переменные, имена которых совпадают с именами атрибутов отношения СОТРУДНИКИ, а в случае, когда требуется несколько доменных переменных, определенных на одном домене, мы будем добавлять в конце имени цифры):

   СОТР_НОМ,  СОТР_ИМЯ WHERE EXISTS СОТР_ЗАРП1

     (СОТРУДНИКИ (СОТР_ЗАРП1) AND

      СОТРУДНИКИ (СОТР_НОМ, СОТР_ИМЯ, СОТР_ЗАРП) AND

      СОТР_ЗАРП > СОТР_ЗАРП1)

Реляционное исчисление доменов является основой большинства  языков запросов, основанных на использовании форм. В частности, на этом исчислении базировался известный язык Query-by-Example, который был первым (и наиболее интересным) языком в семействе языков, основанных на табличных формах.

 

 

 

 

 

 

 

 

 

 

Заключение                                                                                    

В настоящее время  реляционные базы данных - наиболее распространенный тип баз данных, что обусловлено относительной  легкостью проектирования. Другим решающим фактором превосходства РБД является поддержка производителей программного обеспечения управления базами данных. Наиболее известные и широко применяемые СУБД, такие как MS Access, SQL Server, MySQL предназначены именно для работы с реляционными БД.

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

Основное достоинство  реляционных баз данных - это их совместимость с самым распространенным языком запросов SQL. Только при единственном запросе на языке SQL, выполняется несколько операций: соединение нескольких таблиц во временную таблицу и вырезание из таблицы требуемых строк и столбцов, то есть, селекция и проекция. Табличная структура реляционной базы данных проста в понимании для пользователя, как следствие и язык SQL так же является достаточно простым для изучения. Реляционная модель содержит достаточно большой теоретический материал, на нем были основаны эволюционные преобразования и успешная реализация реляционных баз данных. Именно популярность реляционных баз данных сыграла решающую роль в том что язык SQL стал основным.

Однако, данная модель имеет  ряд существенных недостатков:

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

- высокая трудоемкость  манипулирования информацией и изменения связей.

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

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