Storing a Sparse Table with 0(1) Worst Case Access Time
Journal of the ACM (JACM)
New data structures for orthogonal range queries
SIAM Journal on Computing
Adding range restriction capability to dynamic data structures
Journal of the ACM (JACM)
On the application of sheared retrieval to orthogonal range queries
SCG '86 Proceedings of the second annual symposium on Computational geometry
Filtering search: a new approach to query answering
SIAM Journal on Computing
Binding performance at language design time
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Multidimensional search trees that provide new types of memory reductions
Journal of the ACM (JACM)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Functional approach to data structures and its use in multidimensional searching
SIAM Journal on Computing
Efficient data structures for range searching on a grid
Journal of Algorithms
A logical language for data and knowledge bases
A logical language for data and knowledge bases
Information and Computation
Optimal sample cost residues for differential database batch query problems
Journal of the ACM (JACM)
Tree queries: a simple class of relational queries
ACM Transactions on Database Systems (TODS)
Using Semi-Joins to Solve Relational Queries
Journal of the ACM (JACM)
A Lower Bound on the Complexity of Orthogonal Range Queries
Journal of the ACM (JACM)
On the Desirability of Acyclic Database Schemes
Journal of the ACM (JACM)
Syntactic Characterization of Tree Database Schemas
Journal of the ACM (JACM)
Dynamization of geometric data structures
SCG '85 Proceedings of the first annual symposium on Computational geometry
Finite Differencing of Computable Expressions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Multidimensional divide-and-conquer
Communications of the ACM
Multidimensional binary search trees used for associative searching
Communications of the ACM
Efficient processing of relational calculus expressions using range query theory
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Maintaining Range Trees in Secondary Memory (Extended Abstract)
STACS '88 Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science
Optimal sample cost residues for differential database batch query problems
Journal of the ACM (JACM)
Higher-Order and Symbolic Computation
Incrementalization across object abstraction
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Resource bound analysis for database queries
Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security
Faster join-projects and sparse matrix multiplications
Proceedings of the 12th International Conference on Database Theory
Optimizing relational algebra operations using generic equivalence discriminators and lazy products
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Hi-index | 0.00 |
Throughout this paper q will denote a query such that I is the number of tuples inputted into the query, and U is the number of tuples in its output. We will say that q has quasi-linear complexity iff for some constant d, it is executable in time O(U + I logdI) and space O(I + U). This article will define a large subset of the relational calculus, called RCS, and show that all RCS queries are executable by quasi-linear algorithms.Our algorithm does not require the maintenance of any complex index, as it builds all the needed data structures during the course of the executing algorithm. Its exponent d can be large for some particular queries q, but it is a quite nice constant equal to 1 or 0 in most practical cases. Our algorithm is intended for data bases stored in main memory, and its time O(U + I logdI) should amount to only a few seconds of CPU time in many practical applications.Chapter 10 of this paper lists some open questions for further investigation.