Space-time tradeoff for answering range queries (Extended Abstract)

Abstract

In this paper, we raise and investigate the question of (storage) space- (retrieval) time tradeoff for a static database, in the general framework of Fredman's. As will be seen, such tradeoff results also lead to lower bounds on the complexity of processing a sequence of m INSERT and QUERY instructions. The latter results are incomparable to Fredman's, since the presence of DELETE instructions was crucial for his proof technique. We will present our results in detail in the next few sections. Here we will only mention three main conclusions. Firstly, circular query is shown to be intrinsically hard in the sense that, for some static database with n records, there is a space-time tradeoff TS > n1 + e where e>0; in contrast, orthogonal query can always be implemented with space S=0(n(log n)k) and time T=0((log n)k) for fixed k. Furthermore, any algorithm for processing 0(n) INSERT and QUERY instructions must use time Ω(n1+e) in the worst case. Secondly, for the “interval” query, we have determined the space-time tradeoff quite precisely to be T