nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

A Rule-Based Approach to Analyzing Database Schema Objects with Datalog

verfasst von : Christiane Engels, Andreas Behrend, Stefan Brass

Erschienen in: Logic-Based Program Synthesis and Transformation

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Database schema elements such as tables, views, triggers and functions are typically defined with many interrelations. 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. The propagation of functional dependencies plays an important role in data integration and query optimization but represents an undecidable problem in general. And yet, our rule-based analysis covers all relational operators as well as linear recursive expressions in a systematic way showing the depth of analysis possible by our proposal. The analysis of functional dependencies is well-integrated in a uniform approach to analyzing dependencies between schema elements in general.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Generation of Initial Contexts for Effective Deadlock Detection

Nächstes Kapitel Deadlock Detection of Java Bytecode

An in-depth discussion on the complexity can be found in [12].

Finite domains cause troubles as FDs can occur due to the fact of limited possible value combinations without being induced by another FD (cf. [12]).

A subsumption step could be added for avoiding redundant FD representations.

Aho, A.V., Beeri, C., Ullman, J.D.: The theory of joins in relational databases. TODS 4(3), 297–314 (1979)CrossRef

Armstrong, W.W.: Dependency structures of data base relationships. In: IFIP Congress 1974, pp. 580–583 (1974)

Behrend, A., Manthey, R.: A transformation-based approach to view updating in stratifiable deductive databases. In: Hartmann, S., Kern-Isberner, G. (eds.) FoIKS 2008. LNCS, vol. 4932, pp. 253–271. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-77684-0_18CrossRef

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). https://doi.org/10.1007/978-3-642-00675-3_6CrossRef

Brass, S., Goldberg, C.: Proving the safety of SQL queries. In: QSIC 2005, pp. 197–204 (2005)

Brass, S.: Language constructs for a datalog compiler. In: Benslimane, D., Damiani, E., Grosky, W.I., Hameurlain, A., Sheth, A., Wagner, R.R. (eds.) DEXA 2017. LNCS, vol. 10438, pp. 130–140. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-64468-4_10CrossRef

Brisaboa, N.R., González, A., Hernández, H.J., Paramá, J.R.: The chase of datalog programs. In: Embury, S.M., Fiddian, N.J., Gray, W.A., Jones, A.C. (eds.) BNCOD 1998. LNCS, vol. 1405, pp. 165–166. Springer, Heidelberg (1998). https://doi.org/10.1007/BFb0053479CrossRef

Calì, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: Data integration under integrity constraints. Inf. Syst. 29(2), 147–163 (2004)CrossRef

Davidson, S.B., Fan, W., Hara, C.S., Qin, J.: Propagating XML constraints to relations. In: ICDE 2003, pp. 543–554 (2003)

10.

Delobel, C., Adiba, M.: Relational Database Systems. Elsevier, New York (1985)MATH

11.

Fagin, R., Kolaitis, P.G., Popa, L., Tan, W.C.: Reverse data exchange: coping with nulls. In: PODS 2009, pp. 23–32 (2009)

12.

Fan, W., Ma, S., Hu, Y., Liu, J., Wu, Y.: Propagating functional dependencies with conditions. PVLDB 1(1), 391–407 (2008)

13.

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, pp. 1101–1116 (2017)

14.

Hill, P.M., Lloyd, J.W.: Analysis of meta-programs. In: Meta-Programming in Logic Programming, pp. 23–51 (1989)

15.

Klug, A.C.: Calculating constraints on relational expressions. TODS 5(3), 260–290 (1980)CrossRef

16.

Klug, A.C., Price, R.: Determining view dependencies using tableaux. TODS 7(3), 361–380 (1982)MathSciNetCrossRef

17.

Maier, D., Mendelzon, A.O., Sagiv, Y.: Testing implications of data dependencies. TODS 4(4), 455–469 (1979)CrossRef

18.

Maule, A., Emmerich, W., Rosenblum, D.S.: Impact analysis of database schema changes. In: ICSE 2008, pp. 451–460 (2008)

19.

Milo, T., Zohar, S.: Using schema matching to simplify heterogeneous data translation. In: VLDB 1998, pp. 122–133 (1998)

20.

Paramá, J.R., Brisaboa, N.R., Penabad, M.R., Places, Á.S.: A semantic query optimization approach to optimize linear datalog programs. In: Manolopoulos, Y., Návrat, P. (eds.) ADBIS 2002. LNCS, vol. 2435, pp. 277–290. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45710-0_22CrossRefMATH

21.

Paramá, J.R., Brisaboa, N.R., Penabad, M.R., Places, Á.S.: Implication of functional dependencies for recursive queries. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol. 2890, pp. 509–519. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-39866-0_49CrossRefMATH

22.

Wang, K., Yuan, L.: Preservation of integrity constraints in definite DATALOG programs. Inf. Process. Lett. 44(4), 185–193 (1992)MathSciNetCrossRef

Titel: A Rule-Based Approach to Analyzing Database Schema Objects with Datalog
verfasst von: Christiane Engels
Andreas Behrend
Stefan Brass
Verlag: Springer International Publishing
Buch: Logic-Based Program Synthesis and Transformation
Print ISBN: 978-3-319-94459-3

Electronic ISBN: 978-3-319-94460-9

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-319-94460-9_2

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"