罗伯特·布里德;马克·吉森斯;Van den Bussche，简 关于矩阵和（K）-关系。 （英语） Zbl 07266044号 Andreas Herzig等人，《信息和知识系统基础》。第十一届国际研讨会，2020年2月17日至21日，德国多特蒙德，FoIKS 2020。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12012, 42-57 (2020). 摘要：我们证明了矩阵查询语言（mathsf{MATLANG}）对应于（K）-关系上的正关系代数的一个自然片段。通过引入复合运算符并将（K）-关系限制为2来定义片段。然后我们进一步证明，当中间算术限制为3时，（mathsf{MATLANG}）可以表示在正关系代数中可表达的所有矩阵查询。因此，我们在具有数值数据的模型中，对经典逻辑中的情况进行了模拟，其中二进制关系的代数等价于具有三个变量的一阶逻辑。关于整个系列，请参见[Zbl 1435.68031号]. 引用于2文件 理学硕士： 第68页，共15页 数据库理论 68T27型 人工智能中的逻辑 68层35 人工智能的语言和软件系统理论（基于知识的系统、专家系统等） 68单位35 信息系统的计算方法（超文本导航、接口、决策支持等） 关键词：表达能力;种源半环;带注释的关系;数据科学 软件：马特朗;LaraDB公司 PDF格式BibTeX公司 XML格式引用 \textit{R.Brijder}等人，Lect。注释计算。科学。12012，42-57（2020；Zbl 07266044） 全文： 内政部