A is a view that can be generated for any valid by applying a set of logical rules. Once converted to their , can be more easily tested for subsumption by one another.