Semantics in databases - Thalheim, B. (Bernhard) 1952-; Libkin, Leonid (Lecture notes in computer science ;, 1998)