免费论文摘要：鉴于代数体例真实性和完美性的风趣关系准则完美集接洽

在关系领会范围，保守的关系准则发掘，可简单爆发数以千计以至数以百万计的关系准则。如许宏大的准则集，用人为的本领很难居中索取出有价格的常识。保守关系准则集内绝大局部关系准则是无趣（Uninteresting）的冗余关系准则。 正文领会了关系准则间的汇合个性和论理个性，提出风趣关系准则集、强风趣关系准则集、广义冗余关系准则以及广义冗余关系准则的观念。风趣关系准则集为不包括广义冗余关系准则的准则集，强风趣关系准则集为不包括广义冗余关系准则的准则集。强风趣关系准则集是在风趣关系准则集内进一步剔除冗余而获得的准则集，是风趣关系准则集的子集。证领会风趣关系准则集和强风趣关系准则集的真实性和完美性：任一属于风趣关系准则集（强风趣关系准则集）的关系准则都不许被该集的任一子集掩盖或转弯抹角掩盖；任一不属于风趣关系准则集（强风趣关系准则集）的关系准则都必被该风趣关系准则集（强风趣关系准则集）的一个子集掩盖或转弯抹角掩盖。证领会强风趣关系准则集是此基础出的几种非冗余关系准则集的子集。鉴于定理，提出了强风趣关系准则集索取算法。试验表白，强风趣关系准则集远小于其余文件所提出的非冗余关系准则集，强风趣关系准则集内的关系准则更具代办性。

来源：半壳优胜鲸鱼幸运星转载请保留出处和链接！

本文链接：http://87cpy.com/293390.html