2009/02/18 by Pierre Fraigniaud, Amos Korman, Fraigniaud, Pierre +1
Computer Science · #Algorithms and Data Compression #Complexity and Algorithms in Graphs #Data Management and Algorithms #Data Structures and Algorithms (cs.DS) #Discrete Mathematics (cs.DM) #Distributed #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC) #cs.DC #cs.DM #cs.DS
paper · pdf · doi:10.48550/arxiv.0902.3081
arxiv created 2009/02/18 · openalex publication_date 2009/02/18 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
An \em ancestry labeling scheme labels the nodes of any tree in such a way that ancestry queries between any two nodes in a tree can be answered just by looking at their corresponding labels. The common measure to evaluate the quality of an ancestry labeling scheme is by its \em label size, that is the maximal number of bits stored in a label, taken over all n-node trees. The design of ancestry labeling schemes finds applications in XML search engines. In the context of these applications, even small improvements in the label size are important. In fact, the literature about this topic is interested in the exact label size rather than just its order of magnitude. As a result, following the proposal of an original scheme of size 2log n bits, a considerable amount of work was devoted to improve the bound on the label size. The current state of the art upper bound is log n + O(√(log n)) bits which is still far from the known log n + Ω(loglog n) lower bound. Moreover, the hidden constant factor in the additive O(√(log n)) term is large, which makes this term dominate the label size for typical current XML trees. In attempt to provide good performances for real XML data, we rely on the observation that the depth of a typical XML tree is bounded from above by a small constant. Having this in mind, we present an ancestry labeling scheme of size log n+2log d +O(1), for the family of trees with at most n nodes and depth at most d. In addition to our main result, we prove a result that may be of independent interest concerning the existence of a linear \em universal graph for the family of forests with trees of bounded depth.