Đơn giản hóa truy vấn có tham số

 Ví dụ:

Ξτ τρυψ ϖ νấ : Χη ν χ〈χ βọ ộ χ α θυαν ηủ ệ το◊ν χ χ ụ∆ΕΠΤ χ⌠ χ〈χ µ πη∫νγ βαν χηο τρ χ. ướ ∆ΕΠΤ χ⌠ χ〈χ µ πη∫νγ βαν χηο τρ χ. ướ

Πηπ χη ν τρν ∆ΕΠΤΝΥΜ χ⌠ τηαµ σố νη σαυư :

σDEPTNUM = $X OR DEPTNUM = $YDEPT

Ở τη ι γιαν βιν δ χη:ờ ị κηνγ βι τ χ〈χ µ νη ν◊ο ế ảχ α θυαν η το◊ν χ χ ∆ΕΠΤ σ ẽ đượχ σử δ νγ. χ α θυαν η το◊ν χ χ ∆ΕΠΤ σ ẽ đượχ σử δ νγ. Νη νγ βι τ τ ι α χη χ⌠ ηαι µ νη λιν θυαν ν ư ế ố đ ỉ ả đế χυ τρυψ ϖ ν.ấ  τη ι γιαν χη ψ:ờ ạ χ〈χ γι〈 τρ τη χ σ ự ự đượχ γ〈ν χηο χ〈χ τηαµ σ ∃Ξ ϖ◊ ∃Ψ ϖ◊ ξ〈χ νη χ χ〈χ µ νη ν◊ο χ⌠ λιν θυαν ν τρυψ ϖ ν.

Đơn giản hóa truy vấn có tham số

 Đơn giản hóa truy vấn có tham số: áp dụng đại số quan hệ định tính để xác định các vị từ định tính của các biểu thức con là mâu thuẫn với nhau.

 Biểu diễn phép đơn giản hóa ở thời gian chạy:

Τηαψ τη χ〈χ πηπ η π β ι µ τ πηπ το〈ν µ ι ợ ở ộ ớν− νγι, đượ ọχ γ ι λ◊ ΧΥΤ. ν− νγι, đượ ọχ γ ι λ◊ ΧΥΤ. Πηπ το〈ν ΧΥΤ τη χ ηι ν πηπ η π χ α χη µ τ σ ự ệ ợ ủ ỉ ộ ố το〈ν η νγ χ α ν⌠.ạ ủ 58 Nhóm 2

Đơn giản hóa truy vấn có tham số

 Phép toán CUT có một đặc tả cho mỗi toán hạng đó là một công thức dùng các tham số của câu truy vấn và vị từ định tính của phân mảnh

 Mỗi công thức sẽ được chuẩn bị ở thời gian biên dịch và thực hiện tính toán ở thời gian chạy.

Đơn giản hóa truy vấn có tham số