布埃诺，弗朗西斯科;玛丽亚·加西亚·德拉班达 对共享而言，集合共享并不总是多余的。 （英语） Zbl 1122.68364号 Kameyama，Yukiyoshi（编辑）等人，《功能和逻辑编程》。第七届国际研讨会，FLOPS 2004，日本奈良，2004年4月7日至9日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21402-X/pbk）。《计算机科学讲义》2998117-131（2004）。 摘要：在分析逻辑程序时，程序变量之间的共享是至关重要的信息。此信息通常表示为集合或共享的程序变量对。也就是说，无论是作为集共享还是作为对共享。最近有人认为，（a）集共享有趣的不是作为一个可观察的属性本身，而是作为一种用于精确的对共享的编码，并且（b）这种编码实际上是冗余的，可以在不损失对共享准确性的情况下大大简化。我们表明，当集共享与其他类型的信息（如流行的自由度）相结合时，情况并非如此。关于整个系列，请参见[Zbl 1048.68005号]. 引用于2文件 MSC公司： 68N17号 逻辑编程 PDF格式BibTeX公司 XML格式引用 \textit{F.Bueno}和\textit{M.Garcia de la Banda}，莱克特。注释计算。科学。2998117--131（2004年；Zbl 1122.68364） 全文： 内政部