Semantics in Databases - Bernhard Thalheim, Leonid Libkin ((Lecture Notes in Computer Science))