Синтаксис. Реляционная замкнутость

Реляционная замкнутость

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

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

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

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

P RENAME PNAME AS PN, WEIGTH AS WT

Данный оператор позволяет устраниться от необходимости использования механизма уточнения имен атрибутов (P.WEIGHT, как в SQL).

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

<реляционное выражение>::= RELATION { <список выражений кортежей> }

| <имя переменной-отношения>

| <реляционная операция>

| (<реляционное выражение>)

Здесь <реляционное выражение> - выражение, обозначающее отношение (его значение).

<реляционная операция>::= <проекция> | <не проекция>

<проекция>::= <реляционное выражение>

{ [ ALL BUT } <список имен атрибутов> }

Здесь <реляционное выражение> не должно иметь вид <не проекция>.

<не проекция>::= <переименование> | <объединение> | <пересечение> | <вычитание> | <произведение> | <выборка> | <соединение> | <деление>

<переименование>::= <реляционное выражение> RENAME <список переименовываемых элементов>

Здесь <реляционное выражение> не должно иметь вид <не проекция>.

<объединение>::= <реляционное выражение> UNION

<реляционное выражение>

Здесь <реляционное выражение> не должно иметь вид <не проекция>, если только оба не объединения.

<пересечение>::= <реляционное выражение> INTERSECT

<реляционное выражение>

Здесь <реляционное выражение> не должно иметь вид <не проекция>, если только оба не пересечения.

<вычитание>::= <реляционное выражение> MINUS

<реляционное выражение>

Здесь <реляционное выражение> не должно иметь вид <не проекция>.

<произведение>::= <реляционное выражение> TIMES

<реляционное выражение>

Здесь <реляционное выражение> не должно иметь вид <не проекция>, если только оба не являются произведениями.

<выборка>::= <реляционное выражение> WHERE

<логическое выражение>

Здесь <реляционное выражение> не должно иметь вид <не проекция>. Логическое выражение может иметь ссылки на атрибуты отношения, обозначенного как реляционное выражение.

<соединение>::= <реляционное выражение> JOIN

<реляционное выражение>

Здесь <реляционное выражение> не должно иметь вид <не проекция>, если только хотя бы одно не является соединением.

<деление>::= <реляционное выражение> DIVIDEBY

<реляционное выражение> PER

<реляционное выражение>

Здесь <реляционное выражение> не должно иметь вид <не проекция>.

Дата добавления: 2015-05-09