Алгебри квазіарних та бі-квазіарних реляцій
Запропоновано поняття квазіарної реляції (відношення), введено операції над такими реляціями, описано алгебри квазіарних реляцій. Доведено ізоморфізм алгебри квазіарних реляцій та першопорядкової алгебри тотальних однозначних квазіарних предикатів. Побудовано алгебри бі-квазіарних реляцій, задані на...
Збережено в:
| Дата: | 2016 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2016
|
| Назва видання: | Проблеми програмування |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/126376 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Алгебри квазіарних та бі-квазіарних реляцій / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2016. — № 1. — С. 17-28. — Бібліогр.: 5 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-126376 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1263762017-11-22T03:02:30Z Алгебри квазіарних та бі-квазіарних реляцій Нікітченко, М.С. Шкільняк, С.С. Теоретичні та методологічні основи програмування Запропоновано поняття квазіарної реляції (відношення), введено операції над такими реляціями, описано алгебри квазіарних реляцій. Доведено ізоморфізм алгебри квазіарних реляцій та першопорядкової алгебри тотальних однозначних квазіарних предикатів. Побудовано алгебри бі-квазіарних реляцій, задані на множинах пар квазіарних реляцій. Визначено різні підкласи таких алгебр та досліджено їх зв’язки з алгебрами часткових однозначних, тотальних неоднозначних, часткових неоднозначних, монотонних, антитонних квазіарних предикатів. Предложено понятие квазиарной реляции (отношения), введены операции над такими реляциями, описаны алгебры квазиарных реляций. Доказан изоморфизм алгебры квазиарных реляций и первопорядковой алгебры тотальных однозначных квазиарных предикатов. Построены алгебры биквазиарных реляций, заданные на множествах пар квазиарных реляций. Определены различные подклассы таких алгебр, иссследованы их связи с алгебрами частичных однозначных, тотальных неоднозначных, частичных неоднозначных, монотонных, антитонных квазиарных предикатов. The notion of quasiary relation which can be considered generalization of the notion of traditional n-ary relation is proposed. A number of algebras of quasiary relations is built and investigated. Alongside with conventional operations of union, intersection, and complement, special nominative operations of renomination and quantification are defined for quasiary relations. The isomorphism between the algebra of quasiary relations and the first-order algebra of total single-valued quasiary predicates is proved. Algebras of bi-quasiary relations defined over sets of pairs of quasiary relations are built. The isomorphism between algebras of bi-quasiary relations and algebras of quasiary predicates is proved. The following subclasses of algebras of bi-quasiary relations are specified: algebras of partial single-valued (functional), total, total many-valued bi-quasiary relations. For all defined subclasses their counterparts of the classes of algebras of quasiary predicates are described. Also subalgebras of the algebra of bi-quasiary relations induced by upward closedness and downward closedness are investigated. 2016 Article Алгебри квазіарних та бі-квазіарних реляцій / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2016. — № 1. — С. 17-28. — Бібліогр.: 5 назв. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/126376 004.42:510.69 uk Проблеми програмування Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування |
| spellingShingle |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування Нікітченко, М.С. Шкільняк, С.С. Алгебри квазіарних та бі-квазіарних реляцій Проблеми програмування |
| description |
Запропоновано поняття квазіарної реляції (відношення), введено операції над такими реляціями, описано алгебри квазіарних реляцій. Доведено ізоморфізм алгебри квазіарних реляцій та першопорядкової алгебри тотальних однозначних квазіарних предикатів. Побудовано алгебри бі-квазіарних реляцій, задані на множинах пар квазіарних реляцій. Визначено різні підкласи таких алгебр та досліджено їх зв’язки з алгебрами часткових однозначних, тотальних неоднозначних, часткових неоднозначних, монотонних, антитонних квазіарних предикатів. |
| format |
Article |
| author |
Нікітченко, М.С. Шкільняк, С.С. |
| author_facet |
Нікітченко, М.С. Шкільняк, С.С. |
| author_sort |
Нікітченко, М.С. |
| title |
Алгебри квазіарних та бі-квазіарних реляцій |
| title_short |
Алгебри квазіарних та бі-квазіарних реляцій |
| title_full |
Алгебри квазіарних та бі-квазіарних реляцій |
| title_fullStr |
Алгебри квазіарних та бі-квазіарних реляцій |
| title_full_unstemmed |
Алгебри квазіарних та бі-квазіарних реляцій |
| title_sort |
алгебри квазіарних та бі-квазіарних реляцій |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2016 |
| topic_facet |
Теоретичні та методологічні основи програмування |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/126376 |
| citation_txt |
Алгебри квазіарних та бі-квазіарних реляцій / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2016. — № 1. — С. 17-28. — Бібліогр.: 5 назв. — укр. |
| series |
Проблеми програмування |
| work_keys_str_mv |
AT níkítčenkoms algebrikvazíarnihtabíkvazíarnihrelâcíj AT škílʹnâkss algebrikvazíarnihtabíkvazíarnihrelâcíj |
| first_indexed |
2023-10-18T20:50:40Z |
| last_indexed |
2023-10-18T20:50:40Z |
| _version_ |
1796151255159013376 |