Article

Automatic consistency assessment for query results in dynamic environments

Authors:

Christine Julien,

Gruia-Catalin RomanAuthors Info & Claims

ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering

Pages 245 - 254

https://doi.org/10.1145/1287624.1287659

Published: 07 September 2007 Publication History

Abstract

Queries are convenient abstractions for the discovery of information and services, as they offer content-based information access. In distributed settings, query semantics are well-defined, e.g., they often satisfy ACID transactional properties. In a dynamic network setting, however, achieving transactional semantics becomes complex due to the openness and unpredictability. In this paper, we propose a query processing model for mobile ad hoc and sensor networks suitable for expressing a wide range of query semantics; the semantics differ in the degree of consistency with which results reflect the state of the environment during execution. We introduce several distinct notions of consistency and formalize them. A practical contribution of this paper is a protocol for query processing that automatically assesses and adaptively provides an achievable degree of consistency given the state of the operational environment throughout its execution. The protocol attaches an assessment of the achieved guarantee to returned query results, allowing precise reasoning about a query with a range of possible semantics.

References

[1]

D. Barbara. Mobile computing and databases: A survey. IEEE Trans. on Knowledge and Data Engineering, 11(1):108--117, January/February 1999.

Digital Library

[2]

J. Broch, D. Maltz, D. Johnson, Y.-C. Hu, and J. Jetcheva. A performance comparison of multi-hop wireless ad hoc network routing protocols. In Proc. of the ACM/IEEE MobiCom, pages 85--97, October 1998.

Digital Library

[3]

R. Dirckze and L. Gruenwald. A toggle transaction management technique for mobile multidatabases. In Proc. of the 7th Int'l. Conf. on Information and Knowledge Management, pages 371--377, 1998.

Digital Library

[4]

M. Dunham, A. Helal, and S. Balakrishnan. A mobile transaction model that captures both the data and movement behavior. ACM-Baltzer Journal on Mobile Networks and Apps., 2(2):149--161, October 1997.

Digital Library

[5]

C. Julien and G.-C. Roman. Egocentric context-aware programming in ad hoc mobile environments. In Proc. of 10th Int'l Symp. on the Foundations of Software Engineering, pages 21--30, Nov. 2002.

Digital Library

[6]

S. Kabadayi and C. Julien. A local data abstraction and communication paradigm for pervasive computing. In Proc. of the 5th IEEE Int'l. Conf. on Pervasive Computing and Comm., pages 57--66, March 2007.

Digital Library

[7]

J. Kistler and M. Satyanarayanan. Disconnected operation in the Coda file system. ACM Trans. on Computer Sys., 10(1):3--25, February 1992.

Digital Library

[8]

M. Loebbers, D. Willkomm, and A. Koepke. The Mobility Framework for OMNeT++. http://mobility-fw.sourceforge.net

[9]

Q. Lu and M. Satyanarayanan. Isolation-only transactions for mobile computing. Operating Systems Review, 28(2):81--87, April 1994.

Digital Library

[10]

N. Lynch and M. Tuttle. An introduction to I/O automata. CWI-Quarterly, 2(3):219--246, 1989.

[11]

S. Madria and B. Bhargava. A transaction model for mobile computing. In Proc. of the Int 'l. Database Eng. and Apps. Symp., pages 92--102, July 1998.

Digital Library

[12]

E. Pitoura and B. Bhargava. Maintaining consistency of data in mobile distributed environments. In Proc. of the 15th Int'l. Conf. on Dist. Computing Sys., 1995.

Digital Library

[13]

G.-C. Roman, C. Julien, and Q. Huang. Network abstractions for context-aware mobile computing. In Proc. of 24th Int'l Conf. on Software Engineering, pages 363--373, 2002.

Digital Library

[14]

W. Si and C. Li. RMAC:A reliable multicast MAC protocol for wireless ad hoc networks. In Proc. of the Int'l Conf. on Parallel Processing, pages 494--501, Aug. 2004.

Digital Library

[15]

A. Sistla, O. Wolfson, and Y. Huang. Minimization of communication cost through caching in mobile environments. IEEE Trans. on Parallel and Dist. Sys., 9(4):378--390, April 1998.

Digital Library

[16]

A. Vargas. OMNeT++. http://www.omnetpp.org

[17]

M. Vawa, A. Gionis, H. Garcia-Molina, and R. Motwani. The price of validity in dynamic networks. In Proc. of ACM SIGMOD 2004, pages 515--526, June 2004.

Digital Library

[18]

B. Vellambi, R. Subramanian, F. Fekri, and M. Ammar. Reliable and efficient message delivery in delay tolerant networks using rateless codes. In Proc. of the 1st Int'l MobiSys Wkshp. on Mobile Opportunistic Networking, pages 91--98, June 2007.

Digital Library

[19]

G. Walborn and P. Chrysanthis. Transaction processing in PRO-MOTION. In Proc. of the ACM Symp. on Applied Computing, pages 389--398, 1999.

Digital Library

Cited By

Payton JJulien CRajamani VRoman G(2012)Fast track articlePervasive and Mobile Computing10.1016/j.pmcj.2012.02.0058:3(317-330)Online publication date: 1-Jun-2012
https://dl.acm.org/doi/10.1016/j.pmcj.2012.02.005
Julien CRajamani VPayton JRoman G(2011)Fidelity-based continuous query introspection and adaptation2011 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops)10.1109/PERCOMW.2011.5766859(14-19)Online publication date: Mar-2011
https://doi.org/10.1109/PERCOMW.2011.5766859
Werner SReinke CGroppe SLinnemann V(2011)Adaptive Service Migration in Wireless Sensor NetworksProceedings of the 2011 12th International Conference on Parallel and Distributed Computing, Applications and Technologies10.1109/PDCAT.2011.15(334-341)Online publication date: 20-Oct-2011
https://dl.acm.org/doi/10.1109/PDCAT.2011.15
Show More Cited By

Index Terms

Automatic consistency assessment for query results in dynamic environments

Recommendations

Semantic self-assessment of query results in dynamic environments

Queries are convenient abstractions for the discovery of information and services, as they offer content-based information access. In distributed settings, query semantics are well-defined, for example, queries are often designed to satisfy ACID ...
Preserving the Original Query Semantics in Routing Processes
ICEIS 2014: Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 1

In distributed data environments, peers (data sources) are connected with each other through a set of correspondences in such a way that peers directly connected are called semantic neighbours. Queries are submitted considering partial information ...
Efficient Processing of Proximity Queries for Large Databases
ICDE '95: Proceedings of the Eleventh International Conference on Data Engineering

Emerging multimedia applications require database systems to provide support for new types of objects and to process queries that may have no parallel in traditional database applications. One such important class of queries are the proximity queries ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering

September 2007

638 pages

ISBN:9781595938114

DOI:10.1145/1287624

General Chair:
Ivica Crnkovic
Mälardalen University, Sweden
,
Program Chair:
Antonia Bertolino
ISTI-CNR, Italy

Copyright © 2007 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]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 07 September 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ESEC/FSE07

Sponsor:

ESEC/FSE07: Joint 11th European Software Engineering Conference 2007

September 3 - 7, 2007

Dubrovnik, Croatia

Acceptance Rates

Overall Acceptance Rate 112 of 543 submissions, 21%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
292
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 09 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Payton JJulien CRajamani VRoman G(2012)Fast track articlePervasive and Mobile Computing10.1016/j.pmcj.2012.02.0058:3(317-330)Online publication date: 1-Jun-2012
https://dl.acm.org/doi/10.1016/j.pmcj.2012.02.005
Julien CRajamani VPayton JRoman G(2011)Fidelity-based continuous query introspection and adaptation2011 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops)10.1109/PERCOMW.2011.5766859(14-19)Online publication date: Mar-2011
https://doi.org/10.1109/PERCOMW.2011.5766859
Werner SReinke CGroppe SLinnemann V(2011)Adaptive Service Migration in Wireless Sensor NetworksProceedings of the 2011 12th International Conference on Parallel and Distributed Computing, Applications and Technologies10.1109/PDCAT.2011.15(334-341)Online publication date: 20-Oct-2011
https://dl.acm.org/doi/10.1109/PDCAT.2011.15
Payton JJulien CRoman GRajamani V(2010)Semantic self-assessment of query results in dynamic environmentsACM Transactions on Software Engineering and Methodology10.1145/1734229.173423119:4(1-33)Online publication date: 23-Apr-2010
https://dl.acm.org/doi/10.1145/1734229.1734231
Xu CCheung SChan WYe C(2010)Partial constraint checking for context consistency in pervasive computingACM Transactions on Software Engineering and Methodology10.1145/1656250.165625319:3(1-61)Online publication date: 1-Feb-2010
https://dl.acm.org/doi/10.1145/1656250.1656253
Nissen HSchmitz DJarke MRose TDrews PHesseler FReke M(2009)Evolution in Domain Model-Based Requirements Engineering for Control Systems DevelopmentProceedings of the 2009 17th IEEE International Requirements Engineering Conference, RE10.1109/RE.2009.38(323-328)Online publication date: 31-Aug-2009
https://dl.acm.org/doi/10.1109/RE.2009.38
Rajamani VJulien C(2009)Adaptive Data Quality for Persistent Queries in Sensor NetworksQuality of Service in Heterogeneous Networks10.1007/978-3-642-10625-5_9(131-147)Online publication date: 2009
https://doi.org/10.1007/978-3-642-10625-5_9
Rajamani VJulien CPayton J(2009)Automated Assessment of Aggregate Query Imprecision in Dynamic EnvironmentsProceedings of the 9th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems10.1007/978-3-642-02164-0_5(59-72)Online publication date: 4-Jun-2009
https://dl.acm.org/doi/10.1007/978-3-642-02164-0_5
Huang YMa XTao XCao JLu J(2008)A Probabilistic Approach to Consistency Checking for Pervasive ContextProceedings of the 2008 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing - Volume 0110.1109/EUC.2008.129(387-393)Online publication date: 17-Dec-2008
https://dl.acm.org/doi/10.1109/EUC.2008.129

View Options

Login options

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

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten