摘要
利用模型论和拓扑学的方法,提出了基于笛卡尔积的知识表示系统和形式化多重数据库,讨论了模型与多重数据库之间的表示关系,利用滤子及其等价关系在模型论域,模型和模型超积上建立了拓扑结构,得到了粗糙逼近形式模型的一种拓扑方法。
Themethodsofmodeltheoryandtopologyareusedtoobtainamodelrepresentationofmultipledatabasesbasedon Descartesproduct.Fi1terandequivalencerelationarealsousedtoobtaintopologicalstructureonmodeluniverse ,modelset andmodelultra productsothatatopologicalmethodisderivedtoobtainPawlakapproximateoperators .
出处
《工程数学学报》
CSCD
北大核心
2003年第6期116-120,共5页
Chinese Journal of Engineering Mathematics
基金
国家863基金资助项目(2001AAll3182).
关键词
数据库
知识表示系统
模型
拓扑空间
粗糙集
multiple database
medel representation
topological space
rough sets