© 1994 by British Computer Society
Implementation of Update Operations for Interval Relations


1 Informatics Laboratory, Agricultural University of Athens, Iera Odas 75, 118 55 Athens, Greece, 2 Department of Computer Science, King's College London, Strand, London WC2R 2LS, UK, 3 Department of Computer Science, Birkbeck College, Malet Street, London WC1E 7HX, UK
The concept of an interval has application in diverse areas, including temporal and spatial databases. However, the semantics of set-union and set-difference are inappropriate for the update of interval relations (i.e. of relations with interval attributes). In particular, we discuss how set-union can yield relations in which data is duplicated over several tuples and how set-difference does not implement the desired deletion semantics. This leads us to the definition of a normalized representation for interval relations in which there is no duplication of data over several tuples: we call such relations canonical ones. We define a pair of update operations which complement set-union and set-difference, give the desired update semantics, and maintain the property of canonicity. We give algorithms for these update operations. An examination of the efficiency of these operations leads us to propose two pairs of successively more optimized operations and we give algorithms for these also. The contribution of this paper is the development of efficient algorithms for updating interval relations while maintaining the desired update semantics and preserving the non-redundancy of the data.
Received August 1993. revised January 1994.
* Informatics Laboratory, Agricultural University of Athens, Iera Odas 75, 118 55 Athens, Greece
Department of Computer Science, King's College London, Strand, London WC2R 2LS, UK
¶ Department of Computer Science, Birkbeck College, Malet Street, London WC1E 7HX, UK
Correspondence to N. A. Lorentzos.