E e e d o c d d d e de c a

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: G − BD‬‬ ‫‪D‬‬ ‫‪CDG‬‬ ‫11‪ R‬ב- ‪ , BCNF‬מכיוון שהוא מכיל רק שני ‪.attributes‬‬ ‫21‪ R‬ב- ‪: BCNF‬‬ ‫‪ C , C + =CDG‬הוא ‪.key‬‬ ‫‪D + =D‬‬ ‫‪G + =G‬‬ ‫‪DG + =DG‬‬ ‫אין טעם להמשיך לבדוק קבוצות שמכילות את ‪ , C‬שכן צד שמאל תמיד יהיה ‪.superkey‬‬ ‫2 ‪ R‬ב- ‪: BCNF‬‬ ‫‪A+ = A‬‬ ‫‪C + =C‬‬ ‫‪ E , E + = ACE‬הוא ‪.key‬‬ ‫‪ AC , AC + = ACE‬הוא ‪.key‬‬ ‫אין טעם להמשיך לבדוק קבוצות שמכילות את ‪ , E‬שכן צד שמאל תמיד יהיה ‪.superkey‬‬ ‫קיבלנו פירוק של ‪ R‬ל- ‪. BD, CDG , ACE : BCNF‬‬ ‫ז. נריץ את האלגוריתם לבדיקת שימור תלויות:‬ ‫-‬ ‫‪: AG → E‬‬ ‫‪Z...
View Full Document

This document was uploaded on 03/20/2014 for the course CS 67506 at Hebrew University of Jerusalem.

Ask a homework question - tutors are online