ಆದ್ದರಿಂದ, ಅದು r ನಲ್ಲಿನ ಪ್ರತಿ ಬ್ಲಾಕ್ ಗೆ ಮತ್ತು s ನಲ್ಲಿನ ಪ್ರತಿ ಬ್ಲಾಕ್ ಗೆ, r ನಲ್ಲಿನ ಪ್ರತಿ ಟುಪಲ್ ಗೆ, ಮತ್ತು s ನಲ್ಲಿನ ಪ್ರತಿ ಟಪಲ್ ಗೆ, ಜಾಯಿನ್ ಪ್ರಿಡಿಕೇಟ್ಅನ್ನು ಮಾಡುತ್ತದೆ, ಮತ್ತು ಅದು r ಅನ್ನು ಪೂರ್ಣಗೊಳಿಸಿರುವುದರಿಂದ ಅದನ್ನು ಎಸೆಯುತ್ತದೆ.
അതിനാൽ, ഇത് അടിസ്ഥാനപരമായി, r-ലെ ഓരോ ബ്ലോക്കിനും s-ലെ ഓരോ ബ്ലോക്കിനും , r- ലെ ഓരോ ട്യൂപ്പിളിനും , പിന്നെ s- ലെ ഓരോ ട്യൂപ്പിളിനും , അത് ജോയിൻ പ്രെഡിക്കേറ്റ് ചെയ്യുന്നു, തുടർന്ന്, അത് r എന്ന ബ്ലോക്ക് പരിഗണിക്കുന്നില്ല, അതിനാൽ ഇത് പൂർണ്ണമായും ചെയ്തു കഴിഞ്ഞു.