彼得·雷维斯 约束数据库简介。 （英语） Zbl 0995.68035号 计算机科学课文纽约州纽约市：施普林格。xiv，393页（2002年）。 在简要介绍了关系数据库之后，作者给出了约束数据库作为一个概括。该概念基于算术原子约束、布尔原子约束、约束公式和自由布尔代数，并由约束元组、约束关系和最终的约束数据库表示。在关系代数的图形演示之后，作者描述了数据日志系统和应用于数据日志、SQL和关系模型的各种类型的问题（查询、自动机、计算复杂性等）。一个非常有趣的章节是时空数据库及其相应的语言和两个数据库系统之间的互操作性。在约束数据库中使用了作为近似理论的变量数学理论、索引和树、线性规划和图形模型。作者简要介绍了DISCO系统、PReSTO系统及其在计算机视觉、生物信息学和环境建模中的应用。审核人：西尔维乌·克雷库纳什（锡比乌） 引用于13文件 MSC公司： 第68页，共15页 数据库理论 68-01 与计算机科学相关的介绍性说明（教科书、教程论文等） 关键词：数据库；数据记录；约束数据库；查询语言；时空数据库 软件：高超声速 PDF格式BibTeX公司 XML格式引用 \textit{P.Revesz}，约束数据库简介。纽约州纽约市：施普林格（2002；Zbl 0995.68035） 全文： 内政部