元组关系演算中的重复元组

Duplicate tuples in tuple relational calculus

假设我们有一个包含 2 个元组 (a,100) 和 (a,100) 的 Student(Name,Marks) 关系。 现在,如果我有这样的表达:- { t.Name, t.Marks |学生 (t) 和 t.Marks=100) 。那我是得到两个元组还是只得到一个元组?

我知道在关系代数中我们使用项目运算符来删除重复项。

我找不到说明在元组关系演算中我们不考虑重复项的参考资料。

关系被定义为集合,而不是tables/bags。这意味着关系没有多个相同的元组。

代表相同的number/value/fact两次并不意味着我代表了两个不同的numbers/values/facts。