dc.contributor.author Mirzazadeh, Mehdi dc.date.accessioned 2014-04-17 15:49:27 (GMT) dc.date.available 2014-04-17 15:49:27 (GMT) dc.date.issued 2014-04-17 dc.date.submitted 2014 dc.identifier.uri http://hdl.handle.net/10012/8327 dc.description.abstract In this thesis, we study the problem of evaluating set expressions over sorted sets in the comparison model. The problem arises in the context of evaluating search queries in text database systems; most text search engines maintain an inverted list, which consists of a set of documents that contain each possible word. Thus, answering a query is reduced to computing the union, the intersection, or a more complex set expression over sets of documents containing the words in the query. en At the first step, for a given expression on a number of sets and the sizes of the sets, we investigate the worst-case complexity of evaluating the expression in terms of the sizes of the sets. We prove lower bounds and provide algorithms with the matching running time up to a constant factor. We then refine the problem further and design an algorithm that computes such expressions according to the degree by which the input sets are interleaved rather than only considering sets sizes. %We prove the running time of our algorithm is asymptotically optimal. We prove the optimality of our algorithm by way of presenting a matching lower bound sensitive to the interleaving measure. The algorithms we present are different in the set of set operators they allow in input expressions. We provide algorithms that are worst-case optimal for inputs with union, intersection, and symmetric difference operators. One of the algorithms we provide also supports minus and complement operators and is conjectured to be optimal when an input is allowed to contain these operators as well. We also provide a worst-case optimal algorithm for the form of problem where the input may contain "threshold'" operators, which generalize union and intersection operators: for a number t, a t-threshold operator selects elements that appear in at least in t of the operand sets. Finally, the adaptive algorithm we provide supports union and intersection operators. dc.language.iso en en dc.publisher University of Waterloo en dc.subject Set Expression en dc.subject Algorithms en dc.subject Comparison Based Algorithms en dc.subject Lower Bound en dc.subject Data Structures en dc.title Efficient Evaluation of Set Expressions en dc.type Doctoral Thesis en dc.pending false dc.subject.program Computer Science en uws-etd.degree.department School of Computer Science en uws-etd.degree Doctor of Philosophy en uws.typeOfResource Text en uws.peerReviewStatus Unreviewed en uws.scholarLevel Graduate en
﻿

This item appears in the following Collection(s)

UWSpace

University of Waterloo Library
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
519 888 4883