Mar 062014
صورت تمرین : از روی یک ماتریس رابطه به چه صورت می توان به تعدی بودن ( Transitive ) آن پی برد
و از روی یک ماتریس رابطه مانند R به چه صورت می توان بستار تعدی آنرا ساخت
جواب :
تعریف رابطه تعدی (Transitive )
اگر عضوی با عضو دوم و عضو دوم با سوم و اول با سوم ارتباط داشته باشد
با استفاده از ماتریس :
بستار بازتابی Transitive Closure : کوچکترین رابطه ای هست مثل ‘R که شامل R هست و یک رابطه را کم دارد تا بازتابی شود
حداقل رابطه ای شامل R هست و شامل رابطه اولیه باشد
