哈工大DB-关系模型第五讲：元组与域演算详解及安全性探讨

本资源主要讲解了关系模型中的核心概念——关系演算，分为关系元组演算和关系域演算两个部分，以及它们在数据库查询表达中的作用。关系演算起源于数理逻辑中的谓词演算，为理解关系数据库操作提供了一种逻辑框架。 1. **关系元组演算** - 关系元组演算的基础是元组变量，它是以元组t为谓词变量的公式表示。公式形式如`{t | P(t)}`，意为所有使得P(t)为真的元组t的集合。P(t)可以是原子公式，如属性比较（`t[A] = c`）、存在量词（`∃X (P(X) ∧ Q)`）和全称量词（`∀X (P(X) → Q)`）的组合。 - 原子公式包括常量比较、分量与分量比较，通过与（∧）、或（∨）、非（¬）等逻辑运算符将它们组合起来。训练内容涵盖了等价性变换和将关系代数转换为元组演算的实践环节。 2. **关系域演算** - 这部分关注的是域变量，即以域变量作为谓词变量。关系域演算的定义涉及对关系的属性集合进行操作，与元组演算相比，其关注点更侧重于属性而非整个元组。 - 示例和与元组演算的区别展示了这两种运算的不同之处，帮助理解和掌握它们各自的表达方式。 3. **基于关系域演算的QBE语言** - QBE（Query by Example）是一种查询语言，它利用关系域演算的概念，允许用户通过给出查询实例来表达查询。这部分介绍了QBE的语言概述、基本形式以及操作，通过应用训练提升理解和实践能力。 4. **关系演算的安全性** - 关注关系演算中的安全性问题，包括安全约束的设置，确保数据操作符合预设的规则，防止未经授权的访问。 5. **关于关系运算的观点** - 提供了一些关于关系演算、关系代数与SQL之间关系的观点，强调SQL是结合两者优点的产物，同时指出元组演算和域演算在表达查询时的不同思维方式。 6. **总结** - 对本讲的主要内容进行了概括，强调了关系元组演算和关系域演算的递归定义，以及如何通过这两种方式训练用逻辑思维表达查询的能力。 在整个课程中，重点在于理解关系元组演算和关系域演算的公式结构、原子公式及其运算，以及如何通过这两种逻辑工具有效地处理和查询数据库。此外，安全性的考虑也是关键部分，有助于确保数据操作的正确性和可靠性。