TODO: need to verify after deletion whether the schemas are still
satisfied or not.