FOLE数据库
摘要：在第一阶逻辑环境（Kent）中讨论本体论的表示和解释。本体论以（多样化的）一阶逻辑来表示和解释。五篇论文在第一阶逻辑环境（Kent）中为ERA（实体-关系-属性）数据模型（Chen）提供了严格的数学表示，特别是本体论的一般表示。两篇论文（Kent和另一篇）以与信息流框架（IFF）讨论的思想相对应的“分类形式”来表示（多样化的）一阶逻辑的形式和语义。两篇论文（Kent和本文）以“解释形式”来表示（多样化的）一阶逻辑，扩展了（Kent）中的材料。第五篇论文（Kent）证明了类别形式的FOLE与解释形式的FOLE在信息上是“信息等价”的，从而定义了一阶逻辑/关系数据库系统的形式和语义。虽然分类形式遵循了Chen的实体-关系-属性数据模型，但解释形式则融入了Codd的关系数据模型。另外两篇论文讨论了“关系代数”（Kent）和“关系演算”。总的来说，FOLE表示采用了概念结构方法，与机构理论（Goguen和Burstall）、形式概念分析（Ganter和Wille）和信息流（Barwise和Seligman）完全兼容。
作者：Robert E. Kent
论文ID：2302.05997
分类：Databases
分类简称：cs.DB
提交时间：2023-04-25