umu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Query Containment: Canonical Database vs Theorem Proving Approaches
Umeå University, Faculty of Science and Technology, Department of Computing Science.
2017 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

We will in this thesis investigate the question, How is the efficiency of canonical database compared with the theorem proving approach for containment algorithms over database queries? These approaches are tested by using manually made tests over a fictitious, through practical photo caching system for mobile devices. For simple conjunctive queries a graph coloring test was also conducted to evaluate how the approaches handle long queries. In contrast to other work in this area we build our work over SQL queries, not the more commonly used datalog. The cases evaluated are conjunctive queries(CQ) and conjunctive queries with two extensions, union of conjunctive queries (UCQ) and point inequality(CQ6=). A discussion that touches on which advantages exists with both approaches and how to avoid or lessen the impact of the existing disadvantages will be presented. From our testing the canonical database is faster than the theorem proving case. The performance for the canonical database in this thesis could be improved on, even with that said, a suboptimal canonical database performs better for the CQs and extensions evaluated. The advantage with theorem proving is however, its ease of implementation.

Place, publisher, year, edition, pages
2017.
Series
UMNAD, 1111
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:umu:diva-136575OAI: oai:DiVA.org:umu-136575DiVA: diva2:1112224
Educational program
Master of Science Programme in Computing Science and Engineering
Supervisors
Examiners
Available from: 2017-06-20 Created: 2017-06-20 Last updated: 2017-06-20Bibliographically approved

Open Access in DiVA

No full text

By organisation
Department of Computing Science
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Total: 35 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf