Corrigendum to: ``On the decidability of semilinearity for semialgebraic sets and its implications for spatial databases (Q1970207)

Concerns the authors' article in ibid. 58, No. 3, 535-571 (1999; Zbl 0939.68027). From the text: Unfortunately only after the article went to press, the authors discovered a serious error in Section 5, for which they apologize. The error does not affect results in other sections. Moreover, with only minor modifications, the major results of Section 5 still hold, although several of the proofs that were given are incorrect. In this corrigendum, the nature of the error is specified (the error involves Algorithm 5.4 on p. 544) and how Section 5 has to be modified is indicated. The correctness of Propositions 5.7 and 5.13 as stated and proved in this corrigendum is especially crucial, as these results are the basis of other previously presented results, as well as some other recent, hitherto unpublished results.