Maximality of Constructed Plan

Theorem:

Given a user query, source descriptions, functional dependencies, and limitations,

(i) rectified user query,

(ii) inverse rules,

(iii) chase rules,

(iv) domain rules, and the

(v) transitivity rule

is a maximal query plan.