Biểu thức đại số quan hệ. Cây toán tử của truy vấn. Các phép biến đổi tương đương. Tiêu chuẩn 1 và 2. Đồ thị toán tử và biểu thức con chung. Biểu thức chuẩn tắc. Đại số quan hệ định tính. Tiêu chuẩn 3 và 4. Đơn giản hóa các quan hệ được phân mảnh ngang.