文献类型：期刊文献

英文题名：FCA assisted IF channel construction towards formulating conceptual data modeling

作者：Wang, Yang[1,2]; Feng, Junkang[1,2]

第一作者：Wang, Yang;王颖

通讯作者：Wang, Y.|[11417c7c57ff863f5b963]王颖;

机构：[1] E-Business Research Institute, Business College, Beijing Union University, Beijing, China; [2] Database Research Group, School of Computing, University of Paisley, Paisley PA1 2BE, United Kingdom

第一机构：北京联合大学商务学院

通讯机构：[1]E-Business Research Institute, Business College, Beijing Union University, Beijing, China|[1141721]北京联合大学商务学院;[11417]北京联合大学;

年份：2007

卷号：6

期号：6

起止页码：1159-1167

外文期刊名：WSEAS Transactions on Systems

收录：EI(收录号：20072810696184);Scopus(收录号：2-s2.0-34347383208)

语种：英文

外文关键词：Distributed database systems - Information systems - Mathematical models

摘要：In this paper we explore how IF (Barwise-Seligman's information flow theory) [3] and FCA (Formal Concept Analysis) [20] may be used to help conceptual data modeling. A fundamental observation we make is that the process of conceptual data modeling is a distributed system in the sense of Barwise-Seligman's information flow theory, i.e., the Channel theory [3], and therefore the process of conceptual data modeling perse, the correctness of it, and thus the usefulness of the resultant database depends solely on the existence of a relevant information channel (hereafter IF channel) that takes the real world domain being modelled and the conceptual data model as components. Based upon this conviction, we explore how such an IF channel may be constructed and how it guides conceptual data modeling. The main findings through this work are as follows &bull Using IF and FCA for conceptual data modeling, domain-dependent knowledge is still needed in establishing a set of original correspondences between objects in the real world and those in a conceptual data model. This constitutes the basis for further modeling work; &bull IF and FCA help the modeling in that all those that are required by the existence of an IF channel guide the process of modeling and eventually determine the correctness of it. This includes: Helping check the correctness of the domain-dependent knowledge reflected in the original set of correspondences; Guiding the solicitation of knowledge about the domain from the domain expert throughout the process of modeling. We use a simple example to illustrate our points.