多重继承的数学基础:二元关系的自反传递闭包

2016 XII International Conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH) Pub Date : 2016-04-20 DOI:10.1109/MEMSTECH.2016.7507540

D. Buy, Olena Shyshatska, S. Fabunmi, Karam Mohammed

{"title":"多重继承的数学基础:二元关系的自反传递闭包","authors":"D. Buy, Olena Shyshatska, S. Fabunmi, Karam Mohammed","doi":"10.1109/MEMSTECH.2016.7507540","DOIUrl":null,"url":null,"abstract":"The paper is devoted to the mathematical foundations of the linearization algorithms - the method of 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 basic properties of this closure are found: the criterion to be partial order, closure is the closure operator, denotative representations of closure in terms of its properties and as the least solution of some equation (the structure of the set of all solutions of this equation is established).","PeriodicalId":102420,"journal":{"name":"2016 XII International Conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Mathematical foundations of multiple inheritance: Reflexive-transitive closure of the binary relations\",\"authors\":\"D. Buy, Olena Shyshatska, S. Fabunmi, Karam Mohammed\",\"doi\":\"10.1109/MEMSTECH.2016.7507540\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The paper is devoted to the mathematical foundations of the linearization algorithms - the method of 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 basic properties of this closure are found: the criterion to be partial order, closure is the closure operator, denotative representations of closure in terms of its properties and as the least solution of some equation (the structure of the set of all solutions of this equation is established).\",\"PeriodicalId\":102420,\"journal\":{\"name\":\"2016 XII International Conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)\",\"volume\":\"2 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2016-04-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2016 XII International Conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/MEMSTECH.2016.7507540\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2016 XII International Conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MEMSTECH.2016.7507540","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文研究了线性化算法的数学基础，线性化算法是支持多重继承的面向对象编程语言中冲突解决的一种方法。本文的主要研究对象是二元关系的自反及物闭包。得到了闭包的基本性质:判据是偏序的，闭包是闭包算子，闭包的性质和作为某方程的最小解的外延表示(建立了该方程所有解的集合结构)。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Mathematical foundations of multiple inheritance: Reflexive-transitive closure of the binary relations

The paper is devoted to the mathematical foundations of the linearization algorithms - the method of 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 basic properties of this closure are found: the criterion to be partial order, closure is the closure operator, denotative representations of closure in terms of its properties and as the least solution of some equation (the structure of the set of all solutions of this equation is established).

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2016 XII International Conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)

自引率

0.00%

发文量