Алгебри квазіарних та бі-квазіарних реляцій
Запропоновано поняття квазіарної реляції (відношення), введено операції над такими реляціями, описано алгебри квазіарних реляцій. Доведено ізоморфізм алгебри квазіарних реляцій та першопорядкової алгебри тотальних однозначних квазіарних предикатів. Побудовано алгебри бі-квазіарних реляцій, задані на...
Збережено в:
| Опубліковано в: : | Проблеми програмування |
|---|---|
| Дата: | 2016 |
| Автори: | , |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Інститут програмних систем НАН України
2016
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.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| _version_ | 1862728702958239744 |
|---|---|
| author | Нікітченко, М.С. Шкільняк, С.С. |
| author_facet | Нікітченко, М.С. Шкільняк, С.С. |
| citation_txt | Алгебри квазіарних та бі-квазіарних реляцій / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2016. — № 1. — С. 17-28. — Бібліогр.: 5 назв. — укр. |
| collection | DSpace DC |
| container_title | Проблеми програмування |
| description | Запропоновано поняття квазіарної реляції (відношення), введено операції над такими реляціями, описано алгебри квазіарних реляцій. Доведено ізоморфізм алгебри квазіарних реляцій та першопорядкової алгебри тотальних однозначних квазіарних предикатів. Побудовано алгебри бі-квазіарних реляцій, задані на множинах пар квазіарних реляцій. Визначено різні підкласи таких алгебр та досліджено їх зв’язки з алгебрами часткових однозначних, тотальних неоднозначних, часткових неоднозначних, монотонних, антитонних квазіарних предикатів.
Предложено понятие квазиарной реляции (отношения), введены операции над такими реляциями, описаны алгебры квазиарных реляций. Доказан изоморфизм алгебры квазиарных реляций и первопорядковой алгебры тотальных однозначных квазиарных предикатов. Построены алгебры биквазиарных реляций, заданные на множествах пар квазиарных реляций. Определены различные подклассы таких алгебр, иссследованы их связи с алгебрами частичных однозначных, тотальных неоднозначных, частичных неоднозначных, монотонных, антитонных квазиарных предикатов.
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.
|
| first_indexed | 2025-12-07T19:10:30Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-126376 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-12-07T19:10:30Z |
| publishDate | 2016 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Нікітченко, М.С. Шкільняк, С.С. 2017-11-21T19:11:01Z 2017-11-21T19:11:01Z 2016 Алгебри квазіарних та бі-квазіарних реляцій / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2016. — № 1. — С. 17-28. — Бібліогр.: 5 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/126376 004.42:510.69 Запропоновано поняття квазіарної реляції (відношення), введено операції над такими реляціями, описано алгебри квазіарних реляцій. Доведено ізоморфізм алгебри квазіарних реляцій та першопорядкової алгебри тотальних однозначних квазіарних предикатів. Побудовано алгебри бі-квазіарних реляцій, задані на множинах пар квазіарних реляцій. Визначено різні підкласи таких алгебр та досліджено їх зв’язки з алгебрами часткових однозначних, тотальних неоднозначних, часткових неоднозначних, монотонних, антитонних квазіарних предикатів. Предложено понятие квазиарной реляции (отношения), введены операции над такими реляциями, описаны алгебры квазиарных реляций. Доказан изоморфизм алгебры квазиарных реляций и первопорядковой алгебры тотальных однозначных квазиарных предикатов. Построены алгебры биквазиарных реляций, заданные на множествах пар квазиарных реляций. Определены различные подклассы таких алгебр, иссследованы их связи с алгебрами частичных однозначных, тотальных неоднозначных, частичных неоднозначных, монотонных, антитонных квазиарных предикатов. 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. uk Інститут програмних систем НАН України Проблеми програмування Теоретичні та методологічні основи програмування Алгебри квазіарних та бі-квазіарних реляцій Алгебры квазиарных и би-квазиарных реляций Algebras of quasiary and of bi-quasiary relations Article published earlier |
| spellingShingle | Алгебри квазіарних та бі-квазіарних реляцій Нікітченко, М.С. Шкільняк, С.С. Теоретичні та методологічні основи програмування |
| title | Алгебри квазіарних та бі-квазіарних реляцій |
| title_alt | Алгебры квазиарных и би-квазиарных реляций Algebras of quasiary and of bi-quasiary relations |
| title_full | Алгебри квазіарних та бі-квазіарних реляцій |
| title_fullStr | Алгебри квазіарних та бі-квазіарних реляцій |
| title_full_unstemmed | Алгебри квазіарних та бі-квазіарних реляцій |
| title_short | Алгебри квазіарних та бі-квазіарних реляцій |
| title_sort | алгебри квазіарних та бі-квазіарних реляцій |
| topic | Теоретичні та методологічні основи програмування |
| topic_facet | Теоретичні та методологічні основи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/126376 |
| work_keys_str_mv | AT níkítčenkoms algebrikvazíarnihtabíkvazíarnihrelâcíi AT škílʹnâkss algebrikvazíarnihtabíkvazíarnihrelâcíi AT níkítčenkoms algebrykvaziarnyhibikvaziarnyhrelâcii AT škílʹnâkss algebrykvaziarnyhibikvaziarnyhrelâcii AT níkítčenkoms algebrasofquasiaryandofbiquasiaryrelations AT škílʹnâkss algebrasofquasiaryandofbiquasiaryrelations |