FOLE等价性
摘要：第一阶逻辑环境FOLE提供了一个严格而有原则性的方法，用于分布式互操作的一阶信息系统。FOLE以两种形式进行了开发：分类形式和解释形式。两篇论文代表了FOLE的分类形式，对应于信息流框架的思想：第一篇论文提供了一个基础，将ERA数据模型的元素与FOLE的组件相连接；第二篇论文提供了一个扩展FOLE到一阶逻辑形式的超结构。FOLE分类形式中的形式提供了开发关系演算的合适框架。另外两篇论文以FOLE解释形式进行了表示：第一篇论文开发了FOLE表的概念，遵循了关系模型；第二篇论文讨论了FOLE关系数据库的概念。所有关系代数的操作都是在使用FOLE解释形式时严格开发的。本研究证明了FOLE的分类形式和解释形式在信息上是等价的。总的来说，FOLE表示使用了概念结构方法，完全兼容形式概念分析和信息流。
作者：Robert E. Kent
论文ID：2201.07373
分类：Databases
分类简称：cs.DB
提交时间：2023-04-25