لینک پرداخت و دانلود *پایین مطلب*
فرمت فایل:Word (قابل ویرایش و آماده پرینت)
تعداد صفحه:3
فهرست مطالب
1- اثبات قضیه تعدی آرمسترانگ
2- اثبات قضیه هیث
3- حل مشکل مطرح شده در جدول SP
فرم کلی قضیه :
در رابطه R( A , B , C , … ) داریم :
فرض :
1- A B
2- B C
اثبات اینکه : C A
با استفاده از برهان خلف داریم که اگر C A در این صورت در رابطه R در حداقل دو تاپل ، به ازاء یک مقدار A دو مقدار متمایز از C داریم .
اما به ازای دو مقدار متمایز C ممکن است دو مقدار متمایز یا یک مقدار باشد .
مقاله اثبات قضیه تعدی آرمسترانگ اثبات قضیه هیث حل مشکل مطرح شده در جدول SP