Diskussion:Synthesealgorithmus

message: '''ACHTUNG - Das gehört bei einem Artikel mit "Anleitungen" und "Beispielen" nach oben:'''
Die gezeigten Methoden und Beispiele sind FALSCH!
Näheres weiter unten!
...wenn keine Hinweise auf grobe Fehler in den Artikel sollen, dann sollten die betroffenen Abschnitte entfernt werden.
Macht das keiner, übernehme ich das in den nächsten Tagen. <small>(''nicht [[Hilfe:Signatur|signierter]] Beitrag von'' [[Spezial:Beiträge/137.226.56.150|137.226.56.150]] ([[Benutzer Diskussion:137.226.56.150|Diskussion]]) 18:00, 30. Nov. 2011 (CET)) </small>
Zusätzlich zu den Mathematischen formeln, sollte es noch eine Erklärung in Textform geben, damit auch nicht-Mathematiker etwas damit anfangen können.

message: Was war die Ausgangssituation der funktionalen Abhängigkeiten im Beispiel?<br>
War das?<br>
{A}->{B,C}<br>
{A,D}->{B}<br>
{B,D}->{E}<br>
{A,D}->{E}<br>
Wann ist bei der Links- bzw. bei der Rechtsreduktion ein Attribut überflüssig?<br>
Findet man das mit den Armstrong Axiomen raus?<br>
Ist das Dekompositionsverfahren = der Synthesealgorithmus?<br>
ich finde es fehlen die erklärenden Links für die math. Zeichen (für nicht-mathematiker)
sowas? http://www.matheboard.de/mathe-tipp-zeigen,Mathematische_Zeichen.htm

message: Mark: Wie kann man hier diskutieren? einfach was anhängen?
Achtung: Der Artikel beschreibt doch nur die Kanonische Überdeckung das ist ein schritt von vieren zur Synthese. 
Kann man solche Artikel nicht als unfertig markieren?
Der Einleitungstext liest sich auch etwas merkwürdig. Schließlich ist der "Zerlegungs-Algorithmus" keine Alternative, denn er liefert nicht die dritte Normalform.

message: das beispiel mit links- und rechtsreduktion ist doch falsch !!
wer schliesst denn das ... <br/>
Relation(A,B,C,D,E) <br/>
{A} -> {B,C} # (bleibt) ;; B fällt weg. Attributhülle mit {A}->{C},{A}->{B} beinhalted C<br/>
{A} -> {B} # D fällt weg (Linksreduktion)  ;; jep<br/>
{B,D} -> {E} # bleibt <br/>
{A,D} -> {} # (E fällt weg (Rechtsreduktion)) ;; Attributhülle von {A,D} wäre dann {A,D} und hat kein E, also nicht weg<br/>
Dies hier vorgestellte ist nicht der Synthesealgorithmus
zur Zerlegung in ein Relationsschema in 3NF!
Sieht eher nach dem Algorithmus zur Berechnung der Basis
einer Menge von funktionalen Abhängigkeiten aus!
--[[Benutzer:BigCrunsh|BigCrunsh]] 22:52, 28. Nov. 2006 (CET)

message: Leider haben bezeichnete Typen (Mengen, Attribute) nicht immer konsistent dieselben Bezeichner. Eine einheitliche Bezeichnung wäre wünschenswert (z.B. kleine griechische Buchstaben für die Mengen, große lateinische für Attribute). Die damit induzierte Verwechslung führt auch zum Fehler bei der Linksreduktion, wo es heißt: klein Gamma Teilmenge der Hülle, richtiger müsste es aber heißen, dass Gamma Element der Hülle sein muss. --Xasx 11:04, 17. Nov. 2008 (CET)
thread_title:  Inkonsistenz der Bezeichner 

message: Beim Vergleich mit anderen Literaturstellen ist uns aufgefallen, dass der hier verwandte Test für die Linksreduktion von der sonst üblichen Forderung abweicht und zu streng ist, d.h. dass mit dem Test aus der Literatur mehr Reduktionen möglich sind als mit dem hier verwandten Test.
Hier wird verwendet:
* Wenn \psi \in AttributHuelle(F, \Psi \setminus \{\psi\}) , dann kann \psi aus \Psi entfernt werden.
Die Literatur (z.B. das deutsche Standardwerk von Kemper) verwendet:
* Wenn \Gamma \subseteq AttributHuelle(F, \Psi \setminus \{\psi\}) , dann kann \psi aus \Psi entfernt werden.
Beispiel:
Es liegen die folgenden funktionalen Abhängigkeiten vor:
* A, B \rightarrow C
* A \rightarrow C
* B \rightarrow D
Zu untersuchen ist nur die erste funktionale Abhängigkeit. 
Nach dem hiesigen Test ist keine Linksreduktion möglich, weil gilt B \notin AttributHuelle(F,A) (und auch A \notin AttributHuelle(F,B)).
Nach Kemper ist eine Linksreduktion möglich, weil C \subseteq AttributHuelle(F,A) und damit B aus der ersten funktionalen Abhängigkeit entfernt werden darf.
Umgangssprachlich verlangt Kemper, dass man ein Attribut X der linken Seite weglassen darf, wenn man aus den restlichen Attributen der linken Seite ohne Kenntnis von X die Attributbelegungen der rechten Seite schließen kann.
Hier wird verlangt, dass man von den Attributen der linken Seite ohne X auf X selbst schließen können muss (und dann könnte man mit Transitivität auch auf die rechte Seite folgern). Das Beispiel zeigt jedoch, dass es auch andere Wege (ohne X) zur rechten Seite geben kann.
Gibt es für die Notwendigkeit des strengeren hier verwandten Tests irgendeine Quelle (dann wäre die hier anzugeben - und in vielen Lehrbüchern ein Fehler) oder sollte die gebräuchliche weniger strenge Definition aus der Literatur hier beschrieben werden. (Nebenbei: beide Tests führen im Beispiel zum selben Ergebnis.)
Nachtrag: habe gerade gesehen, dass die Seiten vor 11.10.2009 noch richtig waren und das hinterher (ohne erkennbare zugehörige Diskussion) geändert wurde. Weiß dazu jemand etwas?
--JNI72 21:45, 6. Jan. 2011 (CET)
thread_title:  Falscher Test für Linksreduktion? 

message: Ich habe soeben die Linksreduktion angepasst. Die neue Version muss aber noch gesichtet werden.
Der Fehler der alten Version (siehe Dikussion) wurde behoben. Die jetzige Version ist mit dem Buch "Datenbanksysteme" von Kemper konform. (nicht signierter Beitrag von 138.246.2.72 (Diskussion) 22:04, 20. Jan. 2012 (CET)
thread_title:  Linksreduktion angepasst