Abstract
In this paper we survey the various forms of integrity constraints provided in SQL. A critical discussion of the implications of SQL’s approach to integrity follows, particularly identifying misconceptions to be found in some textbooks. The relationship between views and constraints in SQL is investigated and contrasted with the state-of the-art in integrity checking for deductive databases. As recursive views have been introduced into SQL recently, integrity maintenance over recursive views will become an issue for future DBMSs supporting the new standard in full.
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.
Similar content being viewed by others
References
ANSI/ISO/IEC 9075-2-1999: Database Languages-SQL-Part 2: Foundation. ANSI, 1999, New York/N.Y., USA, http://www.cssinfo.com/ncitsgate.html.
Bancilhon, F., Ramakrishnan, R.: An Amateur’s Introduction to Recursive Query Processing Strategies. Proc. SIGMOD 1986, Washington D.C., USA: 16–52
Beeri, C, Bernstein, P.A., Goodman, N.: A Sophisticated Introduction to Database Normalization Theory. Proc. VLDB 1978, Berlin, Germany: 113–124
Bernstein, P.A., Blaustein, B.T.: Fast Methods for Testing Quantified Relational Calculus Assertions. Proc. SIGMOD 1982, Orlando/Flor., USA: 39–50
Bry, F., Decker, H., Manthey, R.: A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. Proc. EDBT 1988, Venice, Italy, LNCS 303: 488-505.
Bry, F., Manthey, R. Martens, B.: Integrity Verification in Knowledge Bases. Proc. 2nd Russian Conf. on Logic Programming, 1991, St. Petersburg, Russia, LNCS 592 (1992): 114–139.
Celko, J.: SQL for Smarties: Advanced SQL Programming. Morgan Kaufmann, San Francisco/CA, USA, ISBN 1-55860-576-2, 2000.
Ceri, S., Widom, J.: Deriving Production Rules for Incremental Constraint Maintenance. Proc. VLDB 1990, Brisbane, Australia: 566–577.
Date, C.J., Darwen, H.: A Guide to The SQL Standard. 4. Edition, Addison-Wesley, Reading/M ass., USA, ISBN 0-201-96426-0, 1997.
Decker, H.: Integrity Enforcement on Deductive Databases. Proc. 1st Int. Conf. on Expert Database Systems, Charleston, USA, 1986: 381–393.
Gulutzan, P., Pelzer, T.: SQL-99 Complete, Really. R&D Books Miller Freeman Inc., Lawrence/Kansas, USA, ISBN 0-87930-568-1, 1999.
Griefahn, U.: Reactive Model Computation—A Uniform Approach to the Implementation of Deductive Databases. Dissertation, University of Bonn, 1997, http://www.cs.uni-bonn.de/~ulrike/Publications/publications.html.
Groff, J.R., Weinberg, P.N.: SQL: The Complete Reference. Osborne /Mc Graw Hill, Berkeley/CA, USA, ISBN 0-07-211845-8, 1999.
IBM: SQL-Referenz DB2 V6. IBM Corp.; New York; SC26-8416; 1999; ftp://ftp.software.ibm.com/ps/products/db2/info/vr6/htm/db2s0/index.htm
Lloyd, J.W., Sonenberg, E.A., Topor, R.W.: Integrity Constraint Checking in Stratified Databases. Technical Report 86/5, Department of Computer Science, University of Melbourne, Australia, 1986.
Manthey, R.: Integrity and recursion: two key issues in deductive databases. D. Karagiannis (ed.): “Information Systems and Artificial Intelligence: Integration Aspects“, LNAI 474 (1994): 104–126
Melton, J., Simon, A.R.: Understanding the NEW SQL: A Complete Guide. Morgan Kaufmann Publishers, San Prancisco/CA, USA, ISBN 1-55860-245-3, 1993.
Neumann, K., Müller, R.: Implementierung von Assertions durch Oracle7-Trigger. Informatik-Berichte, Nr. 97-02, TU Braunschweig, Germany, 1997: 1–16.
Nicolas, J.-M.: Logic for Improving Integrity Checking in Relational Data Bases. Acta Informática, Vol. 18 Nr. 3, Springer-Verlag, 1982: 227–253.
Olivé, A.: Integrity Constraints Checking In Deductive Databases. Proc. VLDB 1991, Barcelona, Spain: 513–523.
Lorentz, D., Oertel, D., ET.AL.: Oracle8i SQL Reference, Release 8.1.5. Oracle Corporation, Redwood City, USA, Part No. A67779-01, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Behrend, A., Manthey, R., Pieper, B. (2001). An Amateur’s Introduction to Integrity Constraints and Integrity Checking in SQL. In: Heuer, A., Leymann, F., Priebe, D. (eds) Datenbanksysteme in Büro, Technik und Wissenschaft. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-56687-5_29
Download citation
DOI: https://doi.org/10.1007/978-3-642-56687-5_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41707-1
Online ISBN: 978-3-642-56687-5
eBook Packages: Springer Book Archive