با عرض سلام خدمت تمامی اساتید فروم مانشت
بنده یک ابهام در قسمت وابستگی های تابعی دارم
بسیار ممنون خواهم شد پاسخ این دوست کوچک خودتان را بدهید
بنده از کتاب آقای روحانی رانکوهی خواندم که اگر وابستگی تابعی A ---> X در بستار A یا همان +A باشد در بستار مجموعه ای یا +F نیز می باشد
تا آنجایی که من متوجه شدم بستار A یعنی مجموعه تمام صفاتی که با A وابستگی تابعی داشته باشند .
خوب پس اگر مثلا X , Y صفاتی باشند که با A وابستگی تابعی دارند آیا بستار A فقط همین XوY میشود؟ یا A ----> X و A ----> Y ؟
و همچنین بستار مجموعه ای یعنی تمام وابستگی های تابعی که شما میتوانید از روی تمام وابستگی های تابعی یک مجموعه استنتاج کنید یا به
عبارتی همه وابستگی های تابعی که میشود از F استنتاج کرد .
خوب پس +F از تمام وابستگی های رابطه استنتاج می شود ؛ با این وجود بستار A فقط بخشی از وابستگی های رابطه می باشد.
پس چگونه می شود که وابستگی تابعی ای که در بستار A هست در بستار F باشد ؟
مگر می شود بستار A در مجموعه استنتاج های تمام وابستگی های رابطه باشد؟
با تشکر از تمامی اساتید گرامی
(۰۱ آذر ۱۳۹۲ ۱۲:۳۴ ق.ظ)zerocool_ir نوشته شده توسط: با عرض سلام خدمت تمامی اساتید فروم مانشت
بنده یک ابهام در قسمت وابستگی های تابعی دارم
بسیار ممنون خواهم شد پاسخ این دوست کوچک خودتان را بدهید
بنده از کتاب آقای روحانی رانکوهی خواندم که اگر وابستگی تابعی A ---> X در بستار A یا همان +A باشد در بستار مجموعه ای یا +F نیز می باشد
تا آنجایی که من متوجه شدم بستار A یعنی مجموعه تمام صفاتی که با A وابستگی تابعی داشته باشند .
خوب پس اگر مثلا X , Y صفاتی باشند که با A وابستگی تابعی دارند آیا بستار A فقط همین XوY میشود؟ یا A ----> X و A ----> Y ؟
و همچنین بستار مجموعه ای یعنی تمام وابستگی های تابعی که شما میتوانید از روی تمام وابستگی های تابعی یک مجموعه استنتاج کنید یا به
عبارتی همه وابستگی های تابعی که میشود از F استنتاج کرد .
خوب پس +F از تمام وابستگی های رابطه استنتاج می شود ؛ با این وجود بستار A فقط بخشی از وابستگی های رابطه می باشد.
پس چگونه می شود که وابستگی تابعی ای که در بستار A هست در بستار F باشد ؟
مگر می شود بستار A در مجموعه استنتاج های تمام وابستگی های رابطه باشد؟
با تشکر از تمامی اساتید گرامی
سلام دوست عزیز !
من احساس می کنم که سوال شما اشکال دارد !
شما فرمودید که : "اگر وابستگی تابعی A ---> X در بستار A یا همان +A باشد در بستار مجموعه ای یا +F نیز می باشد"
در این سوال شما، علامت A، یک خصوصیت است. در بستار مجموعه ای از خصوصیتها، FD (از این علامتا A->X) وجود ندارد بلکه خصوصیت های دیگر قرار خواهند گرفت مثلا به این شکل : [tex]\{A\}^{ } = \{A,F,G,H\}[/tex]
همچنین فرمودید که : "بستار مجموعه ای یعنی تمام وابستگی های تابعی که شما میتوانید از روی تمام وابستگی های تابعی یک مجموعه استنتاج کنید یا به عبارتی همه وابستگی های تابعی که میشود از F استنتاج کرد . خوب پس +F از تمام وابستگی های رابطه استنتاج می شود ؛ با این وجود بستار A فقط بخشی از وابستگی های رابطه می باشد."
بله حق با شماست !
یه جای کار اشکال داره !
واقعیت اینه که هنگام تولید بستار یک مجموعه از خصوصیات از روی یک مجموعه وابستگی تابعی، شما باید برای استنتاج های خود، به بستار آن مجموعه وابستگی تابعی مراجعه کنید، نه اینکه به خود مجموعه وابستگی تابعی مراجعه کنید.
در واقع ایرادی که شما گرفته اید کاملا درست می باشد !
بدین معنی که برای یافتن مثلا +A، به +F مراجعه می کنید.
البته هیچکس برای اینکار در سر جلسه امتحان، بستار مجموعه وابستگی تابعی را تشکیل نمی دهد، چون کاری وقت گیر است. معمولا با تمرین می توان از روی همان مجموعه وابستگی، استنتاج های لازم را انجام داد. در واقع تسلط به اصول آرمسترانگ برای همین است.