تالار گفتمان مانشت
جبر رابطه ای - نسخه‌ی قابل چاپ

جبر رابطه ای - لهمشد - ۰۳ دى ۱۳۸۹ ۰۹:۲۶ ب.ظ

فرض کنید R1و R2 دو رابطه باشند و R3=R1 union R2 کدامیک از گزارهای زیر صحیح است ؟ با ذکر دلیل لطفا ؟
۱-کلید اصلی R3 اجتماع کلید های اصلی R1,R2 است
۲-کلید اصلی R3 اجتماع تمام خصیصه های R1,R2 است
۳-کلید اصلی R3 کلید اصلی R1 یا کلید اصلی R2 است
۴-کلید اصلی R3 تقا طع تمام خصیصه های R1 وR2 است .

جبر رابطه ای - sepid - 04 دى ۱۳۸۹ ۰۱:۲۱ ق.ظ

گزینه ۲ جواب میشه.
من با مثالایی که واس خودم زدم به این جواب رسیدم.
اول اینکه میدونیم برای اجتماع دو رابطه باید دو رابطه همتا باشه یعنی تعداد ستون یکی باشه و دامنه هاشون هم یکسان باشه به ترتیب.
اعضای اجتماع شامل تاپلهایی که یا تو R1هست یا R2یا تو هردوش.
عاملی که ما رو مجبور می کنه که تمام صفتهای R1UR2 رو به عنوان کلید بگیریم وجود تاپلهایی هست که فقط در مقدار یک صفت که اونم کلید نیست با هم اختلاف دارند.
اگرR1صفات a,b,cداشته باشه با کلید c و R2 صفات d,e,fبا کلید e.
مثلا ۵و۳و۲ تو رابطه R1باشه و ۵و۳و۱ هم تو R2.
حالا تو R1UR2 نه میتونیم cرو کلید بگیریم نه b رو و نه هر دوشون رو با هم و باید ۳ تاشون کلید باشن.

RE: جبر رابطه ای - لهمشد - ۰۴ دى ۱۳۸۹ ۰۴:۳۰ ب.ظ

با سلام از پاسختون , پاسختون نادرسته
نقل قول: حالا تو R1UR2 نه میتونیم cرو کلید بگیریم نه b رو و نه هر دوشون رو با هم و باید ۳ تاشون کلید باشن.
چرا نه هر دوشون ؟؟Exclamation
به این دلیل که
اگر رابطه A به با کلید a بفرم زیر باشه
کد:
a     b     c
۱    2      3
۲      3    1
۳     3    1
و رابطه B هم به این فرم باشه با کلید a
کد:
a     t     f
۱    2     3
۲     3     3
۳    2      1
و فرض کنیم که صفات همتا و هم دامنه اند خواهیم داشت
کد:
A.a     b     c     B.a       t     f  
۱      2       3        1      2    3  
۲      3      1        2      3    3  
           3      3      1         3      2      1
والان کلید میشه A.a و و B.a و من فکر می کنم که این درست هستش و با این تفسیر گزینه ۱ صحیح هستش نه ۲ چون طبق تعریف اشتراک صفتها‌ی مشترک که ادغام نمیشوند که چرا به این دلیل که اگه ادغام قرار بود بشه حتما در قانون‌ها گفته میشد البته این رو جای ننوشته و من با مطرح کردن این سوال خواستم این مفهوم رو برسونم که اگه در جبر رابطهای عملگر اجتماع و اشتراک دارای صفتی همنام باشند انوقت چگونه در خروجی جبر رابطهای ظا هر میشوند چون اگر بگوئیم که جبر رابطهای از تئوری مجموعه‌ها پیروی میکند ما نباید در عملگر های اجتماع و اشتراک عضو تکرار داشته باشیم [/code]؟
یه مطلب دیگه هم بگم این سوال کنکور سال ۸۲ دولتی مهندسی کامپیوتر بوده و گزینه ۱ بدون ذکر هیچ توضییحی درست اعلام شده و صفحه ۱۳۸ کتاب اقای مقسمی هستش

جبر رابطه ای - sepid - 04 دى ۱۳۸۹ ۱۱:۱۲ ب.ظ

ببین تو کتاب مقسمی که نوشته ترکیب تمامی صفات که همون گزینه ۲ میشه.
اجتماع باید شامل ۳ صفت باشه نه ۶ تا.(اشتباه حل شما)
و با ۳ صفت هم همون گزینه ۲ جوابه.
اون کلید هم اشتباه گفته.

جبر رابطه ای - bijibuji - 05 دى ۱۳۸۹ ۰۴:۲۷ ق.ظ

آقا / خانوم لهمشد

من فکر نمی کنم بهتر از توضیحی که sepid عزیز داد، استادی بتونه توضیح بده این مطلب رو
من حدس می زنم توضیحاتش رو خوب نخوندی
دقیق بخون به بهترین شکل ممکن توضیح داده.

شما یک حالت خاص رو مثال زدی و رسیدی به این مطلب که کلید اجتماع شده اجتماع کلیدهای دو رابطه اولیه. اما من یه سوال دارم. آیا با مثال، می شه یه قانون رو اثبات کرد و نتیجه کلی گرفت؟
مثال:

من می خوام اثبات کنم که تمام اعداد بزرگتر از ۵ حداقل ۳ برابر این عدد هستند. اینم مثالش:

۱۸ بزرگتر از ۵ هست و حداقل ۳ برابرش هم هست. پس قانون ثابت شد!!!

این تست از شما خواسته که در حالت کلی بگین کلید رابطه حاصل از اجتماع دو رابطه چی می شه.
در حالت کلی کلید رابطه اجتماع، برابر است با اجتماع تمام خصیصه های دو رابطه. دلیل این امر اینه که در اجتماع ترکیب جدیدی از دامنه مقادیر (میدان ها) به دست میان. اگر یادتون باشه ما از روی تنوع همین میدان‌ها تشخیص می دادیم که یک خصیصه کلید هست یا نیست.
وقتی یک فیلد (خصیصه) بر روی رکورد (تاپل) های مختلف مقدار یکتایی داشته باشه، اون فیلد یک کلید کاندید می شه.

وقتی شما دو رابطه رو با هم اجتماع بزنی، ممکن است یکتایی مقدار تمام فیلدهایی که قبلا به عنوان کلید شناخته شده بودند از بین بره.
علاوه بر اون در حالت کلی هیچ تضمینی نیست که این رابطه تمام کلید نشه.

پس گزینه ۲ صحیحه و شما هم قبول کن که به خدا گزینه ۲ صحیحه Big GrinBig Grin

RE: جبر رابطه ای - لهمشد - ۰۵ دى ۱۳۸۹ ۰۴:۰۶ ب.ظ

نقل قول: حالا تو R1UR2 نه میتونیم cرو کلید بگیریم نه b رو و نه هر دوشون رو با هم و باید ۳ تاشون کلید باشن
با سلام ممنون از اینکه جواب دادید . من می گم چرا نه هر دوشون ؟

جبر رابطه ای - sepid - 06 دى ۱۳۸۹ ۱۲:۳۸ ق.ظ

چون به ازای ۵و۳ یک بار ۱ داریم یکبار هم۲ و این نقض تعریف کلید هست.
تعریف کلید رو با دقت بخون .