skip to main content
10.1145/2274576.2274607acmotherconferencesArticle/Chapter ViewAbstractPublication PagesedbtConference Proceedingsconference-collections
research-article

Factorised representations of query results: size bounds and readability

Published:26 March 2012Publication History

ABSTRACT

We introduce a representation system for relational data based on algebraic factorisation using distributivity of product over union and commutativity of product and union.

We give two characterisations of conjunctive queries based on factorisations of their results whose nesting structure is defined by so-called factorisation trees.

The first characterisation concerns sizes of factorised representations. For any query, we derive a size bound that is asymptotically tight within our class of factorisations.

We also characterise the queries by tight bounds on the readability of the provenance of result tuples and define syntactically the class of queries with bounded readability.

References

  1. A. Atserias, M. Grohe, and D. Marx. Size bounds and query plans for relational joins. In Foundations of Computer Science (FOCS), 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. N. Dalvi and D. Suciu. Efficient query evaluation on probabilistic databases. VLDB Journal, 16(4), 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. K. M. Elbassioni, K. Makino, and I. Rauf. On the readability of monotone boolean formulae. In International Computing and Combinatorics Conference (COCOON), 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. M. C. Golumbic, A. Mintz, and U. Rotics. An improvement on the complexity of factoring read-once boolean functions. Discrete Applied Mathematics, 156(10), 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. M. C. Golumbic, U. N. Peled, and U. Rotics. Chain graphs have unbounded readability. Technical report, University of Haifa, 2006.Google ScholarGoogle Scholar
  6. G. Gottlob, N. Leone, and F. Scarcello. Hypertree decompositions and tractable queries. In Principles of Database Systems (PODS), 1999. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. G. Gottlob, N. Leone, and F. Scarcello. The complexity of acyclic conjunctive queries. Journal of ACM, 48, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. T. J. Green, G. Karvounarakis, and V. Tannen. Provenance semirings. In Principles of Database Systems (PODS), 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. M. Grohe, Y. Gurevich, D. Leinders, N. Schweikardt, J. Tyszkiewicz, and J. V. den Bussche. Database query processing using finite cursor machines. Theory of Computing Systems, 44(4), 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. M. Grohe and D. Marx. Constraint solving via fractional edge covers. In Symposium on Discrete Algorithms (SODA), 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. M. Grohe, T. Schwentick, and L. Segoufin. When is the evaluation of conjunctive queries tractable? In Symposium on Theory of Computing (STOC), 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. T. Imielinski and W. Lipski. Incomplete information in relational databases. Journal of ACM, 31(4), 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. P. Koutris and D. Suciu. Parallel evaluation of conjunctive queries. In Principles of Database Systems (PODS), 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. D. Marx. Approximating fractional hypertree width. In Symposium on Discrete Algorithms (SODA), 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. D. Olteanu and J. Huang. Using obdds for efficient query evaluation on probabilistic databases. In Scalable Uncertainty Management (SUM), 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. D. Olteanu, C. Koch, and L. Antova. World-set decompositions: Expressiveness and efficient algorithms. Theoretical Computer Science, 403(2--3), 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. D. Olteanu and J. Závodný. Factorised representations of query results. Technical report, Oxford, April 2011. http://arxiv.org/abs/1104.0867.Google ScholarGoogle Scholar
  18. D. Olteanu and J. Závodný. On factorisation of provenance polynomials. In Theory and Practice of Provenance (TaPP), 2011.Google ScholarGoogle Scholar
  19. N. Robertson and P. Seymour. Graph minors, i. excluding a forest. Journal of Combinatorial Theory, Series B, 35(1), 1983.Google ScholarGoogle ScholarCross RefCross Ref
  20. D. Suciu, D. Olteanu, C. Ré, and C. Koch. Probabilistic Databases. Synthesis Lectures on Data Management. Morgan & Claypool Publishers, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. S. Vadhan. The Complexity of Counting in Sparse, Regular, and Planar Graphs. SIAM Journal on Computing, 32(2), 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Factorised representations of query results: size bounds and readability

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in
          • Published in

            cover image ACM Other conferences
            ICDT '12: Proceedings of the 15th International Conference on Database Theory
            March 2012
            329 pages
            ISBN:9781450307918
            DOI:10.1145/2274576
            • General Chair:
            • Alin Deutsch

            Copyright © 2012 ACM

            Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 26 March 2012

            Permissions

            Request permissions about this article.

            Request Permissions

            Check for updates

            Qualifiers

            • research-article

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader