库雷 swMATH ID: 15450 软件作者: U.米兰人 描述: 库尔:基尔大学关系包。KURE是“基尔大学关系包”的缩写。Kure是一个C库,它使用二进制决策图的快速实现提供了对关系和关系代数操作的操作。它提供了一种基于Lua的特定于域的嵌入式编程语言,可以方便地操作和处理关系。例如,给定关系R,S,可以使用[R,S]计算它们的元组,并且可以使用R*S组合它们。历史上,Kure库源自RelView工具。如今,Kure是一个独立的静态库,它不依赖于RelView工具的任何部分 主页: https://www.informatik.uni-kiel.de网站/~progsys/kure2/ 相关软件: 重新查看;GBDD公司;Z轴;MCK公司;哈斯克尔 引用于: 2文件 3位作者引用 1 亚历山大·弗伦克 1 沃尔夫拉姆·卡尔 1 布列塔·凯登 引用于2个系列 1 符号计算杂志 1 逻辑与代数程序设计杂志 在4个字段中引用 2 数学逻辑和基础(03-XX) 2 计算机科学(68至XX) 1 一般代数系统(08-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文