ببینید یکم پیچیده است آره، اما به ترجمه فارسی اش دقت کنید راحت می شه:

A تقسیم بر B یعنی:
تمامی رکوردهای جدول A رو درنظر بگیر و از اونها یه سری رکورد رو حذف کن
کدوم رکوردها رو؟ اونهایی که با تک تک رکوردهای Bمتناظر نیستن.

حالا چطوری این کارو می کنه؟
فرض کنید جدول A دو فیلد R و S داره و جدول B فقط یک فیلد S


قسمت به قسمت، فرمول بالا رو می خوام بگم:

۱-
صورت مسأله

۲-
فیلد غیر مشترک ® بین دو جدول‌، حاوی همه رکوردهای موجود در جدول A

۳-
تمامی حالات ممکن از ترکیب فیلد غیر مشترک در جدول A با فیلد مشترک در جدول B

۴-
در این مرحله‌، کل رکوردهای (سطرهای) جدول A رو از مقدار محاسبه شده در مرحله قبل کم می کنیم. حاصل اش، یه سری رکورد هست که هر حالت ترکیب ممکن بین دو جدول است که در جدول A موجود نیستن. اینها رکوردهایی هستن که در در اونها R به ازای همه S‌ها ظاهر نشده

۵- در مرحله آخر کافیه‌، این مقدار رو از کل رکوردهای جدول A کم کنیم و روی ستون غیر مشترک تصویر اش کنیم

خیلی ممنون بابت پاسختون
مگه در تفریق نباید دو جدول سازگار باشند؟
A [R] - {(A [R] x B [S]) - A [R,S]}
اینجا A[R] یک ستون R داره ولی جواب داخل آکولاد دو ستون R و S چرا؟
دوم اینکه قسمت * در کدهای بالا که نوشتم کجاست؟

خواهش می کنم
بله همینطوره و در اینجا هم این قاعده نقض نشده
دقت کنید که بعد از اون ضرب و تفریق اش با a کل این جدول روی ستون R اش تصویر شده بعد از ستون R در جدول A کم شده

------------------

در پاسخ اولین سوال تون که این with‌ها چه می کنند، باید گفت که اینها برای تخصیص نام جدید به حاصل پرس و جو هستند.

------------------

اون قسمتی هم که ستاره زدید یعنی:

with r2 (A,B,C,D) as
select *
from r1,s

برابر با این قسمته:

([A [R] x B [S])