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

Ситников, Д. Э.; Ситникова, П. Э.; Коваленко, А. И.

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

Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"


	Наукова періодика України		Системи обробки інформації