Математические основания алгоритмов линеаризации: рефлексивно-транзитивные замыкания бинарных отношений

  • Дмитрий Борисович Буй
  • Елена В. Шишацкая
  • Fabumni Sunmadef
  • Mohammed Karamjasim
Keywords: объектно-ориентированный язык программирования, разрешение конфликта имен, алгоритмы линеаризации, рефлексивно-транзитивное замыкание

Abstract

Работа посвящена математическим основаниям алгоритмов линеаризации – одного из методов разрешения конфликта имен, возникающего при множественном наследовании в объектно-ориентированных языках программирования. Основным объектом исследования выступает рефлексивно-транзитивное замыкание бинарного отношения. Установлены основные свойства этого замыкания: критерий быть частичным порядком, замыкание является оператором замыкания по теоретико-множественному включению, приведены три неявных представления замыкания, исходя из его свойств, и как наименьшего решения характеристического уравнения.

Downloads

Download data is not yet available.

References

R. Ducournau, M. Habib, M. Huchard, M.L. Mugnier. Proposal for a Monotonic Multiple Inheritance Linearization // OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications. – 1994. – P. 164-175.

R. Ducournau, M. Habib, M. Huchard, M.L. Mugnier. Monotonic conflict resolution mechanisms for inheritance // Proceeding OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications. – 1992. – P.16-24.

Michele Simionato. The Python 2.3 Method Resolution Order. – [Электронный ресурс]. – Режим доступа: https://www.python.org/download/releases/2.3/mro/.

Guido van Rossum. Method Resolution Order – [Электронный ресурс]. – Режим доступа: http://python-history.blogspot.com/2010/06/method-resolution-order.html.

Par Gaël Pegliasco. Python Tutorial: Understanding Python MRO  Class search path. – [Электронный ресурс]. – Режим доступа: http://makina-corpus.com/blog/metier/2014/python-tutorial-understanding-python-mro-class-search-path.

D. Buy, J. Karam, S. Kompan, S. Polyakov. Linearization algorithms CLOS and LOOPS of the classes in programming languages: the formal definitions // 13th International Scientific Conference on Informatics. – Poprad, Slovakia, 18-20 Nov., 2015. – P. 63-66 (Print ISBN: 978-1-4673-9867-1, DOI 10.1109/Informatics.2015.7377809).

Риге Ж. Бинарные отношения, замыкания, соответствия Галуа // Кибернетический сборник: Сборник переводов. – Москва: Иностранная литература, 1963. – Вып. 7. – С. 129-185.

Вагнер В.В. Теория отношений и алгебра частичных отображений // Теория полугрупп и ее приложения (Сборник статей). – Саратов: Изд-во Саратовского ун-та, 1965. – Вып. 1. – С. 3-178.

Общая алгебра. Т. 1 / О.В. Мельников, В.Н. Ремесленников, В.А. Романьков и др. Под общей редакцией Л.А. Скорнякова. – Москва: Наука, 1990. – 592 с.

Биркгоф Г. Теория решеток. – Москва: Наука, 1984. – 568 с.

Куратовский К., Мостовский А. Теория множеств. – Москва: Мир, 1970. – 416 с.

Скорняков Л.А. Элементы теории структур. – Москва: Наука, 1982. – 159 с.

Буй Д.Б. Властивості теоретико-множинних конструкцій повного образу та обмеження / Д.Б.Буй, Н.Д.Кахута // Вісник Київського університету. Серія: Фізико-математичні науки. – 2005. – Вип. 2. – С. 232-240.

Мальцев А.И. Алгоритмы и рекурсивные функции. – Москва: Наука, 1986. – 368 с.
Published
2016-04-25
How to Cite
Буй, Д. Б., Шишацкая, Е. В., Sunmadef, F., & Karamjasim, M. (2016). Математические основания алгоритмов линеаризации: рефлексивно-транзитивные замыкания бинарных отношений. Bulletin of V.N. Karazin Kharkiv National University, Series «Mathematical Modeling. Information Technology. Automated Control Systems», 29, 19-33. Retrieved from https://periodicals.karazin.ua/mia/article/view/6549
Section
Статті