Semantics in databases - Thalheim, B. (Bernhard), 1952-; Libkin, Leonid (Springer, 1998)