Database Applications Semantics