Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers
Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers
复制标题
代数发展技术的最新趋势 - 第 24 届 IFIP WG 1.3 国际研讨会，WADT 2018，英国埃格姆，2018 年 7 月 2-5 日，修订后的精选论文
DOI：
10.1007/978-3-030-23220-7_3
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Chen L
中科院分区：
文献类型：
--
作者：
Chen L
政府、公司和公民可以获得无数的数据来源，这些数据既可以是好的，也可以是坏的。我们分析了组合来自公共来源的数据和链接来自不同来源的数据的概念。我们用一个有序的部分么半群来模拟在单个源中发现的数据及其信息内容，并用不同类型的态射来模拟信息在源之间的传递。为了捕捉一个来源家族之间的联系，我们使用一种Grothendieck构造的形式来创建一个有序的部分么半群，它将该家族的全局数据聚集在一个单一结构中。我们将我们的方法应用于数据库理论和近似推理中的公理结构。因此，有序部分么半群为以其最原始形式收集信息的代数研究提供了基础。
There are countless sources of data available to governments, companies, and citizens, which can be combined for good or evil. We analyse the concepts of combining data from common sources and linking data from different sources. We model the data and its information content to be found in a single source by an ordered partial monoid, and the transfer of information between sources by different types of morphisms. To capture the linkage between a family of sources, we use a form of Grothendieck construction to create an ordered partial monoid that brings together the global data of the family in a single structure. We apply our approach to database theory and axiomatic structures in approximate reasoning. Thus, ordered partial monoids provide a foundation for the algebraic study for information gathering in its most primitive form.