Results on decision of the minimal covering members for regular separable relation

Computer Engineering and Applications ›› 2007, Vol. 43 ›› Issue (5): 28-29.

• 学术探讨 • Previous Articles Next Articles

Results on decision of the minimal covering members for regular separable relation

Liu Yuzhen

Received:2006-06-07 Revised:1900-01-01 Online:2007-02-11 Published:2007-02-11
Contact: Liu Yuzhen

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

刘玉珍刘任任

湘潭大学信息工程学院湘潭大学信息工程学院计算机系

通讯作者: 刘玉珍

Abstract

Abstract: According to the completeness theory of partial K-valued logic, it is proved that if let the basic graph of the regular separable relation be connected under the condition of and .Then must not belong to the minimal covering of .
Key words: multiple-valued logic; completeness; Sheffer function; maximal closed sets (precomplete sets); minimal covering；regular separable relation

Key words: multiple-valued logic, completeness, Sheffer function, maximal closed sets (precomplete sets), minimal covering, regular separable relation

摘要： ：根据部分K值逻辑完备性理论，得到了当，时，若正则可离关系之关系图的基础图连通，则不是的最小覆盖成员的结论。

关键词: 多值逻辑, 完备性, Sheffer 函数, 极大封闭集(准完备集), 最小覆盖, 正则可离关系

Liu Yuzhen. Results on decision of the minimal covering members for regular separable relation[J]. Computer Engineering and Applications, 2007, 43(5): 28-29.

刘玉珍刘任任.

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

[J]. 计算机工程与应用, 2007, 43(5): 28-29.

[1]	ZHANG Kaibi, ZHOU Zhen, WEI Pengcheng, LI Li. Multi-Keyword Verifiable Ciphertext Search Scheme in Outsourced Database [J]. Computer Engineering and Applications, 2019, 55(17): 76-81.
[2]	BAI Zhi’an1, ZENG Jianping2. Optimal Selection Method for LDA Topics Based on Degree of Overlap and Completeness [J]. Computer Engineering and Applications, 2019, 55(12): 155-161.
[3]	HE Zhaoyang, DU Yuyue, WANG Lu. Process mining algorithm for discovering special loop structures [J]. Computer Engineering and Applications, 2018, 54(22): 42-50.
[4]	LI Shiyang, WANG Xiaoming. Multi-user verifying completeness and integrity encrypted keyword query in cloud storage [J]. Computer Engineering and Applications, 2016, 52(7): 132-138.
[5]	LV Jianghua1, LIU Zhifeng1, XU Yatao2, ZHOU Conghua1. Verification of correctness of attribute based access control [J]. Computer Engineering and Applications, 2016, 52(18): 98-103.
[6]	ZOU Muquan, WANG Lizhen, YAO Huachuan. Spatial colocation patterns discovery in fuzzy spatial [J]. Computer Engineering and Applications, 2014, 50(7): 108-115.
[7]	PENG Li, YANG Hengfu. ABox consistency decision algorithm for description logic SHIN [J]. Computer Engineering and Applications, 2013, 49(20): 55-62.
[8]	GONG Zhiwei1, LIU Renren2. Minimal covering for precomplete sets in partial four-valued logic [J]. Computer Engineering and Applications, 2012, 48(23): 52-57.
[9]	SHI Huixian¹，WANG Guojun^1，2. Logic system MTL_▽and its completeness [J]. Computer Engineering and Applications, 2011, 47(6): 30-33.
[10]	JIN Huixia1，HE Qian2. Decision of Sheffer functions in partial four-valued logic [J]. Computer Engineering and Applications, 2011, 47(29): 140-142.
[11]	HE Qian，LIU Ren-ren. Conformational and determinant algorithm on Sheffer function in partial two-valued logic [J]. Computer Engineering and Applications, 2010, 46(5): 28-30.
[12]	ZHANG Sheng-li^1，2，PAN Zheng-hua². One new model of infinite valued for medium proposition logic and its meaning [J]. Computer Engineering and Applications, 2010, 46(31): 45-49.
[13]	SHENG Gang¹，CUI Xin-chun². Query completeness verification of outsourced databases [J]. Computer Engineering and Applications, 2009, 45(28): 145-147.
[14]	GUO Jing ^1，2，LIAO Shi-zhong¹. Complete labeling set for 3D-sketch with occlusion [J]. Computer Engineering and Applications, 2009, 45(21): 189-192.
[15]	CHEN Jian-nan. Preliminary study of balanced perfect magic square of prime order [J]. Computer Engineering and Applications, 2009, 45(21): 179-182.

Results on decision of the minimal covering members for regular separable relation

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

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics