信息流逻辑中的可执行一阶查询
摘要：信息流的逻辑（LIF）最近被提出作为知识表示领域的一种通用框架。 在这个框架中，过程性任务仍然可以以声明性、基于逻辑的方式建模。在本文中，我们关注数据库文献中已经研究过的查询处理任务。我们展示了LIF非常适合建模这个任务。为了实现这个目标，我们引入了一种称为“前向”LIF（FLIF）的LIF变体，并应用于一阶逻辑设置中。FLIF采用了一种新颖的图导航方法；它是一种类似于XPath的语言，但实际上等同于Nash和Lud"ascher定义的一阶逻辑的“可执行”片段。我们还可以将FLIF表达式中的变量分类为输入和输出。输入和输出不相交的表达式，称为io-disjoint FLIF表达式，允许将其转换为符合访问限制的代数查询计划。最后，我们证明通用的FLIF表达式总是可以转换为io-disjoint形式。
作者：Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
论文ID：2210.00240
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-22