Guaranteeing correctness of lock-free range queries over P2P data

Stacy Patterson, Divyakant Agrawal, Amr El Abbadi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

As P2P systems evolve into a platform for full-fledged distributed database management systems, the need arises for sophisticated query support and guarantees on query correctness. While there has been recent work addressing range queries in P2P systems, the work on query correctness is just beginning. Linga et al.[1] provided the first formal definition of correctness for range queries in P2P systems and described a lock-based range query technique that is provably correct. A natural question that arises is whether it is possible to develop a lock-free protocol that can meet the same guarantee of correctness. In this paper, we demonstrate the feasibility of lock-free correct protocols by first developing a simple, proof-of-concept query protocol and verifying that this protocol meets the correctness conditions. We then describe a more robust extended protocol and prove that for stable systems with only item insertions, item deletions, and item redistributions, this extension insures that every range query can be satisfied correctly.

Original languageEnglish
Title of host publicationDatabases, Information Systems, and Peer-to-Peer Computing - International Workshops, DBISP2P 2005/2006, Revised Selected Papers
Pages123-134
Number of pages12
Publication statusPublished - 1 Dec 2007
EventInternational Workshops on Databases, Information Systems and Peer-to-Peer Computing, DBISP2P 2005/2006 - Seoul, Korea, Republic of
Duration: 11 Sep 200611 Sep 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4125 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherInternational Workshops on Databases, Information Systems and Peer-to-Peer Computing, DBISP2P 2005/2006
CountryKorea, Republic of
CitySeoul
Period11/9/0611/9/06

    Fingerprint

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Patterson, S., Agrawal, D., & El Abbadi, A. (2007). Guaranteeing correctness of lock-free range queries over P2P data. In Databases, Information Systems, and Peer-to-Peer Computing - International Workshops, DBISP2P 2005/2006, Revised Selected Papers (pp. 123-134). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4125 LNCS).