Updating Logocal Databases - Winslett, Marianne (Cambridge tracts in theoretical computer science, 1990)