Abstract
We examine the maintenance of data consistency in the presence of application-database interactions. Currently, a programmer must insert explicit checks to ensure that data are consistent with respect to the application’s and the database’s requirements. This explicit hand-coding of integrity constraint checks is error-prone and results in less maintainable code when the integrity constraints on the application or the database change. We describe an architecture for automatically generating application-level checks from application and database integrity constraint specifications. We focus on EJB-database interactions as a concrete context for our work, but our results are applicable to other programming language-database interactions.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Banerjee, U.: Dependence analysis for supercomputing. Kluwer Academic, Boston (1988)
Bernstein, P.A., Blaustein, B.T.: Fast methods for testing quantified relational calculus assertions. In: Proceedings of SIGMOD, June 1982, pp. 39–50 (1982)
Bernstein, P.A., Blaustein, B.T., Clarke, E.M.: Fast maintenance of semantic integrity assertions using redundant aggregate data. In: Proceedings of VLDB, October 1980, pp. 126–136 (1980)
Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading (1987)
Bodik, R., Gupta, R., Sarkar, V.: ABCD: eliminating array bounds checks on demand. In: Proceedings of PLDI, pp. 321–333 (2000)
Brucker, A., Wolff, B.: Checking OCL constraints in distributed component based systems. Technical Report 157, Institut fur Informatik, Universitat Freiburg (2001)
Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Francisco (1993)
Grefen, P., Widom, J.: Integrity constraint checking in federated databases. In: Proceedings of the Intl. Conf. on Cooperative Information Systems (1996)
Gupta, A., Sagiv, Y., Ullman, J.D., Widom, J.: Constraint checking with partial information. In: Proceedings of PODS, pp. 45–55 (1994)
Gupta, A., Widom, J.: Local verification of global integrity constraints. In: Proceedings of SIGMOD, June 1993, pp. 49–58 (1993)
Hopcroft, J., Ullman, J.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading (1979)
A. N. S. Institute. Information technology—database languages—SQL. ANSI X3.135-1992 (1992)
Jagadish, H.V., Qian, X.: Integrity maintenance in an object-oriented database. In: Proceedings of VLDB, pp. 469–480 (1982)
Kline, K.E., Kline, D.L.: SQL in a Nutshell. O’Reilly and Associates, Inc., Sebastopol (2001)
Maier, D.: The Theory of Relational Databases. Computer Science Press, Rockville (1983)
Muchnick, S.: Advanced Compiler Design and Implementation. Morgan Kaufmann, San Francisco (1997)
Roos, R.M.: Java Data Objects. Addison-Wesley, Reading (2002)
Sceppa, D.: The Microsoft ADO.NET (Core Reference). Microsoft Press, Redmond (2002)
Sun Microsystems, Inc. Enterprise Java Beans Technology, http://www.javasoft.com/j2ee
Warmer, J., Kleppe, A.: The Object Constraint Language, Precise Modeling with UML. Addison-Wesley, Reading (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Shmueli, O., Raghavachari, M., Sarkar, V., Bordawekar, R., Burke, M.G. (2004). Integrating Database and Programming Language Constraints. In: Lausen, G., Suciu, D. (eds) Database Programming Languages. DBPL 2003. Lecture Notes in Computer Science, vol 2921. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24607-7_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-24607-7_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20896-9
Online ISBN: 978-3-540-24607-7
eBook Packages: Springer Book Archive