Теоретические основы защиты информации.

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

Пример 2. Ограничения целостности данных могут иметь следующий вид:

I=( R.1A>O)Ù(R1.A=R2.A)Ù(0<R1.B+R2.B<100),где

R1.A - атрибут А в отношении R1, R2.A -соответственно в R2, R1.B - атрибут В в R1, R2.В -в R2.

Если даны I₁,...I_m, то область состояний D базы данных определяется формулой

где под I_k также подразумевается множество значений, которые могут принимать атрибуты базы данных, удовлетворяющие логической формуле I_k. Будем предполагать D¹Æ.

РЕЛЯЦИОННЫЕ ОПЕРАТОРЫ (РО).

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

РО строит новые отношения из одного или нескольких существующих. Можно определить пять основных операторов.

1 . Select (R, F).

Строит новое отношение, состоящее из всех векторов (строк) R, удовлетворяющих F, где F -формула вида "A_iQV'' или "А_iqА_j" где q - отношение сравнения (=, < и т.д.) и V - значение из области D_i атрибута А_i. (Этот оператор также называют "q -выбор" ).

2. Project (R (Ai₁,...,Ai_k)).

Строит новое отношение следующим образом: берутся по очереди все строки R и из каждой из них выбрасываются все элементы в координатах, не являющиеся атрибутами Ai₁,...,Ai_k, затем удаляются дубликаты в множестве получившихся строк нового отношения.

3. Union (R₁, R₂).

Строит новое отношение, состоящее из строк, которые есть хотя бы в одном отношении R₁ или R₂.Схемы для R₁ и R₂ должны быть совместимы, то есть иметь одинаковое число атрибутов, согласование по области определения атрибутов.

4. Diff (R₁, R₂).

Строит новое отношение, состоящее из тех и только тех строк R₁, которые не входят в R₂. Схемы R₁ и R₂ должны быть совместимы.

5. Product (R₁, R₂).

Образует новое отношение из прямого произведения таблиц R₁ и R₂, т.е. каждая строка R₁ приписывается каждой строке R₂.

Кроме перечисленных основных РО полезно определить следующие два производных оператора.

6.    Natural-join (R₁, R₂, (Ai₁,...,Ai_k)).

Этот оператор выбирает и оставляет в новой таблице вектора из прямого произведения R₁ и R₂ такие, в которых атрибуты Ai₁,...,Ai_k принимают одинаковое значение и затем выбрасываются лишние атрибуты (встречающиеся дважды).

7.    Outer-join (R₁, R₂, (Ai₁,...,Ai_k)).

      Строит Natural-join из R₁ и R₂ и к нему добавляет каждую строку в R₁, которая не имеет подходящей строки в R₂, а также добавляет каждую строку в R₂, которая