۰
subtitle
ارسال: #۱
فرم نرمال BCNF
با سلام
در تعریف BCNF داریم:
۱- رابطه در فرم ۳NF باشد.
۲- فاقد وابستگی معکوس باشد.
وابستگی معکوس (طبق تعریف کتاب پارسه): وابستگی یک مولفه کلیدی به یک مولفه (کلیدی یا غیر کلیدی) دیگر.
در تعریف دیگری از BCNF داریم:
۱- a -->b بدیهی باشد.
یا
۲- سمت چپ وابستگی تابعی ابر کلید باشد.
حالا سوال من اینجاست ... اگر سمت چپ یک وابستگی تابعی ابر کلید باشد دلیلی بر عدم وجود وابستگی معکوس نیست.
مثلا در مثالی که خود کتاب پارسه زده:
رابطه R(a,b,c,d,e و مجموعه وابستگی های تابعی f={a-->bc , e-->da , b-->e
که دارای کلید های کاندید a و b و e هست:
در نتیجه مولفه های کلیدی a و b و e هستند و مولفه های غیر کلیدی c و d
حال بر طبق تعریف اول:
این رابطه در فرم bcnf نیست چون دارای وابستگی معکوسی مانند : b-->e هست. چون یک مولفه کلیدی یعنی e به یک مولفه دیگر ( یعنی b) وابسته است.
اما بر طبق تعریف دوم این رابطه در فرم bcnf است . چون در سمت چپ همه وابستگی های تابعی ابر کلید هسا!
در تعریف BCNF داریم:
۱- رابطه در فرم ۳NF باشد.
۲- فاقد وابستگی معکوس باشد.
وابستگی معکوس (طبق تعریف کتاب پارسه): وابستگی یک مولفه کلیدی به یک مولفه (کلیدی یا غیر کلیدی) دیگر.
در تعریف دیگری از BCNF داریم:
۱- a -->b بدیهی باشد.
یا
۲- سمت چپ وابستگی تابعی ابر کلید باشد.
حالا سوال من اینجاست ... اگر سمت چپ یک وابستگی تابعی ابر کلید باشد دلیلی بر عدم وجود وابستگی معکوس نیست.
مثلا در مثالی که خود کتاب پارسه زده:
رابطه R(a,b,c,d,e و مجموعه وابستگی های تابعی f={a-->bc , e-->da , b-->e
که دارای کلید های کاندید a و b و e هست:
در نتیجه مولفه های کلیدی a و b و e هستند و مولفه های غیر کلیدی c و d
حال بر طبق تعریف اول:
این رابطه در فرم bcnf نیست چون دارای وابستگی معکوسی مانند : b-->e هست. چون یک مولفه کلیدی یعنی e به یک مولفه دیگر ( یعنی b) وابسته است.
اما بر طبق تعریف دوم این رابطه در فرم bcnf است . چون در سمت چپ همه وابستگی های تابعی ابر کلید هسا!
۰
ارسال: #۲
RE: فرم نرمال BCNF
این سوال دقیقاً سوالیه که منم باهاش مشکل دارم . ولی تو ۹۹ % تست ها از رابطه دوم استفاده کرده و گفته که چون سمت راست همه کلیدها ابر کلید هستش پس درنتیجه BCNF میشه . منم فرض رو بر اون گذاشتم 
۰
ارسال: #۴
RE: فرم نرمال BCNF
ارسال: #۵
RE: فرم نرمال BCNF
ارسال: #۶
RE: فرم نرمال BCNF
(۰۹ بهمن ۱۳۹۳ ۰۸:۵۱ ق.ظ)Ametrine نوشته شده توسط:(09 بهمن ۱۳۹۳ ۰۲:۵۴ ق.ظ)ardaaalan نوشته شده توسط: شرط بدیهی بودن اینه که اگر [tex]a\subseteq b[/tex] باشه آنگاه [tex]b\rightarrow a[/tex] یک رابطه بدیهی هستش .تعریفش رو میدونم.
تشخیص دادن این حالت چطوری هست؟
اگه میشه یه مثال بزنید که این حالت توش صدق کنه.
همینه تشخیص دادنش . توی صورت مساله میگه که داریم [tex]a\subseteq b[/tex] پس تو وابستگی ها [tex]a\rightarrow b[/tex] بدیهی خواهد بود .
اکثراً توی تست هایی که نیاز به حل داره از بدیهی بودن استفاده نمیشه . مثلاً تو تشخیص BCNF که باید از این استفاده کنی که سمت راست همشون ابر کلید باشه .
بدیهی بودن معمولاً تو تست هایی میاد که میگه کدوم صحیحه
مثلاً تو گزینه میده اگر [tex]a\subseteq b[/tex] آنگاه [tex]a\rightarrow b[/tex]
۰
ارسال: #۷
RE: فرم نرمال BCNF
ب اینجاش دقت نکرده بودم
ی سوال:واسه۳nfبودن شرایطش از bcnfبودن بیشتره حالا اگه ۲ شرط اولی برقرار باشه ولی سومی برقرار نباشه یعنی تو bcnfهست ولی ۳nfنیست؟مگه میشه؟؟
ی سوال:واسه۳nfبودن شرایطش از bcnfبودن بیشتره حالا اگه ۲ شرط اولی برقرار باشه ولی سومی برقرار نباشه یعنی تو bcnfهست ولی ۳nfنیست؟مگه میشه؟؟
ارسال: #۸
RE: فرم نرمال BCNF
(۰۹ بهمن ۱۳۹۳ ۰۲:۰۳ ب.ظ)abji22 نوشته شده توسط: ب اینجاش دقت نکرده بودم
ی سوال:واسه۳nfبودن شرایطش از bcnfبودن بیشتره حالا اگه ۲ شرط اولی برقرار باشه ولی سومی برقرار نباشه یعنی تو bcnfهست ولی ۳nfنیست؟مگه میشه؟؟
مگه داریم ؟؟
شما از اول شروع میکنیم به چِک کردن . اول میگیم بدیهی هستش ؟ اگه بود پس برقراره ( دیگه نیاز به ادامه بفیه نخواهد بود ). اگه نبود میریم سراغ چِک کرن اینکه سمت چپش ابر کلید هست یا نه . اگه بود که حله ( دیگه بعدی نیاز به چِک کردن نداره چون طبیعتاً درست خواهد بود ) . اگه نه تو ۳NF میریم سراع چِک کرن آخری . اگه تو ۳nf شرط دومت یعنی ابر کلید بودن سمت چپ درست باشه پس طبیعتاً این رابطه تو شرط دوم BCNF هم درست خواهد بود
۰
Can I see some ID?
Feeling left out?
نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close