Truy vấn dữ liệu hướng người dùng - 10
(A) Định lý cho P1&P2: (a) P1&P2 ≡ P1 nếu P1 = (A, (b) P1&P2 ≡ P1 + (A1↔&P2) nếu A1 ∩ A2 = □ Chứng minh: (a) Cho P1 = (A, ∈ dom(A) chúng ta có: x ∨ (x = y ∧ x ∨ false nếu x (b) Cho P1 = (A1, □ . cho x = (x1, x2), y = (y1, y2) ∈ dom(A1) × dom(A2) cho x thứ tự ...