Вестник МГОУ. Серия: Физика-математика / 2015 №4

Название статьи К ЭКВИВАЛЕНТНОСТИ КАТЕГОРИЙ МОДЕЛЕЙ И УНИВЕРСАЛЬНЫХ АЛГЕБР
Авторы Матвеев О.А., Панкратов А.С., Пинчук И.А.
Серия Физика-математика
Страницы 21 - 28
Аннотация Доказывается эквивалентность категории моделей и специальной категории универсальных алгебр. Конструкция может быть использована для построения алгоритмов обработки реляционных баз знаний. Целью настоящей заметки является построение категории U-ALGEBRAS, эквивалентной категории моделей одной и той же сигнатуры с многозначными гомоморфизмами в качестве морфизмов. Объектами категории U-ALGEBRAS служат однотипные универсальные алгебры, морфизмами -гомоморфизмы универсальных алгебр. Конструкция носит теоретико-множественный, алгебраический характер.
Ключевые слова универсальная алгебра, модель, реляционные базы знаний
Индекс УДК 512.57 + 510.67
DOI 10.18384/2310-7251-2015-4-21-28
Список цитируемой литературы 1. Matveyev O. Topology relational systems // Bulletin of MSRU. Series Physics and mathematics (Vestnik Moskovskogo gosudarstvennogo oblastnogo universiteta. Seria Fizika-matematika). 2010. № 2. Р. 9-19.
2. Martynuk A., Matveyev O. The equivalence of the categories of models and of universal algebra as a basis for constructing algorithms for processing knowledge relational database// Bulletin of MSRU. Series Physics and mathematics (Vestnik Moskovskogo gosudarstvennogo oblastnogo universiteta. Seria Fizika-matematika). 2010. № 2. Р. 28-34.

Лицензия Creative Commons

Лицензия Creative Commons

CyberLeninka

DOAJ
Яндекс цитирования Яндекс.Метрика Рейтинг@Mail.ru

© 2007 - 2024 Московский государственный областной университет
Официальный сайт журналов «Вестник МГОУ»

При цитировании ссылка на «Вестник МГОУ» обязательна. Материалы журналов распространяются в соответствии с лицензией CC BY.