"Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science, Volume 9)" - читать интересную книгу автора (Marianne Winslett)