48)Ограничение check.

Ограничение целостности check является наиболее часто используемым видом ограничения. Оно позволяет задать для определённой колонки выражение, которое будет осуществлять проверку, помещаемого в эту колонку значения. Если значение удовлетворяет, заданному ограничению, то выражение должно возвращать Логическое значение (истина).

Определение ограничения следует после указания типа данных, как и определение значения по умолчанию. Значения по умолчанию и ограничения могут следовать в произвольном порядке. Ограничение check состоит из ключевого слова CHECK, за которым следует выражение в круглых скобках. Выражение в ограничении check должно использовать ту колонку, на которую оно накладывается, в противном случае это ограничение не будет иметь смысла.

Пример,

Требуется, чтобы в колонке были только положительные цены товаров. Можно использовать:

CREATE TABLE products

( product_no integer,

name text,

price numeric CHECK (price > 0)

);

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

49)Реляционная алгебра Кодда. Основные операторы.

вариант реляционной алгебры Кодда [18],. предложенный Кристофером Дейтом. В этом варианте набор основных алгебраических операций состоит из восьми операций, которые делятся на два класса - теоретико-множественные операции и специальные реляционные операции.

В состав теоретико-множественных операций входят операции:

• объединения отношений;

• пересечения отношений;

• взятия разности отношений;

• прямого произведения отношений.

Специальные реляционные операции включают:

• ограничение отношения;

• проекцию отношения;

• соединение отношений;

• деление отношений.

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

Реляционная модель данных, разработанная Э.Коддом в 1970г, представляет собой логическую модель данных, описывающую:

• - структуры данных в виде (изменяющихся во времени) наборов отношений;

• - теоретико-множественные операции над данными: объединение, пересечение, разность и декартово произведение;

• - специальные реляционные операции: селекция, проекция, соединение и деление; а также

• - специальные правила, обеспечивающие целостность данных.

Основные операторы реляционной алгебры

1. Теоретико-множественные операции, модифицированные для таблиц (отношений).

Напомним, что в теории множеств:

• результатом объединения двух множеств A{a} и B{b} является такое множество C{c}, что для каждого с либо существует такой элемент a, принадлежащий множеству A, что c=a, либо существует такой элемент b, принадлежащий множеству B, что c=b;

• пересечением множеств A и B является такое множество C{c}, что для любого c существуют такие элементы a, принадлежащий множеству A, и b, принадлежащий множеству B, что c=a=b;

• разностью множеств A и B является такое множество C{c}, что для любого c существует такой элемент a, принадлежащий множеству A, что c=a, и не существует такой элемент b, принадлежащий B, что c=b.