亚德南·亚兹奇;奥斯曼·梅尔丹 复杂和不确定概念模式的验证和转换。 （英语） Zbl 1232.68151号 国际期刊不确定性。模糊知识-基于系统。 5，第6号，655-679（1997）. 摘要：在数据库环境中，有必要在概念层次上表示复杂和不确定的信息，然后将概念模式转换为逻辑模式，以便最终实现。根据对模式定义施加的约束验证概念模式也很重要。在本文中，我们主要关注概念图式的验证和转换。为了验证ExIFO数据模型表示的概念模式（IFO数据模式的扩展），我们引入了一些不变量。我们还描述了将概念规范映射到用扩展的（text{NF}^{2}）数据库模型表示的逻辑数据库模式的转换算法。我们在本文中描述的系统已经实现，它可以测试给定的ExIFO规范是否有效，并将概念规范转换为逻辑模式。转换算法在计算上是高效的，并且保留了用验证的概念模式表示的知识。 理学硕士： 68层37 人工智能背景下的不确定性推理 第68页，共15页 数据库理论 关键词：语义数据模型;逻辑数据库模型;不确定和复杂信息;验证 PDF格式BibTeX公司 XML格式引用 \textit{A.Yazici}和\textit{O.Merdan}，国际期刊《不确定性》。模糊知识-基于系统。5，第6号，655--679（1997；Zbl 1232.68151） 全文： 内政部