《表2 压缩约束负表：一种笛卡尔积压缩的负表约束上表缩减算法》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《一种笛卡尔积压缩的负表约束上表缩减算法》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

通过从MDD图中直接抽取c-tuple的方法[12]获取约束负表如表1所示，其笛卡尔积压缩形式如表2所示.表1中的前2个元组被压缩成压缩元组（{a}，{a}，{a，b}），后4个元组被压缩成（{b，c}，{b，c}，{c}），表2中变量x，y，z的取值域分别为{b，c}，{b，c}，{c}.标准负表表1的规模为6，经过笛卡尔积压缩后，得到压缩负表表2的规模为2，可得出压缩率为3.