论文标题
FOLE等效性
FOLE Equivalence
论文作者
论文摘要
一阶逻辑环境FOLE [5]为分布式可互操作的一阶信息系统提供了一种严格而有原则的方法。 Fole以两种形式开发：一种分类形式和一种解释形式。两篇论文表示与信息流框架的思想相对应的分类形式[11]，[12]，[13]：第一篇论文[6]提供了将ERA数据模型[2]与一阶逻辑环境的组成部分连接起来的基础；第二篇论文[7]提供了一个上层建筑，将FOLE扩展到一阶逻辑的形式主义。 FOLE的分类形式中的形式主义为开发关系演算提供了适当的框架。另外两篇论文以解释形式代表FOLE：第一篇论文[8]在关系模型[3]之后提出了Fole表的概念；第二篇论文[9]讨论了FOLE关系数据库的概念。关系代数的所有操作都使用FOLE的解释形式进行了严格开发[10]。本研究表明，FOLE的分类形式在信息上等同于Fole的解释形式。通常，FOLE表示使用概念结构方法，该方法与形式概念分析[4]和信息流[1]完全兼容。
The first-order logical environment FOLE [5] provides a rigorous and principled approach to distributed interoperable first-order information systems. FOLE has been developed in two forms: a classification form and an interpretation form. Two papers represent FOLE in a classification form corresponding to ideas of the Information Flow Framework [11],[12],[13]: the first paper [6] provides a foundation that connects elements of the ERA data model [2] with components of the first-order logical environment FOLE; the second paper [7] provides a superstructure that extends FOLE to the formalisms of first-order logic. The formalisms in the classification form of FOLE provide an appropriate framework for developing the relational calculus. Two other papers represent FOLE in an interpretation form: the first paper [8] develops the notion of the FOLE table following the relational model [3]; the second paper [9] discusses the notion of a FOLE relational database. All the operations of the relational algebra have been rigorously developed [10] using the interpretation form of FOLE. The present study demonstrates that the classification form of FOLE is informationally equivalent to the interpretation form of FOLE. In general, the FOLE representation uses a conceptual structures approach, that is completely compatible with formal concept analysis [4] and information flow [1].
