Data Base Applications Semantics by Robert Meersman