Scientific and Technical Journal

ELECTROTECHNIC AND COMPUTER SYSTEMS

ISSN Print 2221-3937
ISSN Online 2221-3805
REFLEXIVE-TRANSITIVE CLOSURES OF BINARY RELATIONS
Abstract:
The paper is devoted to the mathematical foundations of the linearization algorithms – one of the methods of names conflict resolution that occurs in object-oriented programming languages which support multiple inheritance. The main object of study is the reflexive-transitive closure of a binary relation. The properties of this closure are found: the criterion to be partial order, closure is the closure operator, three denotation representations of closure in terms of its properties and as the least solution of some characteristic equation are established.
Authors:
Keywords
DOI
References
  1. 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. – pp. 164-175 (In English).
  2. 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. – pp.16-24 (In English).
  3. Michele Simionato. The Python 2.3 Method Resolution Order (In English). Available at:https://www.python.org/download/releases/2.3/mro/.
  4. Guido van Rossum. MethodResolutionOrder(In English). Available at:http://python-history.blogspot.com/2010/06/method-resolution-order.html.
  5. Par Gaël Pegliasco. Python Tutorial: Understanding Python MRO - Class search path (In English). Available at:http://makina-corpus.com/blog/metier/2014/python-tutorial-understanding-python-mro-class-search-path.
  6. 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. – pp. 63-66 (Print ISBN: 978-1-4673-9867-1, DOI 10.1109/Informatics.2015.7377809) (In English).
  7. Rige Zh. Binarnye otnosheniya, zamykaniya, sootvetstviya Galua [Binary relations, closures, Galois correspondence]. – Moscow, 1963. – Vol. 7. – pp. 129-185 (In Russian).
  8. Vagner V.V. Teoriya otnoshenii i algebra chastichnykh otobrazhenii [The theory of relations and the algebra of partial maps]// The theory of semigroups and its applications (collection of articles). – Saratov, 1965. – Vol. 1. – pp. 3-178 (In Russian).
  9. Obshchaya algebra [general algebra]. V. 1 / O.V. Mel'nikov, V.N. Remeslennikov, V.A. Roman'kov i dr. Pod obshchei redaktsiei L.A. Skornyakova. – Moscow, Nauka Publ., 1990 – 592 p (In Russian).
  10. Skornyakov, L.A. Elementyi teorii struktur [Elements of the theory of structures], Moscow, Nauka Publ., 1982. – 159 p (In Russian).
Published:
Last download:
2017-11-23 10:57:27

[ © KarelWintersky ] [ All articles ] [ All authors ]
[ © Odessa National Polytechnic University, 2014. Any use of information from the site is possible only under the condition that the source link! ]
Яндекс.Метрика