多粒度框架中二元谓词的推理规则
摘要：基于多粒度框架的两个最重要的二元谓词是包含和无交。在本研究的第一部分，我们开发了一个基于这些谓词的断言的声音和完备的推理系统。该系统被定制为适用于粒度框架，特别地，它正确地建模了底层和顶层粒度，并且要求除底层以外的所有粒度都非空。此外，它是单次使用的，即在证明中没有任何断言被多次用作前提。 在本研究的第二部分，我们开发了一种方法，用于将一个在Armstrong模型中有效且完备的推理系统扩展到提供对所有断言（包括肯定和否定）进行有效和完备推理的框架上。然后，将此方法应用于二元粒度谓词，以获得关于包含和无交以及它们的否定的声音和完备的推理系统。
作者：Stephen J. Hegner and M. Andrea Rodriguez
论文ID：2303.15138
分类：Databases
分类简称：cs.DB
提交时间：2023-03-28