research-article

Program analysis and transformation for holistic optimization of database applications

Authors:

Karthik Ramachandra,

Ravindra Guravannavar,

S. SudarshanAuthors Info & Claims

SOAP '12: Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis

Pages 39 - 44

https://doi.org/10.1145/2259051.2259057

Published: 14 June 2012 Publication History

Abstract

We describe DBridge, a novel program analysis and transformation tool to optimize database and web service access. Traditionally, rewrite of queries and programs are done independently, by the database query optimizer and the language compiler respectively, leaving out many optimization opportunities. Our tool aims to bridge this gap by performing holistic transformations, which include both program and query rewrite.

There has been earlier research in this area involving program analysis and transformation for automatically rewriting database applications to perform optimizations; for example, our earlier work has addressed batching or asynchronous submission of iterative queries, and prefetching query results. DBridge implements these techniques for Java programs and internally uses Soot, a Java optimization framework, for static analysis and transformation. DBridge can perform such optimizations on Java programs that use the JDBC API to access the database. It is currently being extended to handle the Hibernate API, and Web Services.

In this paper, we describe the program transformations that DBridge can perform. We then discuss the design and implementation of DBridge with a focus on how the Soot framework has been used to achieve these goals. Finally, we conclude by discussing some of the future directions for our tool.

References

[1]

M. Chavan, R. Guravannavar, K. Ramachandra, and S. Sudarshan. Program transformations for asynchronous query submission. In IEEE International Conference on Data Engineering, pages 375--386, 2011.

Digital Library

[2]

M. Chavan, R. Guravannavar, K. Ramachandra, and S. Sudarshan. Dbridge: A program rewrite tool for set-oriented query execution. In IEEE International Conference on Data Engineering, pages 1284--1287, 2011.

Digital Library

[3]

A. Dasgupta, V. Narasayya, and M. Syamala. A static analysis framework for database applications. In IEEE International Conference on Data Engineering, 2009.

Digital Library

[4]

DBridge. The DBridge Holistic Optimizer http://www.cse.iitb.ac.in/infolab/dbridge.

[5]

M. Elhemali, C. A. Galindo-Legaria, T. Grabs, and M. M. Joshi. Execution Strategies for SQL Subqueries. In ACM SIGMOD, 2007.

Digital Library

[6]

R. Guravannavar. Optimization and Evaluation of Nested Queries and Procedures. Ph.D. thesis, Indian Institute of Technology, Bombay, 2009.

[7]

R. Guravannavar and S. Sudarshan. Rewriting Procedures for Batched Bindings. In Intl. Conf. on Very Large Databases, 2008.

Digital Library

[8]

Hibernate. The Hibernate O/R mapping tool: http://hibernate.org.

[9]

JDBC. Java Database Connectivity (JDBC) API http://java.sun.com/products/jdbc/overview.html.

[10]

K. Kennedy and J. R. Allen. Optimizing compilers for modern architectures: a dependence-based approach. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2002. ISBN 1-55860-286-0.

Digital Library

[11]

U. Khedker, A. Sanyal, and B. Karkare. Data Flow Analysis: Theory and Practice. CRC Press, Inc., 1st edition, 2009. ISBN 0849328802.

Digital Library

[12]

W. Kim. On Optimizing an SQL-like Nested Query. In ACM Trans. on Database Systems, Vol 7, No.3, 1982.

Digital Library

[13]

A. Manjhi, C. Garrod, B. M. Maggs, T. C. Mowry, and A. Tomasic. Holistic Query Transformations for Dynamic Web Applications. In IEEE International Conference on Data Engineering, 2009.

Digital Library

[14]

K. Ramachandra and S. Sudarshan. Holistic optimization by prefetching query results. In ACM SIGMOD, 2012 (to appear).

Digital Library

[15]

P. Seshadri, H. Pirahesh, and T. C. Leung. Complex Query Decorrelation. In IEEE International Conference on Data Engineering, 1996.

Digital Library

[16]

SOOT. A Java Optimization Framework http://www.sable.mcgill.ca/soot.

[17]

K. C. Yeung. Dynamic Performance Optimisation of Distributed Java Applications. PhD thesis, Imperial College of Science, Technology and Medicine, 2004.

Cited By

Whittaker MHellerstein J(2020)Interactive checks for coordination avoidanceThe VLDB Journal10.1007/s00778-020-00628-3Online publication date: 5-Sep-2020
https://doi.org/10.1007/s00778-020-00628-3
Park KSeo HRasel MLee YJeong CLee SLee CLee DBoncz PManegold SAilamaki ADeshpande AKraska T(2019)Iterative Query Processing based on Unified Optimization TechniquesProceedings of the 2019 International Conference on Management of Data10.1145/3299869.3324960(54-68)Online publication date: 25-Jun-2019
https://dl.acm.org/doi/10.1145/3299869.3324960
Wu YGuo WChan CTan KChirkova RYang JSuciu D(2017)Fast Failure Recovery for Main-Memory DBMSs on MulticoresProceedings of the 2017 ACM International Conference on Management of Data10.1145/3035918.3064011(267-281)Online publication date: 9-May-2017
https://dl.acm.org/doi/10.1145/3035918.3064011
Show More Cited By

Index Terms

Program analysis and transformation for holistic optimization of database applications
1. Information systems
  1. Data management systems
    1. Database management system engines
      1. Database query processing
2. Theory of computation
  1. Semantics and reasoning
    1. Program reasoning
      1. Program analysis
    2. Program semantics
  2. Theory and algorithms for application domains
    1. Database theory
      1. Database query processing and optimization (theory)

Recommendations

Context-sensitive program analysis as database queries
PODS '05: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems

Program analysis has been increasingly used in software engineering tasks such as auditing programs for security vulnerabilities and finding errors in general. Such tools often require analyses much more sophisticated than those traditionally used in ...
Efficient points-to analysis for whole-program analysis

To function on programs written in languages such as C that make extensive use of pointers, automated software engineering tools require safe alias information. Existing alias-analysis techniques that are sufficiently efficient for analysis on large ...
Learning a strategy for adapting a program analysis via bayesian optimisation
OOPSLA '15

Building a cost-effective static analyser for real-world programs is still regarded an art. One key contributor to this grim reputation is the difficulty in balancing the cost and the precision of an analyser. An ideal analyser should be adaptive to a ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SOAP '12: Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis

June 2012

58 pages

ISBN:9781450314909

DOI:10.1145/2259051

Conference Chairs:
Eric Bodden
Technische Universität Darmstadt
,
Laurie Hendren
McGill University
,
Patrick Lam
University of Waterloo
,
Elena Sherman
University of Nebraska-Lincoln

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]

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 June 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Conference

PLDI '12

Sponsor:

SIGPLAN

PLDI '12: ACM SIGPLAN Conference on Programming Language Design and Implementation

June 14, 2012

Beijing, China

Acceptance Rates

Overall Acceptance Rate 11 of 11 submissions, 100%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
213
Total Downloads

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

Reflects downloads up to 31 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Whittaker MHellerstein J(2020)Interactive checks for coordination avoidanceThe VLDB Journal10.1007/s00778-020-00628-3Online publication date: 5-Sep-2020
https://doi.org/10.1007/s00778-020-00628-3
Park KSeo HRasel MLee YJeong CLee SLee CLee DBoncz PManegold SAilamaki ADeshpande AKraska T(2019)Iterative Query Processing based on Unified Optimization TechniquesProceedings of the 2019 International Conference on Management of Data10.1145/3299869.3324960(54-68)Online publication date: 25-Jun-2019
https://dl.acm.org/doi/10.1145/3299869.3324960
Wu YGuo WChan CTan KChirkova RYang JSuciu D(2017)Fast Failure Recovery for Main-Memory DBMSs on MulticoresProceedings of the 2017 ACM International Conference on Management of Data10.1145/3035918.3064011(267-281)Online publication date: 9-May-2017
https://dl.acm.org/doi/10.1145/3035918.3064011
Wu YChan CTan KÖzcan FKoutrika GMadden S(2016)Transaction HealingProceedings of the 2016 International Conference on Management of Data10.1145/2882903.2915202(1689-1704)Online publication date: 26-Jun-2016
https://dl.acm.org/doi/10.1145/2882903.2915202
Dombrovskaya HRangarajan SMarks J(2016)FastFunction: Replacing a herd of lemmings with a cheetah a ruby framework for interaction with PostgreSQL databases2016 IEEE 32nd International Conference on Data Engineering (ICDE)10.1109/ICDE.2016.7498331(1275-1286)Online publication date: May-2016
https://doi.org/10.1109/ICDE.2016.7498331
Ramachandra KChavan MGuravannavar RSudarshan S(2015)Program Transformations for Asynchronous and Batched Query SubmissionIEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2014.233430227:2(531-544)Online publication date: 1-Feb-2015
https://doi.org/10.1109/TKDE.2014.2334302
Cheung ASolar-Lezama AMadden S(2013)Optimizing database-backed applications with query synthesisACM SIGPLAN Notices10.1145/2499370.246218048:6(3-14)Online publication date: 16-Jun-2013
https://dl.acm.org/doi/10.1145/2499370.2462180
Cheung ASolar-Lezama AMadden SBoehm HFlanagan C(2013)Optimizing database-backed applications with query synthesisProceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/2491956.2462180(3-14)Online publication date: 16-Jun-2013
https://dl.acm.org/doi/10.1145/2491956.2462180

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.

Media

Figures

Other

Tables

View Table of Contents