"Semantics in Databases " - читать интересную книгу автора (Bernhard Thalheim, Leonid Libkin)