زمان کنونی: ۰۵ دى ۱۴۰۳, ۰۲:۰۶ ب.ظ مهمان گرامی به انجمن مانشت خوش آمدید. برای استفاده از تمامی امکانات انجمن می‌توانید عضو شوید.
گزینه‌های شما (ورودثبت نام)
ارسال:
  

okok پرسیده:

فرم نرمال 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 است . چون در سمت چپ همه وابستگی های تابعی ابر کلید هسا!
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

ardaaalan پاسخ داده:

RE: فرم نرمال BCNF

این سوال دقیقاً سوالیه که منم باهاش مشکل دارم . ولی تو ۹۹ % تست ها از رابطه دوم استفاده کرده و گفته که چون سمت راست همه کلیدها ابر کلید هستش پس درنتیجه BCNF میشه . منم فرض رو بر اون گذاشتم Huh
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

Ametrine پاسخ داده:

RE: فرم نرمال BCNF

کسی نظری نداره ؟
شرط بدیهی بودن رو توضیح میدید لطفاً؟
نقل قول این ارسال در یک پاسخ

ارسال:
  

ardaaalan پاسخ داده:

RE: فرم نرمال BCNF

(۰۹ بهمن ۱۳۹۳ ۱۲:۲۰ ق.ظ)Ametrine نوشته شده توسط:  کسی نظری نداره ؟
شرط بدیهی بودن رو توضیح میدید لطفاً؟

شرط بدیهی بودن اینه که اگر ab باشه آنگاه ba یک رابطه بدیهی هستش .
یافتن تمامی ارسال‌های این کاربر
نقل قول این ارسال در یک پاسخ

ارسال:
  

Ametrine پاسخ داده:

RE: فرم نرمال BCNF

(۰۹ بهمن ۱۳۹۳ ۰۲:۵۴ ق.ظ)ardaaalan نوشته شده توسط:  شرط بدیهی بودن اینه که اگر ab باشه آنگاه ba یک رابطه بدیهی هستش .
تعریفش رو میدونم.
تشخیص دادن این حالت چطوری هست؟
اگه میشه یه مثال بزنید که این حالت توش صدق کنه.
یافتن تمامی ارسال‌های این کاربر
نقل قول این ارسال در یک پاسخ

ارسال:
  

ardaaalan پاسخ داده:

RE: فرم نرمال BCNF

(۰۹ بهمن ۱۳۹۳ ۰۸:۵۱ ق.ظ)Ametrine نوشته شده توسط:  
(09 بهمن ۱۳۹۳ ۰۲:۵۴ ق.ظ)ardaaalan نوشته شده توسط:  شرط بدیهی بودن اینه که اگر ab باشه آنگاه ba یک رابطه بدیهی هستش .
تعریفش رو میدونم.
تشخیص دادن این حالت چطوری هست؟
اگه میشه یه مثال بزنید که این حالت توش صدق کنه.

همینه تشخیص دادنش . توی صورت مساله میگه که داریم ab پس تو وابستگی ها ab بدیهی خواهد بود .
اکثراً توی تست هایی که نیاز به حل داره از بدیهی بودن استفاده نمیشه . مثلاً تو تشخیص BCNF که باید از این استفاده کنی که سمت راست همشون ابر کلید باشه .
بدیهی بودن معمولاً تو تست هایی میاد که میگه کدوم صحیحه
مثلاً تو گزینه میده اگر ab آنگاه ab
یافتن تمامی ارسال‌های این کاربر
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

abji22 پاسخ داده:

RE: فرم نرمال BCNF

ب اینجاش دقت نکرده بودم
ی سوال:واسه۳nfبودن شرایطش از bcnfبودن بیشتره حالا اگه ۲ شرط اولی برقرار باشه ولی سومی برقرار نباشه یعنی تو bcnfهست ولی ۳nfنیست؟مگه میشه؟؟
نقل قول این ارسال در یک پاسخ

ارسال:
  

ardaaalan پاسخ داده:

RE: فرم نرمال BCNF

(۰۹ بهمن ۱۳۹۳ ۰۲:۰۳ ب.ظ)abji22 نوشته شده توسط:  ب اینجاش دقت نکرده بودم
ی سوال:واسه۳nfبودن شرایطش از bcnfبودن بیشتره حالا اگه ۲ شرط اولی برقرار باشه ولی سومی برقرار نباشه یعنی تو bcnfهست ولی ۳nfنیست؟مگه میشه؟؟

مگه داریم ؟؟
شما از اول شروع میکنیم به چِک کردن . اول میگیم بدیهی هستش ؟ اگه بود پس برقراره ( دیگه نیاز به ادامه بفیه نخواهد بود ). اگه نبود میریم سراغ چِک کرن اینکه سمت چپش ابر کلید هست یا نه . اگه بود که حله ( دیگه بعدی نیاز به چِک کردن نداره چون طبیعتاً درست خواهد بود ) . اگه نه تو ۳NF میریم سراع چِک کرن آخری . اگه تو ۳nf شرط دومت یعنی ابر کلید بودن سمت چپ درست باشه پس طبیعتاً این رابطه تو شرط دوم BCNF هم درست خواهد بود
یافتن تمامی ارسال‌های این کاربر
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

abji22 پاسخ داده:

RE: فرم نرمال BCNF

اها برقراری ی شرط کافیه
اعتراف میکنم س.ال اسونی بود
نقل قول این ارسال در یک پاسخ



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  کمک در تبدیل به فرم گریباخ hadizd ۳ ۴,۰۷۷ ۲۶ خرداد ۱۳۹۸ ۰۴:۲۸ ب.ظ
آخرین ارسال: hadizd
Sad سوال درباره نرمال سازی و ایجاد بانک اطلاعاتی f.kh70 ۰ ۱,۵۹۲ ۲۹ آذر ۱۳۹۵ ۰۱:۴۰ ب.ظ
آخرین ارسال: f.kh70
  فرم معدل؟؟؟؟؟؟ the ۱ ۲,۴۳۷ ۲۴ مهر ۱۳۹۵ ۰۴:۴۳ ب.ظ
آخرین ارسال: آیلا
  ذکر علامت جمعی درتنظیم فرم اظهارنامه ثبت علامت تجاری novin10 ۰ ۲,۳۱۴ ۰۲ شهریور ۱۳۹۵ ۰۳:۰۶ ب.ظ
آخرین ارسال: novin10
  مشکل در حل سوال مربوط به نرمال سازی zahrabvf ۳ ۲,۶۶۴ ۱۶ خرداد ۱۳۹۵ ۱۱:۵۶ ب.ظ
آخرین ارسال: Iranian Wizard
  نرمال سازی بانک اطلاعاتی taro.misaki ۵ ۵,۴۰۶ ۱۶ خرداد ۱۳۹۵ ۰۹:۲۸ ب.ظ
آخرین ارسال: Iranian Wizard
  نرمال سازی- IT90- آزاد dokhtare payiz ۳ ۲,۷۴۰ ۲۶ اردیبهشت ۱۳۹۵ ۱۰:۰۶ ق.ظ
آخرین ارسال: dokhtare payiz
  ۵۰ درصد دوم پارسه - نرمال سازی مهرگان ۴ ۴,۰۴۷ ۲۴ اسفند ۱۳۹۴ ۱۲:۱۰ ب.ظ
آخرین ارسال: soosoo
  فرم تایید معدل abolfazl pepco ۰ ۱,۷۴۶ ۱۷ آذر ۱۳۹۴ ۰۹:۲۲ ب.ظ
آخرین ارسال: abolfazl pepco
  انتخاب گرایش دانشگاه امیرکبیر از طریق تکمیل فرم!؟! neuralp ۴ ۲,۴۱۱ ۱۶ شهریور ۱۳۹۴ ۱۰:۴۵ ب.ظ
آخرین ارسال: ana9940

پرش به انجمن:

Can I see some ID?

به خاطر سپاری رمز Cancel

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close

رمزت رو فراموش کردی؟

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. close