On the Complexity of View Update Analysis and Its Application to Annotation Propagation | IEEE Journals & Magazine | IEEE Xplore