Formal semantics for time in databases - Clifford, James 1950-; Warren, David S. (State University of New York <Stony Brook, NY>, 1981)