Formal semantics for time in databases - Clifford, James 1950-; Warren, David S. (1981)