Loading article…
リレーショナルデータモデルでは、スーパーキーは、リレーションの各タプルを一意に識別する属性のセットです。[1] [2]スーパーキーの値は一意であるため、同じスーパーキー値を持つタプルは、非キー属性の値も同じである必要があります。つまり、非キー属性は機能的にスーパーキーに依存しています。
すべての属性のセットは常にスーパーキー（自明なスーパーキー）です。リレーション内のタプルは定義上一意であり、各操作の後に重複が削除されるため、すべての属性のセットは常に各タプルに対して一意に値を持ちます。候補キー（または最小スーパーキー）は、属性を削除してもより単純なスーパーキーに縮小できないスーパーキーです。[3]
たとえば、、、および の属性を持つ従業員スキーマではemployeeID、値が一意であれば、他の属性のいずれかまたはすべてと組み合わせることで、テーブル内のタプルを一意に識別できます。{}、{、}、{、} などの各組み合わせはnameスーパーキーです。{ }は、その属性のサブセットがスーパーキーではないため、候補キーです。{、、、}は単純なスーパーキーです。
jobdepartmentIDemployeeIDemployeeIDemployeeIDemployeeIDnameemployeeIDnamejobemployeeIDemployeeIDnamejobdepartmentID
属性セットK が関係Rのスーパーキーである場合、常に、KへのRの射影はR自体と同じ基数を持ちます。
例
まず、すべての属性セットをリストします。
- • {}
- • {君主の名前}
- • {君主番号}
- • {王室}
- • {君主名、君主番号}
- • {君主の名前、王室}
- • {君主番号、王室}
- • {君主名、君主番号、王室}
次に、スーパーキーの要件を満たさないセットをすべて削除します。たとえば、{Monarch Name, Royal House} は、同じ属性値 (Edward、Plantagenet) に対して 2 つの異なるタプルが存在するため、スーパーキーにはなりません。
- (エドワード2世、プランタジネット家)
- (エドワード3世、プランタジネット家)
最後に、除外した後、残った属性セットがこの例で唯一可能なスーパーキーになります。
- {君主名、君主番号} — これも候補キーです
- {君主名、君主番号、王室}
実際には、リレーション内のタプルの 1 セットを調べるだけではスーパーキーを判別できません。スーパーキーは、リレーション スキーマの機能的な依存関係制約を定義します。この制約は、そのリレーション スキーマのすべての可能なインスタンス リレーションに適用される必要があります。
参照
参考文献
- ^ Date, Christopher (2015). 「Codd の最初のリレーショナル論文: 批判的分析」(PDF) . warwick.ac.uk . 2020-01-04に取得。
抜粋では、「リレーション」が任意の数の主キーを持つことが許可されており、さらに、そのようなキーは「冗長」(より正確には、縮小可能) であることが許可されていることに注意してください。言い換えると、論文で主キーと呼ばれているものは、後に (より正確には) スーパーキーとして知られるようになったものであり、論文で非冗長 (より正確には、縮小不可能) 主キーと呼ばれているものは、後に候補キーまたは (より正確には) 単に「キー」として知られるようになったものです。
- ^ データベース管理システム入門. Tata McGraw-Hill. 2005. p. 77. ISBN
9780070591196.
いかなる法的関係にも2つの組はない
- ^ Saiedian, H. (1996-02-01). 「リレーショナル データベース スキーマの候補キーを計算するための効率的なアルゴリズム」. The Computer Journal . 39 (2): 124–132. doi :10.1093/comjnl/39.2.124. ISSN 0010-4620.
さらに読む
- シルバーシャッツ、エイブラハム (2011)。データベース システムの概念 (第 6 版)。マグロウヒル。 45-46ページ。ISBN 978-0-07-352332-3。
外部リンク
- リレーションデータベースの用語、キー: RDBMS のさまざまなタイプのキーの概要