A Declarative Approach to Analyzing Schema Objects and Functional Dependencies

  • Christiane Engels
  • Andreas BehrendEmail author
  • Stefan Brass
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 767)


Database schema elements such as tables, views, triggers and functions are typically defined with many interrelationships. In order to support database users in understanding a given schema, a rule-based approach for analyzing the respective dependencies is proposed using Datalog expressions. We show that many interesting properties of schema elements can be systematically determined this way. The expressiveness of the proposed analysis is exemplarily shown with the problem of computing induced functional dependencies for derived relations.


Schema analysis Functional dependencies Datalog 


  1. 1.
    Behrend, A., Manthey, M.: A transformation-based approach to view updating in stratifiable deductive databases. In: FOIKS 2008, pp. 253–271 (2008)Google Scholar
  2. 2.
    Boehm, A.M., Seipel, D., Sickmann, A., Wetzka, M.: Squash: a tool for analyzing, tuning and refactoring relational database applications. In: Seipel, D., Hanus, M., Wolf, A. (eds.) INAP/WLP -2007. LNCS (LNAI), vol. 5437, pp. 82–98. Springer, Heidelberg (2009). doi: 10.1007/978-3-642-00675-3_6 CrossRefGoogle Scholar
  3. 3.
    Brass, S., Goldberg, C.: Proving the safety of SQL queries. In: QSIC 2005, pp. 197–204 (2005)Google Scholar
  4. 4.
    Calì, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: Data integration under integrity constraints. Inf. Syst. 29(2), 147–163 (2004)CrossRefzbMATHGoogle Scholar
  5. 5.
    Davidson, S.B., Fan, W., Hara, C.S., Qin, J.: Propagating XML constraints to relations. In: ICDE 2003, pp. 543–554 (2003)Google Scholar
  6. 6.
    Fagin, R., Kolaitis, P.G., Popa, L., Tan, W.C.: Reverse data exchange: Coping with nulls. In: PODS 2009, pp. 23–32 (2009)Google Scholar
  7. 7.
    Fan, W., Ma, S., Hu, Y., Liu, J., Wu, Y.: Propagating functional dependencies with conditions. PVLDB 1(1), 391–407 (2008)Google Scholar
  8. 8.
    Herrmann, K., Voigt, H., Behrend, A., Rausch, J., Lehner, W.: Living in parallel realities co-existing schema versions with a bidirectional database evolution language. In: SIGMOD 2017 (2017)Google Scholar
  9. 9.
    Klug, A.C.: Calculating constraints on relational expressions. TODS 5(3), 260–290 (1980)CrossRefzbMATHGoogle Scholar
  10. 10.
    Maule, A., Emmerich, W., Rosenblum, D.S.: Impact analysis of database schema changes. In: ICSE 2008, pp. 451–460 (2008)Google Scholar
  11. 11.
    Milo, T., Zohar, S.: Using schema matching to simplify heterogeneous data translation. In: VLDB 1998, p. 122 (1998)Google Scholar
  12. 12.
    Paramá, J.R., Brisaboa, N.R., Penabad, M.R., Places, Á.S.: Implication of functional dependencies for recursive queries. In: Ershov Memorial Conference 2003, pp. 509–519 (2003)Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Christiane Engels
    • 1
  • Andreas Behrend
    • 1
    Email author
  • Stefan Brass
    • 2
  1. 1.Institut für Informatik IIIRheinische Friedrich-Wilhelms-Universität BonnBonnGermany
  2. 2.Institut für InformatikMartin-Luther-Universität Halle-WittenbergHalleGermany

Personalised recommendations