沃尔夫拉姆·卡尔 关系半群胚：无限类型之间有限关系的抽象关系代数接口。 （英文） Zbl 1139.18005号 J.日志。阿尔盖布。程序。 76，第1号，60-89（2008）. 摘要：有限映射或无限集之间的有限关系甚至不构成范畴，因为必要的恒等式不是有限的。我们证明了半群胚的关系代数扩张，其中将产生无限结果的操作已被保持有限性但仍满足有用代数定律的变体所取代。由此产生的理论允许以关系代数的方式进行计算推理，而只需做出微小的牺牲；我们对普遍性的强调甚至提供了一些以前没有的理论概念。本文提出的半群理论也可以直接指导库接口设计，从而用于原理关系代数编程；Haskell中的一个示例实现允许以与当前Haskell集合类型自然集成的无点关系代数编程风格将有限的二进制关系作为数据进行操作。这种方法可以无缝集成关系代数公式，为不同数据组织难以解决的问题提供优雅的解决方案。 引用于6文件 MSC公司： 18B40码 群胚、半群胚、半群、群（视为范畴） 18B10型 跨度/cospan、关系或部分映射的类别 03G15年 柱代数和多代数；关系代数 08A05号 代数结构的结构理论 68卢比99 离散数学与计算机科学 68甲18 函数编程和lambda演算 关键词：有限关系;半群胚;确定性;限制残差;直接产品;函数式编程;哈斯克尔 软件：MCK公司;哈斯克尔;Z轴;库雷;GBDD公司 PDF格式BibTeX公司 XML格式引用 \textit｛W.Kahl｝，J.日志。阿尔盖布。程序。76，第1号，60--89（2008；Zbl 1139.18005） 全文： 内政部 参考文献： [1] C.Aarts、R.C.Backhouse、P.Hoogendijk、E.Voermans、J.van der Woude，《数据类型的关系理论》，工作文件，1992年，第387页<网址：http://www.cs.nott.ac.uk//rcb/MPC/book.ps.gz>。；C.Aarts，R.C.Backhouse，P.Hoogendijk，E.Voermans，J.van der Woude，《数据类型的关系理论》，工作文件，1992387pp<网址：http://www.cs.nott.ac.uk//rcb/MPC/book.ps.gz>。 [2] Abrial，J.-R.，《B书：赋予程序意义》（1996），剑桥大学出版社·Zbl 0915.68015号 [3] Backhouse，R.C。；van der Woude，J.，《恶魔算子和单型因子》，数学。结构计算。科学。，3, 4, 417-433 (1993) ·Zbl 0797.68114号 [4] R.Berghammer，T.Hoffmann，B.Leoniuk，Rechnergestützte Erstellung von Prototypen füR Programme auf relationalen Strukturen，技术报告9905，德国信息与实践研究所Mathematik，Christian-Albrechts-Universität Kiel，1999年<http://www.informatik.uni-kiel.de/progsys/relview/>。；R.Berghammer，T.Hoffmann，B.Leoniuk，Rechnergestützte Erstellung von Prototypen füR Programme auf relationalen Strukturen，技术报告9905，德国信息与实践研究所Mathematik，Christian-Albrechts-Universität Kiel，1999年<http://www.informatik.uni-kiel.de/progsys/relview/>。 [5] Berghammer，R。；霍夫曼，T。；Leoniuk，B。；美国米兰人。；Kahl，W。；Parnas，D.L。；Schmidt，G.，《原型制作与关系编程》，《软件中的关系方法》，2001年《RelMiS学报》。软件中的关系方法，RelMiS论文集2001，电子。注释Theor。计算。科学。，44, 3.1-3.24 (2003) [6] Berghammer，R。；Milanese，U.，《布尔逻辑问题的关系方法》，（McCall，W.；Winter，M.；Düntsch，I.，第八届计算机科学关系方法国际研讨会，RelMiCS 82005年2月。第八届计算机科学关系方法国际研讨会，RelMiCS 8，2005年2月，LNCS，第3929卷（2006），Springer）·Zbl 1185.03090号 [7] Bird，R.S。；de Moor，O.，《编程代数》。程序设计代数，计算机科学国际丛书，100（1997），普伦蒂斯·霍尔·Zbl 0867.68042号 [8] 伯德·R。；Wadler，P.，《函数编程导论》（1988），Prentice-Hall [9] J.Bradley，二进制决策图——功能实现<网址：http://www.cs.bris.ac.uk/bradley/publish/bdd/>，1997年。；J.Bradley，二进制决策图——功能实现<网址：http://www.cs.bris.ac.uk/bradley/publish/bdd/>，1997年。 [10] （Brink，C.；Kahl，W.；Schmidt，G.，《计算机科学中的关系方法》，《计算科学进展》（1997），Springer:Springer-Wien，纽约）·Zbl 0871.00027号 [11] Bryant，R.E.，布尔函数操作的基于图形的算法，IEEE Trans。计算。，C-35，8677-691（1986年）·Zbl 0593.94022号 [12] J.Christiansen，F.Huch，Haskell中ROBDD的纯功能实现，发表于TFP 2006<网址：http://www.cs.nott.ac.uk/nhn/TFP2006/>，2006年。；J.Christiansen，F.Huch，Haskell中ROBDD的纯功能实现，发表于TFP 2006<网址：http://www.cs.nott.ac.uk/nhn/TFP2006/>，2006年。 [13] N.A.Day，J.Launchbury，J.Lewis，《Haskell中的逻辑抽象》，收录于：《Haskel研讨会论文集》，乌得勒支大学计算机科学系，技术报告UU-CS-1999-281999年。；N.A.Day，J.Launchbury，J.Lewis，《Haskell中的逻辑抽象》，收录于：《Haskel研讨会论文集1999》，乌得勒支大学计算机科学系，技术报告UU-CS-1999-281999。 [14] J.Desharnais，B.Möller，《刻画Kleene代数中的确定性》，技术报告，法国信息研究所。奥格斯堡大学，2000年（15的长篇版本）。；J.Desharnais，B.Möller，《刻画Kleene代数中的确定性》，技术报告，法国信息研究所。奥格斯堡大学，2000年（15的长篇版本）。 [15] Desharnais，J。；Möller，B.，描述Kleene代数中的确定性，Inform。科学。，139, 253-273 (2001) ·兹比尔1004.68105 [16] Desharnais，J。；Möller，B。；Struth，G.，带域的Kleene代数，ACM Trans。计算。逻辑，7，4，798-833（2006）·Zbl 1367.68205号 [17] Dougherty博士。；Gutiérrez，C.，二元关系理论的范式与约简，（Bachmair，L.，重写技术与应用，RTA 2000年学报。重写技术与应用，《RTA 2000会议录》，LNCS 1833（2000），Springer），95-109·Zbl 0964.03069号 [18] 弗雷德·P·J。；Scedrov，A.，分类，寓言。类别，寓言，北荷兰德数学图书馆，39（1990），北荷兰：北荷兰德阿姆斯特丹·Zbl 0698.18002号 [19] A.Fronk，《使用关系代数以基于CASE工具的方法分析Petri网》，载于：第二届IEEE软件工程和形式化方法国际会议（SEFM 2004），2004年，第396-405页。；A.Fronk，《使用关系代数以基于CASE工具的方法分析Petri网》，载于：第二届IEEE软件工程与形式化方法国际会议（SEFM 2004），2004年，第396-405页。 [20] H.Furusawa，W.Kahl，《对称商的研究》，技术报告1998-06，Fakultät für Informatik，联邦国防大学，1998年。；H.Furusawa，W.Kahl，《对称商研究》，技术报告1998-06，Fakultät für Informatik，联邦国防大学，1998年。 [21] Gammie，P。；van der Meyden，R.，MCK：模型检验知识的逻辑（第16届计算机辅助验证国际会议，CAV 2004）。第16届计算机辅助验证国际会议，CAV 2004，LNCS（2004），Springer，479-483·Zbl 1103.68614号 [22] A.Haeberer，M.Frias，G.Baum，P.Veloso，《福克代数》，载于：[10]，第54-69页（第4章）。；A.Haeberer，M.Frias，G.Baum，P.Veloso，《福克代数》，载于：[10]，第54-69页（第4章）·Zbl 0961.03060号 [23] Hughes，J.，《漂亮打印库的设计》，（Jeuring，J.；Meijer，E.，《高级函数编程》，LNCS 925（1995），Springer:Springer Berlin），53-96 [24] W.Kahl，G.Schmidt，使用Haskell编写的工具探索（有限）关系代数，技术报告2000-02，Fakultät für Informatik，Bundeswehr慕尼黑大学，2000。；W.Kahl，G.Schmidt，使用Haskell编写的工具探索（有限）关系代数，技术报告2000-02，Fakultät für Informatik，Bundeswehr慕尼黑大学，2000。 [25] W.Kahl，图结构转换的关系代数方法，Habil，论文，联邦国防军慕尼黑大学Fakultät für Informatik，2002-03年技术报告。；W.Kahl，《图形结构转换的关系代数方法》，Habil，论文，Fakultät für Informatik，德国联邦国防大学，2002-032001年技术报告。 [26] Kahl，W.，《围绕有序范畴和逆重构异质关系代数》，J.Relat。方法计算。科学。，1, 277-313 (2004) [27] Kambits，M.，自动半群和范畴，Theor。计算。科学。，353, 272-290 (2006) ·Zbl 1095.20032号 [28] Kozen，D.，Kleene代数和正则事件代数的完备性定理，Inform。计算。，110, 2, 366-390 (1994) ·Zbl 0806.68082号 [29] Kozen，D.，Kleene代数与测试，ACM Trans。编程语言系统。，427-443 (1997) [30] D.Kozen，类型Kleene代数，技术报告98-1669，康奈尔大学计算机科学系，1998年。；D.Kozen，类型Kleene代数，技术报告98-1669，康奈尔大学计算机科学系，1998年。 [31] B.Leoniuk，ROBDD-basierte Implementierung von Relationen und relationalen Operationen mit Anwendungen，信息与实践数学研究所博士论文，Christian-Albrechts-Universität Kiel，2001年。；B.Leoniuk，ROBDD-basierte Implementierung von Relationen und relationalen Operationen mit Anwendungen，博士论文，瑞士信息与实践数学研究所，Christian-Albrechts-Universität Kiel，2001年。 [32] D.Long，模型检查BDD库@CMU<http://www.cs.cmu.edu/modelcheck/bdd.html>，1994年。；D.Long，模型检查BDD库@CMU<http://www.cs.cmu.edu/modelcheck/bdd.html>，1994年。 [33] KURE:Kiel大学关系包，1.0版<http://www.informatik.uni-kiel.de/progsys/relview/kure>，2004年。；KURE:Kiel大学关系包，1.0版<http://www.informatik.uni-kiel.de/progsys/relview/kure>，2004年。 [34] B.Möller，类型Kleene代数，技术报告1999-8，信息研究所，奥格斯堡大学，1999年。；B.Möller，类型Kleene代数，技术报告1999-8，信息研究所，奥格斯堡大学，1999年。 [35] M.Nilsson，GBDD-A表示与BDD关系的包<http://www.regularmodelchecking.com/>, 2004.; M.Nilsson，GBDD-A表示与BDD关系的包<http://www.regularmodelchecking.com/>, 2004. [36] Peyton Jones，S.，《修订后的Haskell 98报告》（2003年），剑桥大学出版社·Zbl 1067.68041号 [37] Riguet，J.，《双星关系、费米数、伽罗瓦通讯》，公牛。社会数学。法国，76114-155（1948）·Zbl 0033.00603号 [38] G.Schmidt，C.Hattensperger，M.Winter，异质关系代数，见：[10]，第39-53页（第3章）。；G.Schmidt，C.Hattensperger，M.Winter，《异质关系代数》，载于：[10]，第39-53页（第3章）·Zbl 0961.03061号 [39] Schröder，L.，同构与半范畴幂等元的分裂，Cahiers拓扑几何。不同类别。，4143-153（2000年）·Zbl 0955.18002号 [40] F.Somenzi，二元决策图，收录于：M.Broy，R.Steinbrüggen（编辑），Calculation。系统。设计。，序列号。F： 计算。系统。科学。173（1998）303-366（IOS出版社与北约科学事务司合作，ISSN 1387-6694）。；F.Somenzi，二元决策图，收录于：M.Broy，R.Steinbrüggen（编辑），Calculation。系统。设计。，序列号。F： 计算。系统。科学。173（1998）303-366（IOS出版社与北约科学事务司合作，ISSN 1387-6694）·Zbl 0948.68215号 [41] J.M.Spivey，《Z符号：参考手册》，普伦蒂斯·霍尔计算机科学国际丛书，普伦提斯·霍尔出版社，1989年<http://spivey.oriel.ox.ac.uk/迈克/zrm/>。；J.M.Spivey，《Z符号：参考手册》，普伦蒂斯·霍尔计算机科学国际丛书，普伦提斯·霍尔出版社，1989年<http://spivey.oriel.ox.ac.uk/迈克/zrm/>·Zbl 0777.68003号 [42] Tilson，B.，《作为代数的范畴：幺半群理论的基本成分》，J.Pure Appl。代数，48，83-198（1987）·兹比尔0627.20031 [43] Weil，P.，半群理论中的Profinite方法，国际代数计算杂志。，12, 137-178 (2002) ·Zbl 1083.20510号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。