冒号在关系代数中是什么意思

What does colon means in relational algebra

我正在研究关系并试图理解以下句子:

那么t:R是什么意思呢? T 是一个元组。我查找了冒号的用法,但无法弄清楚在这种情况下的含义。有人可以帮忙将句子翻译成简单的英语吗?非常感谢你的帮助。

符号 f : X -> Y 告诉您函数 f 带有 domain X 和 codomain Y。在此实例中,t 是一个函数,它接收实数 (domain R) 和 returns 来自 [=21= 所有可能结果的并集的数字](A).

更多信息:Function on Wikipedia