1. 首页
  2. 数据库
  3. 其它
  4. 正则可离关系之最小覆盖成员的判定结果

正则可离关系之最小覆盖成员的判定结果

上传者: 2021-02-24 00:52:55上传 PDF文件 160.76KB 热度 4次
根据部分K值逻辑完备性理论,得到了当m=2,σ=e,时,若正则可离关系G2之关系图的基础图连通,则T(G2)不是P*K的最小覆盖成员的结论。
用户评论