鲁道夫·伯哈默;巴巴拉·利奥尼乌克;米兰，乌尔夫 使用二进制决策图实现关系代数。 （英语） Zbl 1027.68036号 Harrie C.M.de Swart（编辑），《计算机科学中的关系方法》。2001年10月16日至21日，第六届国际会议，RelMiCS 2001和成本行动274 TARSKI第一次研讨会，荷兰Oisterwijk。修订论文。柏林：斯普林格。莱克特。注释计算。科学。2561, 241-257 (2002). 摘要：我们展示了如何通过二进制决策图有效地实现关系及其操作。此实现用于计算机系统RELVIEW。为了证明该方法的威力，我们展示了如何将其应用于攻击计算困难的问题。关于整个系列，请参见[Zbl 1014.00018号]. 引用于19文件 MSC公司： 68第05页 数据结构 03G15年 柱代数和多代数；关系代数 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 软件：CUDD公司;重新查看 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}等人，Lect。注释计算。科学。2561、241--257（2002；Zbl 1027.68036） 全文： 链接