PK候選人必須是內射，外射或雙射功能？

Question

我對候選人成爲PK的信息強度有疑問。

根據我的理解，這就是我想分享的內容，爲了檢查它是否正確，PK候選人必須足夠強大，足以唯一地識別一組信息，是否正確？

我開始用數學方法來研究這個問題。

如果我將codomain定義爲由我的SEQUENCE和我的域生成的集合作爲可由PK識別的一組數據，則說明我的PK候選必須至少是Injective Function。

爲什麼至少有內射？因爲我可以「燒掉」我的Codomain序列中的一些元素，所以我不能確定是否有注射和剔除。

我的假設和理解是否一致？

Answer 1

你絕對是在正確的軌道上思考這個使用集合論。

您可以將您的codo定義爲您的SEQUENCE生成的集合，包括「已燒製」值，但您應該將您的關鍵字定義爲範圍，只包含實際選定的值並映射到元組。因此，任何關鍵字都是雙元組的集合。