Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science)