1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 1(117)'2014
  5. Представление бинарных предикатов информационной системы с помощью свободного предикатного параметр

Представление бинарных предикатов информационной системы с помощью свободного предикатного параметр

Д. Э. Ситников, П. Э. Ситникова, А. И. Коваленко
Системи обробки інформації. — 2014. — № 1(117). — С. 133-136.
УДК 51 : 004.7
Мова статті: російська
Анотації на мовах:

В данной работе рассмотрены некоторые часто встречающиеся в информационных системах виды отношений, таких, как рефлексивность, симметричность, антирефлексивность, антисимметричность. Поставлена и решена задача представления таких предикатов в параметрической форме с использованием так называемого свободного предикатного параметра, подставляя различные значения которого, можно получить все предикаты некоторого класса, описываемого системой логических правил. Общие виды описываемых классов можно использовать для более детального исследования специфики определенных отношений в информационной системе.
Ключові слова: информационная система, бинарный предикат, рефлексивность, симметричность, антирефлексивность, антисимметричность
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Ситников Д. Э. Представление бинарных предикатов информационной системы с помощью свободного предикатного параметр / Д. Э. Ситников, П. Э. Ситникова, А. И. Коваленко  // Системи обробки інформації. — 2014. — № 1. — С. 133-136.