中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
  2. 计算技术研究所
  3. 中国科学院计算技术研究所
  4. 中国科学院计算技术研究所期刊论文
  5. 英文
Decomposition for a new kind of imprecise information system

文献类型：期刊论文

作者Deng, Shaobo1; Guan, Sujie1; Li, Min1; Wang, Lei1; Sui, Yuefei2
刊名FRONTIERS OF COMPUTER SCIENCE
出版日期2018-04-01
卷号12期号:2页码:376-395
关键词imprecise information systems decomposition composition soundness and completeness
ISSN号2095-2228
DOI10.1007/s11704-017-4436-2
英文摘要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.
资助项目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记录号WOS:000428282200012
出版者HIGHER EDUCATION PRESS
源URL[http://119.78.100.204/handle/2XEOYT63/5920]  
专题中国科学院计算技术研究所期刊论文_英文
通讯作者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.

入库方式： OAI收割

来源：计算技术研究所

浏览0
下载0
收藏0
其他版本

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。