Note that this is a sufficient condition which means that there could be some instances where this property is not satisfied yet the join is lossless, but we need guarantees for our design.
இது ஒரு சஃபிசியன்ட் கண்டிஷன் என்பதை நினைவில் கொள்க. அதாவது, இந்த ப்ராப்பர்ட்டி ஸடிஸ்ஃபை அடையாத சில இன்ஸ்டன்ஸ்கள் இருக்கக்கூடும்.