A New Approach for Checking Schema Validation Properties

  • Carles Farré
  • Ernest Teniente
  • Toni Urpí
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3180)


We propose a new approach to check wh ether a given database schema satisfies a set of desirable properties such as liveliness of a predicate, redundancy of integrity constraint specifications, schema satisfiability or reachability of partially specified states. Our approach is based on defining each schema validation property in terms of a constraint-satisfiability checking problem. Then, we propose to use the CQC Method (which was originally proposed for query containment checking) to verify whether these properties hold for a given database schema. Our aim is to define an effective and efficient method as the starting point to develop a practical tool for validating database schemas in commercial DBMSs.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BDM88]
    Bry, F., Decker, H., Manthey, R.: A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. In: Schmidt, J.W., Missikoff, M., Ceri, S. (eds.) EDBT 1988. LNCS, vol. 303, pp. 488–505. Springer, Heidelberg (1988)Google Scholar
  2. [BEST98]
    Bry, F., Eisinger, N., Schütz, H., Torge, S.: SIC: Satisfiability Checking for Integrity Constraints. In: Proceedings of DDLP 1998, pp. 25–36 (1998)Google Scholar
  3. [BM86]
    Bry, F., Manthey, R.: Checking Consistency of Database Constraints: a Logical Basis. In: Proceedings of VLDB 1986, pp. 13–20 (1986)Google Scholar
  4. [BT98]
    Bry, F., Torge, S.: A Deduction Method Complete for Refutation and Finite Satisfiability. In: Dix, J., Fariñas del Cerro, L., Furbach, U. (eds.) JELIA 1998. LNCS (LNAI), vol. 1489, pp. 122–138. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  5. [BY00]
    Bry, F., Yahya, A.: Positive Unit Hyperresolution Tableaux an Their Application to Minimal Model Generation. Journal of Automated Reasoning 25, 35–82 (2000)zbMATHMathSciNetCrossRefGoogle Scholar
  6. [CL89]
    Cavedon, L., Lloyd, J.W.: A Completeness Theorem for SLDNF Resolution. Journal of Logic Programming 7(3), 177–191 (1989)zbMATHMathSciNetCrossRefGoogle Scholar
  7. [DTU96]
    Decker, H., Teniente, E., Urpí, T.: How to Tackle Schema Validation by View Updating. In: Apers, P.M.G., Bouzeghoub, M., Gardarin, G. (eds.) EDBT 1996. LNCS, vol. 1057, pp. 535–549. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  8. [Far03]
    Farré, C.: A New Method for Query Containment Checking in Databases. PhD. Thesis, Universitat Politècnica de Catalunya (2003)Google Scholar
  9. [FTU03a]
    Farré, C., Teniente, E., Urpí, T.: Query Containment With Negated IDB Predicates. In: Kalinichenko, L.A., Manthey, R., Thalheim, B., Wloka, U. (eds.) ADBIS 2003. LNCS, vol. 2798, pp. 411–429. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  10. [FTU03b]
    Farré, C., Teniente, E., Urpí, T.: Handling Existential Derived Relations in View Updating. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol. 2916, pp. 148–162. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  11. [FTU+04]
    Farré, C., Teniente, E., Urpí, T., Beltrán, C., Gañán, D.: SVT: Schema Validation Tool for Microsoft SQL-Server. In: Proceedings. of the VLDB 2004 (2004) (to appear)Google Scholar
  12. [GSUW94]
    Gupta, A., Sagiv, Y., Ullman, J.D., Widom, J.: Constraint Checking with Partial Information. In: Proceedings of PoDS 1994, pp. 45–55 (1994)Google Scholar
  13. [HMSS01]
    Halevy, A.Y., Mumick, I.S., Sagiv, Y., Shmueli, O.: Static Analysis in Datalog Extensions. Journal of the ACM 48(5), 971–1012 (2001)MathSciNetCrossRefGoogle Scholar
  14. [MB88]
    Manthey, R., Bry, F.: SATCHMO: A Theorem Prover Implemented in Prolog. In: Lusk, E.‘., Overbeek, R. (eds.) CADE 1988. LNCS, vol. 310, pp. 415–434. Springer, Heidelberg (1988)CrossRefGoogle Scholar
  15. [MT99]
    Mayol, E., Teniente, E.: A Survey of Current Methods for Integrity Constraint Maintenance and View Updating. In: Proc. of the ER 1999 Workshops, pp. 62–73 (1999)Google Scholar
  16. [TG01]
    Türker, C., Gertz, M.: Semantic Integrity Support in SQL 1999 and Commercial (Object-)Relational Database Management Systems. VLDB Journal 10(4), 241–269 (2001)zbMATHCrossRefGoogle Scholar
  17. [ZO97]
    Zhang, X., Ozsoyoglu, M.Z.: Implication and Referential Constraints: A New Formal Reasoning. IEEE TKDE 9(6), 894–910 (1997)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Carles Farré
    • 1
  • Ernest Teniente
    • 1
  • Toni Urpí
    • 1
  1. 1.Universitat Politècnica de CatalunyaBarcelonaSpain

Personalised recommendations