Query verification schemes for cloud-hosted databases: a brief survey.

Saved in:
Bibliographic Details
Title: Query verification schemes for cloud-hosted databases: a brief survey.
Authors: Riaz-ud-Din, Faizal1, Zhou, Wanlei1, Doss, Robin1
Source: International Journal of Parallel, Emergent & Distributed Systems. Dec2016, Vol. 31 Issue 6, p543-561. 19p.
Subjects: Parallel computer program verification, Cloud computing, Databases, Web hosting, Computer software
Abstract: Database query verification schemes provide correctness guarantees for database queries. Typically such guarantees are required and advisable where queries are executed on untrusted servers. This need to verify query results, even though they may have been executed on one’s own database, is something new that has arisen with the advent of cloud services. The traditional model of hosting one’s own databases on one’s own servers did not require such verification because the hardware and software were both entirely within one’s control, and therefore fully trusted. However, with the economical and technological benefits of cloud services beckoning, many are now considering outsourcing both data and execution of database queries to the cloud, despite obvious risks. This survey paper provides an overview into the field of database query verification and explores the current state of the art in terms of query execution and correctness guarantees provided for query results. We also provide indications towards future work in the area. [ABSTRACT FROM AUTHOR]
Copyright of International Journal of Parallel, Emergent & Distributed Systems is the property of Taylor & Francis Ltd and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 118764685
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Query verification schemes for cloud-hosted databases: a brief survey.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Riaz-ud-Din%2C+Faizal%22">Riaz-ud-Din, Faizal</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Zhou%2C+Wanlei%22">Zhou, Wanlei</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Doss%2C+Robin%22">Doss, Robin</searchLink><relatesTo>1</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22International+Journal+of+Parallel%2C+Emergent+%26+Distributed+Systems%22">International Journal of Parallel, Emergent & Distributed Systems</searchLink>. Dec2016, Vol. 31 Issue 6, p543-561. 19p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Parallel+computer+program+verification%22">Parallel computer program verification</searchLink><br /><searchLink fieldCode="DE" term="%22Cloud+computing%22">Cloud computing</searchLink><br /><searchLink fieldCode="DE" term="%22Databases%22">Databases</searchLink><br /><searchLink fieldCode="DE" term="%22Web+hosting%22">Web hosting</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software%22">Computer software</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: Database query verification schemes provide correctness guarantees for database queries. Typically such guarantees are required and advisable where queries are executed on untrusted servers. This need to verify query results, even though they may have been executed on one’s own database, is something new that has arisen with the advent of cloud services. The traditional model of hosting one’s own databases on one’s own servers did not require such verification because the hardware and software were both entirely within one’s control, and therefore fully trusted. However, with the economical and technological benefits of cloud services beckoning, many are now considering outsourcing both data and execution of database queries to the cloud, despite obvious risks. This survey paper provides an overview into the field of database query verification and explores the current state of the art in terms of query execution and correctness guarantees provided for query results. We also provide indications towards future work in the area. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of International Journal of Parallel, Emergent & Distributed Systems is the property of Taylor & Francis Ltd and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=118764685
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1080/17445760.2015.1132421
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 19
        StartPage: 543
    Subjects:
      – SubjectFull: Parallel computer program verification
        Type: general
      – SubjectFull: Cloud computing
        Type: general
      – SubjectFull: Databases
        Type: general
      – SubjectFull: Web hosting
        Type: general
      – SubjectFull: Computer software
        Type: general
    Titles:
      – TitleFull: Query verification schemes for cloud-hosted databases: a brief survey.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Riaz-ud-Din, Faizal
      – PersonEntity:
          Name:
            NameFull: Zhou, Wanlei
      – PersonEntity:
          Name:
            NameFull: Doss, Robin
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 12
              Text: Dec2016
              Type: published
              Y: 2016
          Identifiers:
            – Type: issn-print
              Value: 17445760
          Numbering:
            – Type: volume
              Value: 31
            – Type: issue
              Value: 6
          Titles:
            – TitleFull: International Journal of Parallel, Emergent & Distributed Systems
              Type: main
ResultId 1