巴勃罗·巴塞洛;迭戈·菲格拉;列昂尼德·利布金 具有有理关系的图逻辑。 （英文） Zbl 1272.03147号 日志。方法计算。科学。 9，第3号，第1号论文，44页（2013年）. 小结：我们研究了关于词的规则关系和理性关系相互作用的一些基本问题。其主要动机来自对查询图拓扑的逻辑的研究，最近发现了许多应用。这样的逻辑使用正则语言和关系表示的路径上的条件，但它们通常需要通过有理关系（如子词或子序列）来扩展。这种扩展图逻辑中的计算公式归结为检查有理关系与正则或可识别关系的交集的非空性（或者，更一般地说，检查广义交集问题，询问正则关系的某些投影是否与给定的有理关系有非空交集）。我们证明了对于一些基本的和常用的有理关系，具有正则关系的交问题要么是不可判定的（例如，对于子字或后缀，以及一些推广），要么是具有非本原递归复杂性的可判定问题（例如，对子序列及其推广）。这些结果用于排除自由组合规则关系和有理关系的多种图形逻辑，并提供与验证具有非本原递归复杂性的有损信道系统相关的最简单问题。然后，我们通过公式的句法形式将逻辑分为有效的可检查和不可判定两种情况，证明了逻辑结合了单个路径上的正则条件和路径上的有理关系的二分法结果。我们也给出了一些合理关系的例子，对于这些关系，即使没有句法限制，逻辑也是可以判定的。 引用于7文件 MSC公司： 05年3月 与逻辑问题相关的自动机和形式文法 03B70号 计算机科学中的逻辑 第68页，共15页 数据库理论 65年第68季度 形式语言和自动机 68兰特 单词组合学 关键词：正常关系;理性关系;可识别关系;交叉口问题;RPQ（RPQ）;图形数据库;非本原递归 软件：图形日志 PDF格式BibTeX公司 XML格式引用 \textit{P.Barceló}等人，日志。方法计算。科学。9，第3号，第1号论文，44页（2013；Zbl 1272.03147） 全文： 内政部 arXiv公司