卢卡·卡德利;菲利普·加德纳;乔治·盖利 用于查询图形的空间逻辑。 （英语） Zbl 1057.68606号 Widmayer，Peter（编辑）等人，自动机，语言和编程。第29届国际学术讨论会，ICALP 2002，西班牙马拉加，2002年7月8日至13日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43864-5）。莱克特。票据计算。科学。2380, 597-610 (2002). 摘要：我们研究了一种用于有向标记图推理的空间逻辑，以及该逻辑的应用，以提供一种用于分析和操作此类图的查询语言。我们使用进程代数的结构给出了一个图描述。我们引入了一种空间逻辑，以便对不相交子图进行局部推理。我们扩展了我们的逻辑以提供一种查询语言，它保留了我们的图模型的多集语义。我们的方法与查询语言（如TQL、Strudel和GraphLog）中更传统的基于集的语义形成了对比。关于整个系列，请参见[Zbl 0993.00041号]. 引用于2评论引用于12文件 MSC公司： 第68页，共15页 数据库理论 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 05C20号 有向图（有向图），比赛 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。票据计算。科学。2380597--610（2002年；Zbl 1057.68606） 全文： 链接