Integrity Constraint Reformulation for Efficient Validation
Xiaolei Qian, Douglas R. Smith · 1987
Constraint validation has bcc?n difficult to imple-ment efficiently. The major reason for this difficulty lies in the state-dependent nature of integrity constraints and the rt~quiremcnt of both high-level spc&fication and cfficirnt runtimc cnforccmcnt. In this paper, we pro-pose a constraint reformulation approach to rfficicnt constraint validation. We also demonstrate how this knowledge-basrd constraint rcfornmlation can be natu-rally accomplished in the gcncral framework of problem reformulation with the technique of antecedent deriva-tion. We formalize thr reformulation of an integrity constraint as a tree-starch process where the search space is thtr set of all semantic-equivalent alternatives of the original constraint. We also develop control strate-gies and mcta-level rules for carrying out the search c?fficicntly. The major contribution of this work is a new promising approach to cfficirnt constraint valida-tiun and a general framework to accomplish it. 1.