A logical framework for view updating in indefinite databases