| dbpprop:abstract
|
- A functional dependency (FD) is a constraint between two sets of attributes in a relation from a database. Given a relation R, a set of attributes X in R is said to functionally determine another attribute Y, also in R, (written X → Y) if and only if each X value is associated with precisely one Y value. Customarily we call X the determinant set and Y the dependent attribute. Thus, given a tuple and the values of the attributes in X, one can determine the corresponding value of the Y attribute. For the purposes of simplicity, given that X and Y are sets of attributes in R, X → Y denotes that X functionally determines each of the members of Y - in this case Y is known as the dependent set. Thus, a candidate key is a minimal set of attributes that functionally determine all of the attributes in a relation. A functional dependency FD: X → Y is called trivial if Y is a subset of X. The determination of functional dependencies is an important part of designing databases in the relational model, and in database normalization and denormalization. The functional dependencies, along with the attribute domains, are selected so as to generate constraints that would exclude as much data inappropriate to the user domain from the system as possible. For example, suppose one is designing a system to track vehicles and the capacity of their engines. Each vehicle has a unique vehicle identification number (VIN). One would write VIN → EngineCapacity because it would be inappropriate for a vehicle's engine to have more than one capacity. (Assuming, in this case, that vehicles only have one engine. ) However, EngineCapacity → VIN, is incorrect because there could be many vehicles with the same engine capacity. This functional dependency may suggest that the attribute EngineCapacity be placed in a relation with candidate key VIN. However, that may not always be appropriate. For example, if that functional dependency occurs as a result of the transitive functional dependencies VIN → VehicleModel and VehicleModel → EngineCapacity then that would not result in a normalized relation.
- Funktionale Abhängigkeiten (Abk. FA, englisch functional dependency, FD) sind ein Konzept der relationalen Entwurfstheorie und bilden die Grundlage für die Normalisierung von Relationenschemata. Eine Relation wird durch Attribute definiert. Bestimmen einige dieser Attribute eindeutig die Werte anderer Attribute, so spricht man von funktionaler Abhängigkeit. So könnte man sich etwa eine Kundendatenbank vorstellen, in der die Anschrift und die Telefonnummer eines Kunden eindeutig durch seinen Namen zusammen mit seinem Geburtsdatum bestimmt sind. Hier wären also Anschrift und Telefonnummer funktional abhängig von Name und Geburtsdatum. Mit Hilfe funktionaler Abhängigkeiten lässt sich auch der Begriff Schlüssel definieren: Bestimmen einige Attribute einer Relation eindeutig die Werte aller Attribute der Relation, so spricht man von einem Superschlüssel, das heißt, jedes Tupel dieser Relation ist eindeutig durch die Werte dieser Attribute bestimmt. Zum Beispiel könnte man eine Kundennummer einführen, die jeden Kunden identifiziert. Ein Schlüsselkandidat ist ein minimaler Superschlüssel, das heißt, keine echte Teilmenge der Attribute dieses Schlüssels bestimmt vollständig die Werte aller anderen Attribute der Relation. Unter allen Schlüsselkandidaten einer Relation wird ein so genannter Primärschlüssel ausgewählt. Beispiel: In diesem Beispiel ist C funktional abhängig von A und B, geschrieben A, B → C. Der Pfeil kann somit gelesen werden als „bestimmt eindeutig“: Die ersten beiden Attribute zusammen bestimmen eindeutig, welchen Wert Attribut C. hat. Anders ausgedrückt: Ist bekannt, welche Werte die ersten beiden Attribute haben, ist damit auch der Wert des letzten Attributes bestimmt. Aber C ist nicht funktional abhängig von A allein. Es gelten auch die funktionalen Abhängigkeiten „A ist funktional abhängig von C“, „A ist funktional abhängig von B“ und „C ist funktional abhängig von B“.
- 関数従属性 は、コンピュータの関係データベースにおける関係 の2つの属性集合間で、一方の属性集合の値 (の集合) がもう一方の属性集合の値 (の集合) を関数的に決定するという、制約である。 R を関係として、X と Y をそれぞれ R の属性の集合とすると、X の各々の値がただ一つの Y の値に関連づけられる場合かつその場合に限り、X は Y を「関数的に決定する」という。 X が Y を関数的に決定することを、X → Y と記述する。 慣例として、X → Y のとき、X を決定項、Y を従属項と呼ぶ。 X → Y のとき、ある組 (タプル、行) があり、その X の値の集合があるとき、対応する Y の値の集合が決定される。 簡単のために、R を関係とし、X と Y をそれぞれ R の属性の集合とすると、X → Y は X が Y の各々の値を関数的に決定すると述べることができる。 以上のことから候補キーは、その関係においてすべての属性値を関数的に決定する最小の属性集合である。 関数従属性 FD: X → Y は、Y が X の部分集合である場合、自明な関数従属性であると呼ばれる。 多値従属性は、関数従属性を一般化した概念と位置づけることができる。 関数従属性の決定は、関係モデルとデータベースの正規化と非正規化においてデータベース設計 の重要な部分である。 関数従属性は、属性の定義域 (ドメイン) とともに、制約を構成するべく選択される。 ここでいう制約とは、利用者の問題領域にとって不適切なデータをシステムからできる限り排除するであろう制約である。 例えば、自動車とそのエンジンの排気量を調べるシステムを設計することを考える。 各々の自動車には一意に車台番号がわりふられている。 車台番号 → 排気量 と記述することができる。 なぜなら、自動車のエンジンが2つ以上の排気量をもつことは不適切であるからである (この例では自動車はただ一つのエンジンをもつと仮定する) 。 しかし 排気量 → 車台番号 と記述することは正しくない。 なぜなら同じ排気量である自動車はたくさんあるからである。 関数従属性により、排気量という属性は候補キーが車台番号である関係 の中に存在することが示唆される。 しかしながら、この示唆は必ずしも適切ではない。 例えば、この関数従属性は推移的な関数従属性の結果として現れるからである。 車台番号 → 車両モデル, 車両モデル → 排気量 このため (第3正規形以上に) 正規化された関係においては、排気量属性は候補キーが車台番号である関係の中には存在しない。
- Een functionele afhankelijkheid is een relatie tussen twee attribuutverzamelingen in een tabel van een relationeel model. Deze redenering speelt een grote rol bij het bepalen van kandidaatsleutels bij databanknormalisatie. Wanneer in twee tupels waarin attribuut X dezelfde waarde bevatten, dan moeten de waarden in attribuut Y van dat tupel ook hetzelfde zijn. Dit noteren we als <math>X \rightarrow Y</math>. Als we <math>X\rightarrow Y</math> formeel uitschrijven komen we uit op de volgende expressie: <math></math>
|
| rdfs:comment
|
- A functional dependency (FD) is a constraint between two sets of attributes in a relation from a database. Given a relation R, a set of attributes X in R is said to functionally determine another attribute Y, also in R, (written X → Y) if and only if each X value is associated with precisely one Y value. Customarily we call X the determinant set and Y the dependent attribute.
- Funktionale Abhängigkeiten (Abk. FA, englisch functional dependency, FD) sind ein Konzept der relationalen Entwurfstheorie und bilden die Grundlage für die Normalisierung von Relationenschemata. Eine Relation wird durch Attribute definiert. Bestimmen einige dieser Attribute eindeutig die Werte anderer Attribute, so spricht man von funktionaler Abhängigkeit.
- Een functionele afhankelijkheid is een relatie tussen twee attribuutverzamelingen in een tabel van een relationeel model. Deze redenering speelt een grote rol bij het bepalen van kandidaatsleutels bij databanknormalisatie. Wanneer in twee tupels waarin attribuut X dezelfde waarde bevatten, dan moeten de waarden in attribuut Y van dat tupel ook hetzelfde zijn. Dit noteren we als <math>X \rightarrow Y</math>.
|
![[RDF Data]](/statics/sw-cube.png)
