הצגת המקור של הדף "כיסוי קנוני"

כיסוי קנוני <math>F_c</math> (באנגלית: Canonical Cover) עבור קבוצת [[תלויות פונקציונליות]] F על [[תבנית יחסים]], הוא קבוצת תלויות כך ש-F מסיק לוגית את כל התלויות ב-<math>F_c</math>, ו-<math>F_c</math> מסיק לוגית את כל התלויות ב-F.

לכיסוי הקנוני <math>F_c</math> יש שתי תכונות חשובות:

# אף תלות פונקציונלית ב-<math>F_c</math> אינה תלות עודפת.
# כל צד שמאל של תלות פונקציונלית ב-<math>F_c</math> הוא ייחודי. כלומר, אין ב-<math>F_c</math> שתי תלויות פונקציונליות מהצורה <math>a \to b</math> ו <math>c \to d</math> ב <math>F_c</math> כזה ש <math>a = c</math> .

כיסוי קנוני אינו ייחודי עבור קבוצה נתונה של תלויות פונקציונלית, לכן קבוצה אחת F יכולה להיות בעלת מספר כיסויים <math>F_c</math> .

== אלגוריתם לחישוב כיסוי קנוני ==

# <math>F_c = F</math>
# חזור :
## השתמש בכלל האיחוד כדי להחליף כל תלות ב <math>F_c</math> של הטופס <math>a \to b</math> ו <math>a \to d</math> עִם <math>a \to bd</math> .
## מצא תלות פוקציונלית ב <math>F_c</math> עם תכונה מיותרת ומחק אותה מ- <math>F_c</math>.
# עַד <math>F_c</math> שנותר ללא שינוי. <ref>{{Cite book|last=Silberschatz|first=Abraham|url=https://mucse44.net/wp-content/uploads/2019/09/Database-System-Concepts-7th-Edition.pdf|title=Database system concepts|date=2011|publisher=McGraw-Hill|isbn=978-0073523323|edition=Sixth|location=New York|archive-url=https://web.archive.org/web/20201108175024/https://mucse44.net/wp-content/uploads/2019/09/Database-System-Concepts-7th-Edition.pdf|archive-date=2020-11-08}}</ref>

== דוגמה לכיסוי קנוני ==
בדוגמה הבאה, <math>F_c</math> הוא הכיסוי הקנוני של F.

בהינתן תבנית היחסים ואוסף התלויות הפונקציות החלות עליה נמצא את הכיסוי הקנוני:

, R = (A, B, C, G, H, I), F = {A→BC, B→C, A→B, AB→C}

# {A→BC,B→C,A→B,AB→C}
# {A → BC, B →C, AB → C}
# {A → BC, B → C}
# {A → B, B →C}

F <sub>c</sub> = {A → B, B →C}

== תכונות עודפות ==
תכונה המופיעה בתלות היא תכונה עודפת אם אפשר למחוק אותה מן התלות בלי שהסגור ישתנה.<ref name=":1">{{Cite book|last=Elmasri|first=Ramez|url=https://www.worldcat.org/oclc/913842106|title=Fundamentals of database systems|date=2016|publisher=Pearson|others=Sham Navathe|isbn=978-0-13-397077-7|edition=Seventh|location=Hoboken, NJ|oclc=913842106}}</ref>

בהינתן אוסף של תלויות פונקציונליות <math>F</math> ותלות פוקציונלית <math>A \rightarrow B</math> ב <math>F</math>.

תכונה <math>a \in A</math> היא '''תכונה עודפת באגף שמאל''' אם אפשר להסיק מ-<math>F</math> את התלות <math>( { (A-a) \rightarrow B} ) </math>.

תכונה <math>b \in B</math> היא '''תכונה עודפת באגף ימין''' אם אפשר להסיק מקבוצת התלויות <math>((F-(A \rightarrow B)) \cup \{ A \rightarrow (B-b) \} ) </math> את התלות <math>A \rightarrow B</math>. כלומר, אם ניתן לשחזר את התלות <math>A \rightarrow b</math> מתוך יתר התלויות, לאחר מחיקת <math> b</math> מאגף ימין של <math>A \rightarrow B</math>.

== הערות שוליים ==
{{הערות שוליים}}

{{ערך יתום}}

[[קטגוריה:מסדי נתונים]]
[[קטגוריה:אלגוריתמים]]