Libkin, LeonidWong, Limsoon2023-05-222023-05-221992-12-012007-08-16https://repository.upenn.edu/handle/20.500.14332/7400Or-sets were introduced by Imielinski, Naqvi and Vadaparty for dealing with liimited forms of disjunctive information in database queries. Independently, Rounds used a similar notion for representing disjunctive and conjunctive information in the context of situation theory. In this paper we formulate a query language with adequate expressive power for or-sets. Using the notion of normalization of or-sets, queries at the "structural" and "conceptual" levels are distinguished. Losslessness of normalization is established for a large class of queries. We have obtained upper bounds for the cost of normalization. An approach related to that of rounds is used to provide semantics for or-sets.Report