русс | укр

Языки программирования

ПаскальСиАссемблерJavaMatlabPhpHtmlJavaScriptCSSC#DelphiТурбо Пролог

Компьютерные сетиСистемное программное обеспечениеИнформационные технологииПрограммирование

Все о программировании


Linux Unix Алгоритмические языки Аналоговые и гибридные вычислительные устройства Архитектура микроконтроллеров Введение в разработку распределенных информационных систем Введение в численные методы Дискретная математика Информационное обслуживание пользователей Информация и моделирование в управлении производством Компьютерная графика Математическое и компьютерное моделирование Моделирование Нейрокомпьютеры Проектирование программ диагностики компьютерных систем и сетей Проектирование системных программ Системы счисления Теория статистики Теория оптимизации Уроки AutoCAD 3D Уроки базы данных Access Уроки Orcad Цифровые автоматы Шпаргалки по компьютеру Шпаргалки по программированию Экспертные системы Элементы теории информации

Операции над отношениями.


Дата добавления: 2013-12-23; просмотров: 1448; Нарушение авторских прав


Лекция № 11

Т.к. любое отношение R есть подмножество множества пар W2, то для отношений можно определить все те операции, которые определены для подмножеств фиксированного множества.

1.Операция вложения отношений:

Отношение R1 вложено (включено) в отношение R2 (R1R2) если множество пар, для которых выполнено отношение R1, содержится во множестве пар, для которых выполнено отношение R2.

2.Отношение называется дополнением отношения R, если оно выполняется для тех и только тех пар, для которых не выполняется отношение R.

= М2 \ R

Или в матричной записи ()=1 - (R) для (i , j = )

В графе G() присутствуют только те дуги, которые отсутствуют в графе G(R).

- +(x)= М \ R+(x) для любого хМ

- -(x)= М \ R-(x) для любого хМ

Антидиагональное отношение является дополнением диагонального отношения Е.

3. Пересечением отношений R1 и R2 (R1 R2 )называется отношение, определяемое пересечением соответствующих подмножеств из МxМ.

4. Объединениемотношений R1 и R2 называется отношение, определяемое объединением соответствующих подмножеств из М*М.

5.Введем операцию обращения отношений:

Обратным к отношению R называется отношение R-1, определяемое условием xR-1yyRx

· (R-1)= aji(R);

· граф G(R-1) получается из графа G(R) изменением направлений всех дуг;

· (R-1)+(х)= R-(х) и (R-1)-(x) = R (x)

 

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

= ()-1

Двойственным к R называется отношение Rd, определяемое формулой:

Rd = ;

Т.е. двойственным к R является отношение Rd, дополнительное к обратному к R.

Специальные свойства бинарных отношений

 

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



 

Свойство 1: отношение R является рефлексивным, если E R; т.е. если оно выполнено между объектом и самим xRx.

Например: “x имеет общий признак с y ”, “х похож на у ” и т.д.

На графе G(R,M) рефлексивного отношения каждая вершина х М имеет петлю.

В МАТРИЦЕ НА ДИАГОНАЛИ СТОЯТ 1.

Свойство 2: отношение R является антирефлексивным, если R E = Ø, т.е. если из соотношения xRy следует, что х у (отношение R может выполняться лишь для несовпадающих объектов).

Например: «х старше у», «операция у не может начаться, пока не закончится операция х и т.д.».

В матрице на диагонали стоят 0.

Свойство 3: отношение Rявляется симметричным, если R=R-1, т.е. из выполнения соотношения xRy следует, что выполняется соотношение yRx.

Например: «х похож на у», “операция х несовместна с операцией у ” и т.д.

На графе симметричного отношения каждой дуге (х,у). Соответствует ориентированная ей навстречу дуга. Пару встречно ориентированных дуг можно заменить ребром, тогда симметричное отношение можно описывать неориентированным графом.

Свойство 4: отношение R является асимметричным, если Ø, т.е. из двух соотношений xRy и yRx по меньшей мере одно не выполнено.

Например: «х подчиняется у», «операция х выполнена раньше операции у» и т.д.

Если отношение R асимметрично, то оно антирефлексивно.

Доказательство: пусть для выполнено xRx. По определению обратного отношения это значит, что хR-1x, но тогда что противоречит асимметричности.

Свойство 5: отношение R является антисимметричным, если , т.е. оба соотношения xRy и yRx выполняются одновременно только тогда, когда х=у.

Например: «операция х является частью операции у».

Свойство 6: отношение Rявляется транзитивным, если для любых элементов х, у, z из М из соотношений xRy, yRz следует соотношение xRz.

Через свойства 1 – 6 можно определить основные типы отношений:

Свойство 7: отношение связности (линейности). Отношение R называется линейным (связным) если для любых илиили или оба условия выполняются одновременно. (по крайней мере одно из них обязательно выполнено – в противовес антисимметричным).

В матрице (линейного)связного отношения или aij = 1 или aij = 1 для любых

Тип отношений Свойства
Рефл. Антирефл. Симм. Асим-метр. Антисимм. Транзитивн.
Эквивалентность +   +     +
Толерантность +   +      
Строгий порядок   +   (+) (+) +
Квазипорядок +         +
Нестрогий порядок +       + +

 



<== предыдущая лекция | следующая лекция ==>
Основные определения. | Отношение толерантности


Карта сайта Карта сайта укр


Уроки php mysql Программирование

Онлайн система счисления Калькулятор онлайн обычный Инженерный калькулятор онлайн Замена русских букв на английские для вебмастеров Замена русских букв на английские

Аппаратное и программное обеспечение Графика и компьютерная сфера Интегрированная геоинформационная система Интернет Компьютер Комплектующие компьютера Лекции Методы и средства измерений неэлектрических величин Обслуживание компьютерных и периферийных устройств Операционные системы Параллельное программирование Проектирование электронных средств Периферийные устройства Полезные ресурсы для программистов Программы для программистов Статьи для программистов Cтруктура и организация данных


 


Не нашли то, что искали? Google вам в помощь!

 
 

© life-prog.ru При использовании материалов прямая ссылка на сайт обязательна.

Генерация страницы за: 0.004 сек.