<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">phmath</journal-id><journal-title-group><journal-title xml:lang="ru">Вестник Государственного университета просвещения. Серия: Физика-Математика</journal-title><trans-title-group xml:lang="en"><trans-title>Bulletin of Federal State University of Education. Series: Physics and Mathematics</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">2949-5083</issn><issn pub-type="epub">2949-5067</issn><publisher><publisher-name>Federal State University of Education</publisher-name></publisher></journal-meta><article-meta><article-id custom-type="elpub" pub-id-type="custom">phmath-163</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>МАТЕМАТИКА</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="en"><subject>MATHEMATICS</subject></subj-group></article-categories><title-group><article-title>ЭКВИВАЛЕНТНОСТЬ КАТЕГОРИЙ МОДЕЛЕЙ И УНИВЕРСАЛЬНЫХ АЛГЕБР, КАК ОСНОВА ПОСТРОЕНИЯ АЛГОРИТМОВ ОБРАБОТКИ РЕЛЯЦИОННЫХ БАЗ ЗНАНИЙ</article-title><trans-title-group xml:lang="en"><trans-title>THE CATEGORY EQUIVALENCE OF MODELS AND UNIVERSAL ALGEBRAS AS THE BASIS OF THE CONSTRUCTION OF THE ALGORITHMS OF PROCESSING OF INTELLIGENT RELATIONAL DATABASES</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Мартынюк</surname><given-names>А. Н.</given-names></name><name name-style="western" xml:lang="en"><surname>Martynyuk</surname><given-names>A. .</given-names></name></name-alternatives><email xlink:type="simple">martynyuk@nm.ru</email><xref ref-type="aff" rid="aff-1"/></contrib><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Матвеев</surname><given-names>О. А.</given-names></name><name name-style="western" xml:lang="en"><surname>Matveyev</surname><given-names>O. .</given-names></name></name-alternatives><email xlink:type="simple">veyevtam@mail.ru</email><xref ref-type="aff" rid="aff-1"/></contrib></contrib-group><aff-alternatives id="aff-1"><aff xml:lang="ru"><institution>Московский государственный областной университет</institution><country>Россия</country></aff><aff xml:lang="en"><institution>Moscow State Regional University</institution><country>Russian Federation</country></aff></aff-alternatives><pub-date pub-type="collection"><year>2010</year></pub-date><pub-date pub-type="epub"><day>30</day><month>09</month><year>2022</year></pub-date><volume>0</volume><issue>2</issue><fpage>28</fpage><lpage>34</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Мартынюк А.Н., Матвеев О.А., 2022</copyright-statement><copyright-year>2022</copyright-year><copyright-holder xml:lang="ru">Мартынюк А.Н., Матвеев О.А.</copyright-holder><copyright-holder xml:lang="en">Martynyuk A..., Matveyev O...</copyright-holder><license xml:lang="ru" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>Данная работа распространяется под лицензией Creative Commons Attribution 4.0.</license-p></license><license xml:lang="en" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>This work is licensed under a Creative Commons Attribution 4.0 License.</license-p></license></permissions><self-uri xlink:href="https://www.physmathmgou.ru/jour/article/view/163">https://www.physmathmgou.ru/jour/article/view/163</self-uri><abstract><p>Доказывается эквивалентность категорий моделей и универсальных алгебр. Конструкция может быть использована для построения алгоритмов обработки реляционных баз знаний.</p></abstract><trans-abstract xml:lang="en"><p>The category equivalence of models and universal algebras is proved. The construction may be used of the construction of the algorithms of processing of intelligent relation data bases.</p></trans-abstract><kwd-group xml:lang="ru"><kwd>универсальная алгебра</kwd><kwd>модель</kwd><kwd>реляционные базы знаний</kwd></kwd-group></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">Курош А.Г. Общая алгебра. М.: Наука, 1974. – 160с.</mixed-citation><mixed-citation xml:lang="en">Курош А.Г. Общая алгебра. М.: Наука, 1974. – 160с.</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Биркгоф Г., Барти Т. Современная прикладная алгебра. М.: Мир, 1976. – 400с.</mixed-citation><mixed-citation xml:lang="en">Биркгоф Г., Барти Т. Современная прикладная алгебра. М.: Мир, 1976. – 400с.</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Мальцев А.И. Алгебраические системы. М.: Наука, 1970. – 392с.</mixed-citation><mixed-citation xml:lang="en">Мальцев А.И. Алгебраические системы. М.: Наука, 1970. – 392с.</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">Шнейдер Ю.А., Шаров А.А. Системы и модели. М.: Радио и связь, 1982. – 152с.</mixed-citation><mixed-citation xml:lang="en">Шнейдер Ю.А., Шаров А.А. Системы и модели. М.: Радио и связь, 1982. – 152с.</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">Александрян Р.А., Мирзаханян Э.А. Общая топология. М.: Высшая школа, 1979. – 336с.</mixed-citation><mixed-citation xml:lang="en">Александрян Р.А., Мирзаханян Э.А. Общая топология. М.: Высшая школа, 1979. – 336с.</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">Матвеев О.А., Паншина А.В. К эквивалентности категорий моделей и универсальных алгебр // Материалы Х конф. молодых ученых, М.: УДН, 1987 – Деп. в ВИНИТИ, № 9153–В 87, c. 144–150.</mixed-citation><mixed-citation xml:lang="en">Матвеев О.А., Паншина А.В. К эквивалентности категорий моделей и универсальных алгебр // Материалы Х конф. молодых ученых, М.: УДН, 1987 – Деп. в ВИНИТИ, № 9153–В 87, c. 144–150.</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">Бочаров В.Е, Матвеев О.А., Паншина А.В.О топологических реляционных системах // Материалы 11 конф. молодых ученых, М.:УДН, 1988 – Деп. в ВИНИТИ, №5305–В88, с. 110-121.</mixed-citation><mixed-citation xml:lang="en">Бочаров В.Е, Матвеев О.А., Паншина А.В.О топологических реляционных системах // Материалы 11 конф. молодых ученых, М.:УДН, 1988 – Деп. в ВИНИТИ, №5305–В88, с. 110-121.</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">Tin C. Truong, Anh N. Tran. Structure of Set of Association Rules Based on Concept Lattice In: N. T. Nguyen, R. Katarzyniak, S.-M. Chen (Eds.) Studies in Computational Intelligence, Vol. 283, pp. 217–228. Springer–Verlag, Heidelberg, 2010.</mixed-citation><mixed-citation xml:lang="en">Tin C. Truong, Anh N. Tran. Structure of Set of Association Rules Based on Concept Lattice In: N. T. Nguyen, R. Katarzyniak, S.-M. Chen (Eds.) Studies in Computational Intelligence, Vol. 283, pp. 217–228. Springer–Verlag, Heidelberg, 2010.</mixed-citation></citation-alternatives></ref><ref id="cit9"><label>9</label><citation-alternatives><mixed-citation xml:lang="ru">Taouil P. N., Bastide R., Stumme Y., Lakhal G. Generating a condensed representation for association rules. J. of Intelligent Information Systems 24(1), pp. 29–60, Springer US, 2005.</mixed-citation><mixed-citation xml:lang="en">Taouil P. N., Bastide R., Stumme Y., Lakhal G. Generating a condensed representation for association rules. J. of Intelligent Information Systems 24(1), pp. 29–60, Springer US, 2005.</mixed-citation></citation-alternatives></ref><ref id="cit10"><label>10</label><citation-alternatives><mixed-citation xml:lang="ru">Viswanath N., Sunderraman R. A Paraconsistent Relational Data Model In: V. E. Ferraggine, J. H. Doorn, L. C. Rivero (Eds.) Handbook of Research on Innovations in Database Technologies and Applications: Current and Future Trends, Vol. I, pp. 18–27, Information Science Reference, N.Y., 2009.</mixed-citation><mixed-citation xml:lang="en">Viswanath N., Sunderraman R. A Paraconsistent Relational Data Model In: V. E. Ferraggine, J. H. Doorn, L. C. Rivero (Eds.) Handbook of Research on Innovations in Database Technologies and Applications: Current and Future Trends, Vol. I, pp. 18–27, Information Science Reference, N.Y., 2009.</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
