将一阶模态语言翻译为关系代数
计算机科学中的逻辑
2007-05-29 v1 数据库
摘要
本文探讨位于关系数据库内并使用模态语言进行查询的 Kripke 结构。首先介绍所使用的模态语言，随后定义数据库和关系代数。基于这些定义，提出了两项内容：一是从模态结构组件到关系数据库模式和实例的映射，二是从模态语言中的查询到关系代数查询的翻译。
引用
@article{arxiv.0705.3949,
title = {Translating a first-order modal language to relational algebra},
author = {Yeb Havinga},
journal= {arXiv preprint arXiv:0705.3949},
year = {2007}
}