Автор неизвестен - Бионика интелекта информация язык интеллект№ 3 (77) 2011научно-технический журналоснован в октябре 1967 г - страница 69

Страницы:
1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20  21  22  23  24  25  26  27  28  29  30  31  32  33  34  35  36  37  38  39  40  41  42  43  44  45  46  47  48  49  50  51  52  53  54  55  56  57  58  59  60  61  62  63  64  65  66  67  68  69  70  71  72  73  74  75  76  77 

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

Обозначение

Равнозначное выражение на Datalog

Объединение

R U S

q( X1, X2,—, Xn) r (X1, X2,—, Xn). q( X1, X2,—, Xn) s( X1, X2,—, Xn).

Пересечение

R П S

q( X1, X2,—, Xn) r (X1, X2,—, Xn), s( X1, X2,—, Xn).

Разность

R - S

q(X1, X2,—, Xn) r (X1, X2,—, Xn), nots( X1, X2,—, Xn).

Декартово произведение

R х S

q( X1, X2, , Xk+s ) r (X1, X2, , Xk ), s( Xk+^ Xk+2, , Xk+s ).

Селекция

*c (R)

q(X1,X2,—,Xk ,Xn) r(X1,X2 ,Xk,,Xn),Xk >C.

Проекция

nX Y ,..,Z (R)

q( X1, X2,—, Xk) r (X1, X2,—, Xk,_,,_).

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

Представленные выражения на Datalog позво­ляют выражать все операции манипулирования данными, используемые в реляционной модели. В связи с этим можно построить диаграмму отобра­жения языка манипулирования данными реляци­онной модели в дизъюнкты Datalog (рис. 4).

Пусть 0Mr множество операторов языка манипулирования данными модели MR, LMd множество рассмотренных выражений на Datalog, представляющих ЯМД модели MD , эквивалент­ных операциям реляционной алгебры. Тогда 9 — отображение вида (12), ю : BD BR отображе­ние пространства состояний MR в пространство состояний MD, а |*iMan - семантическая функция модели языка манипулирования данными.

Рис. 4. Диаграмма отображения операторов ЯМД

3.3. Отображение целостной части

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

Ограничения целостности, используемые в ре­ляционной модели, можно классифицировать сле­дующим образом [4]:

1. Первичные ключи.

2. Ограничения ссылочной целостности.

3. Ограничения области значений.

В общем случае ограничения целостности на Datalog выражают при помощи правил вида (16). Голова такого правила является пустой, а тело со­стоит из предиката, который нарушает целостность базы при истинности условия:

pA2, , Ak, —, An ^ Ak ^C,

(16)

где p предикат, определенный на множестве фактов EDBMd ; A переменные, связанные с значениями аргументов предиката; Ak Q.C условие; C константа. Из приведенного выражения следует, что целостность базы данных будет нарушена, если найдется хоть один факт p, у которого аргумент Ak будет отвечать заданному условию.

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

Для представления первичных ключей в дедук­тивной модели данных вводят правила вида:

un ique key( p, у)

(17)

где p имя ограничиваемого ключом предиката и у подмножество аргументов p, определяющих состав ключа. Подмножество аргументов у задают в виде перечисления позиций аргументов, разделенных запятой. Например: uniquekey(p, [1,3]).

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

В дедуктивной модели ограничение ссылочной целостности в общем виде представляют правилом вида:

p1 ((1,—,Ak,_—,_),notp2 ((1,—,Ak,_,—,_), (18)

где p1 предикат, на который накладывается усло­вие ссылочной целостности; p2 родительский предикат для p1; A1, A2,—, Ak атрибуты, входящие в состав внешнего ключа.

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

p (Д, —, Ak, —, An ),notAk = C1, ,notAk = Cm, (19)

Страницы:
1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20  21  22  23  24  25  26  27  28  29  30  31  32  33  34  35  36  37  38  39  40  41  42  43  44  45  46  47  48  49  50  51  52  53  54  55  56  57  58  59  60  61  62  63  64  65  66  67  68  69  70  71  72  73  74  75  76  77 


Похожие статьи

Автор неизвестен - 13 самых важных уроков библии

Автор неизвестен - Беседы на книгу бытие

Автор неизвестен - Беседы на шестоднев

Автор неизвестен - Богословие

Автор неизвестен - Божественность христа