It is well known that the complexity of testing the correcness of an arbitrazy update to a database vew can be far greater than the complexity of testing a corresponding update to the main schema. However, views are generally managed according to some protocol which limits the admissible updates to subset of all prossible changes. The between these two complexities