اون there exist یه جور تعریف کردن متغیر هست، همه‌ی متغیرهایی که ازشون استفاده میکنید باید قبلش تعریف شده باشن! sn که از قبل توی خروجی اومده (انگار که تعریف شده) بعد برای این که از جدول stud استفاده کنیم، حتماً باید برای بقیه‌ی صفت هاش هم یه متغیری تعریف کنیم تا same arity برقرار بشه!

نقل قول: همه‌ی متغیرهایی که ازشون استفاده میکنید باید قبلش تعریف شده باشن!

پس با این تفسیر یعنی در حساب رابطه ای هر چه در شرط P بیاید در خروجی یعنی سمت چپ قاعده کلی حساب رابطهای باید قرار گیرد و اگر چنین نباشد باید با exist there تعریف شود ؟ یا به زبان خیلی ساده‌تر شما می فر ماید که هر چیزی که در شرط P می‌اید باید در خروجی ظاهر گردد و اگر چنین نیست یعنی در حالتی که بعضی صفات قرار است در خروجی ظا هر گردد باید سایر صفاتی که در خروجی نمی ایند را با EXIST THERE تعریف شود ایا منظور چنین می باشد؟
حالا ۲ سوال:
۱-سوال اصلی من این هم بود که اگه ممکنه جواب بدهید شرط همتایی چگونه باید برقرار باشد یعنی هم صفات شر ط در P حساب رابطهای باید همتا باشد و هم خروجی یانه فقط صفات در شرط P ؟
۲-معنی exist there یعنی برای برخی وجود دارد و زمانی از این استفاده می کنیم" که برخی صفات در خروجی نمی ایند و باید تعریف شوند بقول شما " ایا درست است اگر رست لطفا بفرماید چون الان چند جنجالی از for all به ذهنم رسید بپیرسم ؟

نقل قول: پس با این تفسیر یعنی در حساب رابطه ای هر چه در شرط P بیاید در خروجی یعنی سمت چپ قاعده کلی حساب رابطهای باید قرار گیرد و اگر چنین نباشد باید با exist there تعریف شود ؟ یا به زبان خیلی ساده‌تر شما می فر ماید که هر چیزی که در شرط P می‌اید باید در خروجی ظاهر گردد و اگر چنین نیست یعنی در حالتی که بعضی صفات قرار است در خروجی ظا هر گردد باید سایر صفاتی که در خروجی نمی ایند را با EXIST THERE تعریف شود ایا منظور چنین می باشد؟

بله!

نقل قول: سوال اصلی من این هم بود که اگه ممکنه جواب بدهید شرط همتایی چگونه باید برقرار باشد یعنی هم صفات شر ط در P حساب رابطهای باید همتا باشد و هم خروجی یانه فقط صفات در شرط P ؟

منظور از همتایی اینه که در صورتی میتونید از رابطه‌ی عضویت استفاده کنید که تعداد صفت هایی که داخل <> مینویسید با تعداد ستون های جدولی که دارید رابطه‌ی عضویت رو در موردش مینویسید برابر باشند.
مثلاً اگه یه جدول T دارید که ستون های A,B,C داره، اگه بخواید رابطه‌ی عضویت رو برای این جدول بنویسید حتماً باید یه چیزی شبیه این باشه یعنی حتماً باید ۳ تا متغیر داشته باشه، حالا اگه متغییرهاش قبلاً تعریف شده بودن که هیچی ولی هر متغیری که قبلاً تعریف نشده بود، باید با there exist تعریف بشه.

نقل قول: معنی exist there یعنی برای برخی وجود دارد و زمانی از این استفاده می کنیم" که برخی صفات در خروجی نمی ایند و باید تعریف شوند بقول شما " ایا درست است اگر رست لطفا بفرماید چون الان چند جنجالی از for all به ذهنم رسید بپیرسم ؟

الآن مثلاً این جا there exist یعنی این که یه b و c های در جدول وجود دارند که a,b,c با هم یه سطر از جدول T رو تشکیل میدن و باید اون شرایطی که در ادامه اومده رو داشته باشند.