东南大学学报(自然科学版)
東南大學學報(自然科學版)
동남대학학보(자연과학판)
JOURNAL OF SOUTHEAST UNIVERSITY(NATURAL SCIENCE EDITION)
2001年
6期
124-128
,共5页
邵家玉%邵媛媛%张家明%周伯鑫
邵傢玉%邵媛媛%張傢明%週伯鑫
소가옥%소원원%장가명%주백흠
数据模型%演绎%工程%数据库
數據模型%縯繹%工程%數據庫
수거모형%연역%공정%수거고
本文将演绎数据库和工程数据库结合起来,在分析了它们各自发展现状的基础上,给出了一个基于知识的工程数据库模型,该模型可以有效地解决上述工程应用问题.本文着重分析了在实际工程应用环境中知识的新特点,给出了演绎工程数据库模型的形式化描述,并讨论了在此情况下的推理问题.最后用知识规则统一表示了数据库完整性约束.
本文將縯繹數據庫和工程數據庫結閤起來,在分析瞭它們各自髮展現狀的基礎上,給齣瞭一箇基于知識的工程數據庫模型,該模型可以有效地解決上述工程應用問題.本文著重分析瞭在實際工程應用環境中知識的新特點,給齣瞭縯繹工程數據庫模型的形式化描述,併討論瞭在此情況下的推理問題.最後用知識規則統一錶示瞭數據庫完整性約束.
본문장연역수거고화공정수거고결합기래,재분석료타문각자발전현상적기출상,급출료일개기우지식적공정수거고모형,해모형가이유효지해결상술공정응용문제.본문착중분석료재실제공정응용배경중지식적신특점,급출료연역공정수거고모형적형식화묘술,병토론료재차정황하적추리문제.최후용지식규칙통일표시료수거고완정성약속.
