A canonical cover for F (a set of functional dependencies on a relation scheme) is a set of dependencies such that F logically implies all dependencies in , and logically implies all dependencies in F. The set has two important properties: 1.
* No functional dependency in contains an extraneous attribute. 2.
* Each left side of a functional dependency in is unique. That is, there are no two dependencies and in such that . A canonical cover is not unique for a given set of functional dependencies, therefore one set F can have multiple covers .
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - Kanonische Überdeckung (de)
- Canonical cover (en)
|
rdfs:comment
| - A canonical cover for F (a set of functional dependencies on a relation scheme) is a set of dependencies such that F logically implies all dependencies in , and logically implies all dependencies in F. The set has two important properties: 1.
* No functional dependency in contains an extraneous attribute. 2.
* Each left side of a functional dependency in is unique. That is, there are no two dependencies and in such that . A canonical cover is not unique for a given set of functional dependencies, therefore one set F can have multiple covers . (en)
- Die kanonische Überdeckung ist ein Konzept aus der relationalen Entwurfstheorie, die sich mit dem Entwurf der Schemata relationaler Datenbanken befasst. Am Anfang des Entwurfs eines relationalen Schemas steht die Informationsbedarfsanalyse. Sie liefert die Menge der benötigten Attribute und eine Menge F der funktionalen Abhängigkeiten zwischen diesen Attributen. Basierend auf diesen Abhängigkeiten werden Normalformen für die Schemata relationaler Datenbanken definiert, die als „Gütekriterium“ für ein solches Schema gesehen werden. (de)
|
dct:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
has abstract
| - A canonical cover for F (a set of functional dependencies on a relation scheme) is a set of dependencies such that F logically implies all dependencies in , and logically implies all dependencies in F. The set has two important properties: 1.
* No functional dependency in contains an extraneous attribute. 2.
* Each left side of a functional dependency in is unique. That is, there are no two dependencies and in such that . A canonical cover is not unique for a given set of functional dependencies, therefore one set F can have multiple covers . (en)
- Die kanonische Überdeckung ist ein Konzept aus der relationalen Entwurfstheorie, die sich mit dem Entwurf der Schemata relationaler Datenbanken befasst. Am Anfang des Entwurfs eines relationalen Schemas steht die Informationsbedarfsanalyse. Sie liefert die Menge der benötigten Attribute und eine Menge F der funktionalen Abhängigkeiten zwischen diesen Attributen. Basierend auf diesen Abhängigkeiten werden Normalformen für die Schemata relationaler Datenbanken definiert, die als „Gütekriterium“ für ein solches Schema gesehen werden. Im Allgemeinen gibt es zu einer Menge funktionaler Abhängigkeiten viele verschiedene äquivalente Mengen funktionaler Abhängigkeiten. Zwei Mengen funktionaler Abhängigkeiten F und G heißen genau dann äquivalent, in Zeichen , wenn ihre Attributhüllen gleich sind, in Zeichen . Sind F und G äquivalent, so heißt F Überdeckung von G und umgekehrt. Es gibt zu einer gegebenen Menge F von funktionalen Abhängigkeiten eine eindeutige Attributhülle , die aber in der Regel viele funktionale Abhängigkeiten beinhaltet, was sich bei einer späteren Implementierung des Schemas in einer relationalen Datenbank negativ auswirkt, da bei jeder Änderungsoperation im Rahmen einer Konsistenzprüfung die Einhaltung sämtlicher spezifizierter funktionaler Abhängigkeiten überprüft werden muss. Deshalb ist man im Entwurfsprozess relationaler Schemata an der kleinstmöglichen Menge der äquivalenten funktionalen Abhängigkeiten interessiert, der kanonischen Überdeckung der gegebenen Menge funktionaler Abhängigkeiten. Eine kanonische Überdeckung beschreibt also die kleinste gültige Menge von funktionalen Abhängigkeiten für ein bestimmtes relationales Schema. Die Ableitung einer solchen kanonischen Überdeckung gewährleistet ein redundanzfreies relationales Schema. Zu einer gegebenen Menge F von funktionalen Abhängigkeiten nennt man eine kanonische Überdeckung, wenn folgende drei Eigenschaften erfüllt sind:
* , das heißt
* In existieren keine funktionalen Abhängigkeiten , wobei und Mengen überflüssiger Attribute enthalten; das heißt, es muss gelten:(a) (b)
* Jede linke Seite einer funktionalen Abhängigkeit in ist einzigartig. Dies kann durch fortgesetzte Anwendung der Vereinigungsregel auf funktionale Abhängigkeiten der Art und erreicht werden, so dass die beiden funktionalen Abhängigkeiten durch ersetzt werden. (de)
|
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is foaf:primaryTopic
of | |