Decomposition for a new kind of imprecise information system

doi:10.1007/s11704-017-4436-2

	Decomposition for a new kind of imprecise information system
	Deng, Shaobo 1; Guan, Sujie 1; Li, Min 1; Wang, Lei 1; Sui, Yuefei 2
	2018-04-01
发表期刊	FRONTIERS OF COMPUTER SCIENCE
ISSN	2095-2228
卷号	12 期号:2 页码:376-395
摘要	In this paper, we first propose a new kind of imprecise information system, in which there exist conjunctions (a 's), disjunctions (a's) or negations (Anotsign's). Second, this paper discusses the relation that only contains a 's based on relational database theory, and gives the syntactic and semantic interpretation for a and the definitions of decomposition and composition and so on. Then, we prove that there exists a kind of decomposition such that if a relation satisfies some property then it can be decomposed into a group of classical relations (relations do not contain a ) that satisfy a set of functional dependencies and the original relation can be synthesized from this group of classical relations. Meanwhile, this paper proves the soundness theorem and the completeness theorem for this decomposition. Consequently, a relation containing a 's can be equivalently transformed into a group of classical relations that satisfy a set of functional dependencies. Finally, we give the definition that a relation containing a 's satisfies a set of functional dependencies. Therefore, we can introduce other classical relational database theories to discuss this kind of relation.
关键词	imprecise information systems decomposition composition soundness and completeness
DOI	10.1007/s11704-017-4436-2
收录类别	SCI
语种	英语
资助项目	Science and Technology Project of Jiangxi Provincial Department of Education[GJJ161109] ; Science and Technology Project of Jiangxi Provincial Department of Education[GJJ151126] ; National Natural Science Foundation of China[61363047] ; National Natural Science Foundation of China[61562061] ; Project of Science and Technology Department of Jiangxi Province[20161BBE50051] ; Project of Science and Technology Department of Jiangxi Province[20161BBE50050]
WOS研究方向	Computer Science
WOS类目	Computer Science, Information Systems ; Computer Science, Software Engineering ; Computer Science, Theory & Methods
WOS记录号	WOS:000428282200012
出版者	HIGHER EDUCATION PRESS
引用统计
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/5921
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Li, Min; Sui, Yuefei
作者单位	1.Nanchang Inst Technol, Sch Informat Engn, Nanchang 330099, Jiangxi, Peoples R China 2.Chinese Acad Sci, Inst Comp Technol, Key Lab Intelligent Informat, Beijing 100190, Peoples R China
推荐引用方式 GB/T 7714	Deng, Shaobo,Guan, Sujie,Li, Min,et al. Decomposition for a new kind of imprecise information system[J]. FRONTIERS OF COMPUTER SCIENCE,2018,12(2):376-395.
APA	Deng, Shaobo,Guan, Sujie,Li, Min,Wang, Lei,&Sui, Yuefei.(2018).Decomposition for a new kind of imprecise information system.FRONTIERS OF COMPUTER SCIENCE,12(2),376-395.
MLA	Deng, Shaobo,et al."Decomposition for a new kind of imprecise information system".FRONTIERS OF COMPUTER SCIENCE 12.2(2018):376-395.