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

بستار یک مجموعه وابستگی تابعی

ارسال:
  

Happiness.72 پرسیده:

بستار یک مجموعه وابستگی تابعی

سلام و احترام
سوال صفحه ۱۶۴ از کتاب Parseh هستش - راستش قواعد آرمسترانگ رو تا حدودی متوجه شدم ولی مثالهاش رو نه کامل
رابطه R(A,B,C,D,E,G )r با مجموعه وابستگی های تابعی F = {A⟶BC,B⟶E,CD⟶EG} f مفروض است آیا AD⟶G عضو بستار F است ؟
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

Iranian Wizard پاسخ داده:

RE: بستار یک مجموعه وابستگی تابعی

سلام.بله عضو بستار F است.
با توجه به اینکه A [tex]\longrightarrow[/tex] BC ،در نتیجه با استفاده از قاعده تجزیه میتونیم نتیجه بگیریم که A [tex]\longrightarrow[/tex] B و A [tex]\longrightarrow[/tex] C

حال با توجه به اینکه A [tex]\longrightarrow[/tex] C ،طبق قاعده افزایشی میتونیم نتیجه بگیریم که AD[tex]\longrightarrow[/tex] CD

سپس چونکه AD[tex]\longrightarrow[/tex] CD و CD [tex]\longrightarrow[/tex] EG ،در نتیجه طبق قاعده انتقالی AD [tex]\longrightarrow[/tex] EG
و در نهایت با توجه به AD [tex]\longrightarrow[/tex] EG و طبق قاعده تجزیه AD [tex]\longrightarrow[/tex] G


* البته اینجا میشد از قاعده افزایشی استفاده نکرد.و بعد اینکه A [tex]\longrightarrow[/tex] C بدست اومد و با توجه به اینکه در مجموعه وابستگی تابعی f داشتیم که CD [tex]\longrightarrow[/tex] EG ،طبق قاعده شبه انتقالی میشد نتیجه گرفت که AD [tex]\longrightarrow[/tex] EG و سپس با استفاده از قاعده تجزیه، AD [tex]\longrightarrow[/tex] G نتیجه میشد
نقل قول این ارسال در یک پاسخ



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  مجموعه تمارین و سوالات امتحانی درس طراحی الگوریتم دانشگاه MIT (سال ۲۰۰۰-۲۰۱۲) Farid_Feyzi ۵ ۷,۸۳۵ ۳۰ آبان ۱۳۹۹ ۱۰:۱۵ ب.ظ
آخرین ارسال: s-taheri
  مجموعه آموزش تصویری شبکه های پتری رنگی net work ۰ ۲,۳۲۱ ۲۲ فروردین ۱۳۹۸ ۰۳:۲۷ ب.ظ
آخرین ارسال: net work
  مجموعه آموزش تصویری ابزار شبیه سازی و بررسی پروتکل امنیتی اسکایتر net work ۰ ۲,۶۲۵ ۲۲ فروردین ۱۳۹۸ ۰۳:۲۵ ب.ظ
آخرین ارسال: net work
  مجموعه آموزشی رایگان برنامه نویسی متلب net work ۰ ۲,۱۶۹ ۲۲ فروردین ۱۳۹۸ ۰۳:۲۱ ب.ظ
آخرین ارسال: net work
  نگاشت شرکت پذیر مجموعه ای لطفا کمک Sanazzz ۳ ۴,۱۷۷ ۰۲ اسفند ۱۳۹۷ ۰۳:۲۷ ب.ظ
آخرین ارسال: Sanazzz
  سوالات ارشد آزاد مجموعه کامپیوتر ۹۲ yahyazahedi ۱ ۵,۸۳۵ ۲۷ بهمن ۱۳۹۷ ۱۲:۴۰ ب.ظ
آخرین ارسال: serv24
  مجموعه تمارین و سوالات امتحانی درس طراحی الگوریتم دانشگاه MIT (سال ۲۰۰۰-۲۰۱۲) Farid_Feyzi ۱۵ ۱۸,۱۱۹ ۱۹ آذر ۱۳۹۷ ۱۱:۱۰ ق.ظ
آخرین ارسال: *farnaz*
  کنکور ارشد مجموعه مهندسی کامپیوتر با لیسانسی که گرایشش it هست ؟ mrhosseini97 ۱ ۲,۶۶۳ ۰۵ مهر ۱۳۹۷ ۰۳:۳۳ ب.ظ
آخرین ارسال: mahatasa
  کنکور ارشد مجموعه مهندسی کامپیوتر با لیسانسی که گرایشش it هست ؟ mrhosseini97 ۱ ۲,۶۷۰ ۰۴ مهر ۱۳۹۷ ۱۱:۲۷ ب.ظ
آخرین ارسال: mrhosseini97
  نحوه محاسبه مجموعه پیش بینی یا lookahead Erfan_Ekh ۱ ۲,۶۱۰ ۲۷ خرداد ۱۳۹۷ ۰۱:۳۱ ق.ظ
آخرین ارسال: ftmbghrn

پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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