问题标签 [tuple-relational-calculus]

查找为位于温哥华市的公司工作的所有员工的姓名、公司名称和经理姓名。

如何在元组关系演算中写这个？这个问题我想了很久。每当涉及“管理”时，我不知道如何处理 manages.manager_name 到 employee.person_name

什么是元组关系演算（TRC）和域关系演算（DRC）？它们与关系代数有何不同？

我是 DBMS 领域的新手。但是我已经学习了关系代数的基础知识。

数据库有以下表格：

• 酒店：（酒店编号、酒店名称、城市）
• 房间：（房间号、酒店号、类型、价格）
• Booking: (hotelNo, guestNo, dateFrom, dateTo, roomNo)
• 来宾（guestNo、guestName、guestAddress）

用简单的英语描述以下元组关系演算，并将其转换为关系代数表达式。

{H.hotelName, G.guestName, B1.dateFrom, B2.dateFrom | Hotel(H) ∧Guest(G) ∧ Booking(B1) ∧ Booking(B2) ∧H, hotelNo =B1.hotelNo ∧ G.guestNo = B1.guestNo ∧ B2.hotelNo = B1.hotelNo ∧ B2.guestNo = B1.guestNo ∧B2.dateFrom ≠ B1.dateFrom}

关系代数和关系微积分之间的确切区别是什么。在大多数参考中，它将是

Relational algebra is procedural and calculus is non procedural.

那么，这些代表什么。但是，我们可以使用关系代数解决所有问题。那么为什么我们会使用关系微积分。除定义外，非常感谢用示例进行解释。

我有一个看起来像这样的模式：学生（sid，姓名，年龄，部门）课程（cid，姓名）注册（sid，cid，学期，年级）

使用关系微积分，找出参加所有课程的学生的姓名。我现在的样子是这样的：

{t | ∃ s ∈ Student (t.name = s.name ^ ∃ e ∈ Enrollment(s.sid = e.sid ^ ∀ c ∈ C (c.cid = e.cid))) }

有人可以告诉我这是否正确。

1：对这个查询给出的解释是“所有元组t的集合，使得在关系借用中存在一个元组s ，其cname属性的t和s的值相等，并且s的值表示数量属性大于 1200"。但是我们从来没有提到t属于哪个关系。它是什么关系，为什么？

2：在底层图像中，对这两个投影进行“与”运算（包含“客户”关系中的属性“CustomerID”和“订单”关系中的属性“orderID”）是否给出了这两个单列关系的笛卡尔积?

我正在尝试将 sql 查询转换为元组关系演算，但是有一个NOT EXIST导致我被卡住的问题。

SQL查询：

我已经开始：

这就是我卡住的地方。我如何证明它NOT EXISTS来自a2and b2？如果我写¬∃a2 ∈ a ¬∃b2 ∈ b，那么这将是一个双重嵌套的 sql 查询，而不是上面列出的那个。

我有这三个表：

Customer 和 Rent 表之间的基数是 (1,6)，Rent 和 Book 表之间的基数是 (1,infinity)。

使用关系演算的语法，我将定义一个 (0,1) 基数，如下所示：

但是如何定义 (1,6) 基数？

为什么元组关系演算中需要量词？
可以说我有这个声明：

{S.sname | 学生中的 S 和（年级中存在 G）（Ss# = Gs#）}；

为什么我不能只使用它呢？

{S.sname | 学生的 S 和年级的 G 和 Ss# = Gs#}；

我有两个 SQL 查询需要转换为元组关系演算。第一个查询

似乎很明显（如果我理解正确的话）：

但是第二个：

有一个连接，我找不到一个很好的例子，我需要如何转换它。谁能帮我解释一下？