根据部分K值逻辑完备性理论,得到了当m=2,σ=e,时,若正则可离关系G2之关系图的基础图连通,则T(G2)不是P*K的最小覆盖成员的结论。