Skip to main content
SpringerLink
Log in
Book cover

East European Conference on Advances in Databases and Information Systems

ADBIS 2005: Advances in Databases and Information Systems pp 109–124Cite as

Efficient Integrity Checking for Databases with Recursive Views

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 3631))

Abstract

Efficient and incremental maintenance of integrity constraints involving recursive views is a difficult issue that has received some attention in the past years, but for which no widely accepted solution exists yet. In this paper a technique is proposed for compiling such integrity constraints into incremental and optimized tests specialized for given update patterns. These tests may involve the introduction of new views, but for relevant cases of recursion, simplified integrity constraints are obtained that can be checked more efficiently than the original ones and without auxiliary views. Notably, these simplified tests are derived at design time and can be executed before the particular database update is made and without simulating the updated state. In this way all overhead due to optimization or execution of compensative actions at run time is avoided. It is argued that, in the recursive case, earlier approaches have not achieved comparable optimization with the same level of generality.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Apt, K.R., Blair, H.A., Walker, A.: Towards a theory of declarative knowledge. In: Foundations of Deductive Databases and Logic Programming, pp. 89–148. Morgan Kaufmann, San Francisco (1988)

    Google Scholar 

  2. Behrend, A.: Soft stratification for magic set based query evaluation in deductive databases. In: Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pp. 102–110. ACM Press, New York (2003)

    Chapter  Google Scholar 

  3. Behrend, A.: Soft Stratification for Transformation-Based Approaches to Deductive Databases. PhD thesis, University of Bonn (2004)

    Google Scholar 

  4. Catarci, T., Cruz, I.F.: On expressing stratified datalog. In: 2nd ICLP Workshop on Deductive Databases and Logic Programming, pp. 85–100 (1994)

    Google Scholar 

  5. Chakravarthy, U.S., Grant, J., Minker, J.: Logic-based approach to semantic query optimization. ACM Transactions on Database Systems (TODS) 15(2), 162–207 (1990)

    Article  Google Scholar 

  6. Christiansen, H., Martinenghi, D.: Simplification of database integrity constraints revisited: A transformational approach. In: Bruynooghe, M. (ed.) LOPSTR 2004. LNCS, vol. 3018, pp. 178–197. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  7. Decker, H.: Translating advanced integrity checking technology to sql. In: Database integrity: challenges and solutions, pp. 203–249. Idea Group Publishing, USA (2002)

    Google Scholar 

  8. Dong, G., Su, J.: Incremental Maintenance of Recursive Views Using Relational Calculus/SQL. SIGMOD Record 29(1), 44–51 (2000)

    Article  Google Scholar 

  9. Eisinger, N., Ohlbach, H.J.: Deduction systems based on resolution. In: Handbook of Logic in Artificial Intelligence and Logic Programming. Logical Foundations, vol. 1, pp. 183–271. Clarendon Press, Oxford (1993)

    Google Scholar 

  10. Godfrey, P., Grant, J., Gryz, J., Minker, J.: Integrity constraints: Semantics and applications. Logics for Databases and Information Systems, 265–306 (1998)

    Google Scholar 

  11. Grant, J., Minker, J.: Integrity constraints in knowledge based systems. In: Knowledge Engineering. Applications, vol. II, pp. 1–25. McGraw-Hill, New York (1990)

    Google Scholar 

  12. Gupta, A., Mumick, I.S. (eds.): Materialized views: techniques, implementations, and applications. MIT Press, Cambridge (1999)

    Google Scholar 

  13. INCITS. Information technology - Database languages - SQL - Part 2: Foundation (SQL/Foundation) - INCITS/ISO/IEC 9075-2-1999 (1999)

    Google Scholar 

  14. Ioannidis, Y.E., Wong, E.: Towards an algebraic theory of recursion. J. ACM 38(2), 329–381 (1991)

    Article  MATH  MathSciNet  Google Scholar 

  15. Kapur, D., Narendran, P.: Np-completeness of the set unification and matching problems. In: CADE, pp. 489–495 (1986)

    Google Scholar 

  16. Knuth, D., Bendix, P.: Simple word problems in universal algebras. Computational Problems in Abstract Algebras, 263–297 (1970)

    Google Scholar 

  17. Lee, S.Y., Ling, T.W.: Further improvements on integrity constraint checking for stratifiable deductive databases. In: VLDB 1996, Proceedings of 22th International Conference on Very Large Data Bases, pp. 495–505. Morgan Kaufmann, San Francisco (1996)

    Google Scholar 

  18. Leuschel, M., de Schreye, D.: Creating specialised integrity checks through partial evaluation of meta-interpreters. JLP 36(2), 149–193 (1998)

    Article  MATH  Google Scholar 

  19. Lloyd, J.W., Sonenberg, L., Topor, R.W.: Integrity constraint checking in stratified databases. JLP 4(4), 331–343 (1987)

    Article  MATH  MathSciNet  Google Scholar 

  20. Martinenghi, D.: A simplification procedure for integrity constraints (2004), http://www.dat.ruc.dk/~dm/spic/index.html

  21. Mayol, E., Teniente, E.: A survey of current methods for integrity constraint maintenance and view updating. In: Advances in Conceptual Modeling: ER 1999 Workshops. LNCS, vol. 1727, pp. 62–73. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  22. Naughton, J.F.: Minimizing function-free recursive inference rules. J. ACM 36(1), 69–91 (1989)

    Article  MATH  MathSciNet  Google Scholar 

  23. Naughton, J.F., Ramakrishnan, R., Sagiv, Y., Ullman, J.D.: Efficient evaluation of right-, left-, and mult-lineare rules. In: Clifford, J., Lindsay, B.G., Maier, D. (eds.) Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, pp. 235–242. ACM Press, New York (1989)

    Chapter  Google Scholar 

  24. Nicolas, J.M.: Logic for improving integrity checking in relational data bases. Acta Informatica 18, 227–253 (1982)

    Article  MATH  MathSciNet  Google Scholar 

  25. Nienhuys-Cheng, S.H., de Wolf, R.: The equivalence of the subsumption theorem and the refutation-completeness for unconstrained resolution. In: ASIAN 1995, pp. 269–285 (1995)

    Google Scholar 

  26. Qian, X.: An effective method for integrity constraint simplification. In: Proceedings of the Fourth International Conference on Data Engineering, pp. 338–345. IEEE Computer Society, Los Alamitos (1988)

    Chapter  Google Scholar 

  27. Robinson, J.A.: A machine-oriented logic based on the resolution principle. J. ACM 12(1), 23–41 (1965)

    Article  MATH  Google Scholar 

  28. Sáenz-Pérez, F.: Datalog educational system v1.1. user’s manual. Technical Report 139-04, Faculty of Computer Science, UCM (2004), Available from http://www.fdi.ucm.es/profesor/fernan/DES/

  29. Seljée, R.: A Fact Integrity Constraint Checking System for the Validation of Semantic Integrity Constraints after Updating Consistent Deductive Databases. PhD thesis, Tilburg University (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Dept., Roskilde University, P.O.Box 260, DK-4000, Roskilde, Denmark

    Davide Martinenghi & Henning Christiansen

Authors
  1. Davide Martinenghi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Henning Christiansen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dept. of Knowledge and Business Engineering, University of Vienna, Rathausstrasse 19/9, A-1010, Vienna, Austria

    Johann Eder

  2. Institute of Cybernetics, Tallinn University of Technology, Akadeemia 21, 12618, Tallinn, Estonia

    Hele-Mai Haav , Ahto Kalja  & Jaan Penjam ,  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Martinenghi, D., Christiansen, H. (2005). Efficient Integrity Checking for Databases with Recursive Views. In: Eder, J., Haav, HM., Kalja, A., Penjam, J. (eds) Advances in Databases and Information Systems. ADBIS 2005. Lecture Notes in Computer Science, vol 3631. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11547686_9

Download citation

  • DOI: https://doi.org/10.1007/11547686_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-28585-4

  • Online ISBN: 978-3-540-31895-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation