World-set decompositions: expressiveness and efficient algorithms

  • Authors:
  • Lyublena Antova;Christoph Koch;Dan Olteanu

  • Affiliations:
  • Lehrstuhl für Informationssysteme, Universität des Saarlandes, Saarbrücken, Germany;Lehrstuhl für Informationssysteme, Universität des Saarlandes, Saarbrücken, Germany;Lehrstuhl für Informationssysteme, Universität des Saarlandes, Saarbrücken, Germany

  • Venue:
  • ICDT'07 Proceedings of the 11th international conference on Database Theory
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Uncertain information is commonplace in real-world data management scenarios. An important challenge in this context is the ability to represent large sets of possible instances (worlds) while supporting efficient storage and processing. The recent formalism of world-set decompositions (WSDs) provides a space-efficient representation for uncertain data that also supports scalable processing. WSDs are complete for finite world-sets in that they can represent any finite set of possible worlds. For possibly infinite world-sets, we show that a natural generalization of WSDs precisely captures the expressive power of c-tables. We then show that several important problems are efficiently solvable on WSDs while they are NP-hard on c-tables. Finally, we give a polynomial-time algorithm for factorizing WSDs, i.e. an efficient algorithm for minimizing such representations.