Студопедия

Мы поможем в написании ваших работ!




Зададим теперь семантику ТБО с помощью графов. Граф есть ориентированное ребро, исходящая врешина которого обозначает первый, а входящая – второй элемент бинарного отношения

1) Каждой реляционной переменной сопоставляется её объем – некое множество графов, определенных на предметной области U.

 

R

a b

 

2) Дополнением отношения является множество графов, которые не входят в его объем. Например: если R – интерес, то`R – безразличие (отсутствие интереса).

 

R `R

a b a b

 

3) Конверсией отношения является множество графов, полученных из графов, входящих в объем данного отношения, путем замены входящей вершины на исходящую. Например: если R – старше, то R–1 – моложе (старше «наоброт»)

 

R R–1

a b a b

 

4) Пересечением двух отношений является множество графов, входящих в объем обоих этих отношений. Например: если R1 – получение, а R2 – дарение, то R1´R2 – обмен (получение и дарение).

 

R1 R1´R2

a b a b

R2

 

5) Объединением двух отношений является множество графов, входящих в объем по крайней мере одного из этих отношений. Например: если R1 – сын, а R2– дочь, то R1+R2 – ребенок (сын или дочь)

 

R1

abR1+R2

или a b

a b

R2

 

6) Вычитанием из одного отношения другого является множество графов, которые входят в объем первого, но не входят в объем второго. Например: если R1 – ребенок, а R2 – сын, то R1 – R2 – дочь (ребенок, но не сын).

 

R1 R1–R2

a b a b

R2

 

7) Композицией двух отношений является множество графов, соединяющих исходящую вершину первого со входящей вершиной второго. Например: если R1 – брат, а R2 – жена, то R1/R2 – шурин (брат жены)

 

R1 R2 R1/R2

a b с a с

 

8) Оператор исключительности запрещает проводить для данного отношения более одного графа, направленного к его входящей вершине. Например: если R – сын, то R!единственный сын

 

R R

a d

b

c f

R R


<== предыдущая страница | следующая страница ==>
Бинарные (двухместные) | Все эти операции естественным образом можно определить и с помощью логики предикатов, язык и семантика которой были изложены в главе IV. Пусть xRy означает, что R(x,y). Тогда

Дата добавления: 2015-06-30; просмотров: 138; Нарушение авторских прав




Мы поможем в написании ваших работ!
lektsiopedia.org - Лекциопедия - 2013 год. | Страница сгенерирована за: 0.002 сек.