سلام دوستان
من هر چی این جملات رو می خونم چیزی دستگیرم نمی شه. چه کسی منظور این جملات رو می دونه؟
فرض کنید A و B صفات دو رابطه مجزا هستند. اکنون عبارات زیر را در نظر بگیرید:
بدیهی است که این عبارت معادل عبارت زیر است:کد:A>B AND B>C
معادل بودن(هم ارزی) مبتنی بر این حقیقت است که عملگر مقایسهبزرگتر از متعدی است. توجه کنید که این تبدیل، ارزشمند است زیرا سیستم را قادر می سازد که قبل از انجام الحاق ِ بزرگتر ازناشی ازکد:A>B AND B>C AND A>C
محدودیت دیگری روی A انجام دهد.کد:A>B
