Вестник МГОУ. Серия: Физика-математика / 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. |