卢卡·卡德利;乔治·盖利 基于环境逻辑的查询语言。 （英语） Zbl 0977.68028号 Sands，David（编辑），《编程语言与系统》。2001年4月2日至6日在意大利热那瓦举行的第十届欧洲程序设计研讨会（ESOP 2001），是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2028, 1-22 (2001). 摘要：环境逻辑是一种模式逻辑，用于描述分布式和移动计算的结构和计算特性。环境逻辑的结构部分本质上是标记树的逻辑，因此它是半结构化数据查询语言的良好基础，就像一阶逻辑是关系查询语言的合适基础一样。我们在这里定义了一种基于环境逻辑的半结构化数据查询语言，并概述了该语言的执行模型。这种语言很有表现力。它的强大基础和环境逻辑中的等价性有助于定义语言语义和执行模型。关于整个系列，请参见[Zbl 0960.00060号]. 引用于1审查引用于14文件 MSC公司： 第68页，共15页 数据库理论 68甲15 编程语言理论 03B70号 计算机科学中的逻辑 03B45号 模态逻辑（包括规范逻辑） PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{G.Ghelli}，莱克特。注释计算。科学。2028年1月22日（2001年；Zbl 0977.68028） 全文： 链接