{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:52:42Z","timestamp":1740099162867,"version":"3.37.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319944593"},{"type":"electronic","value":"9783319944609"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-94460-9_2","type":"book-chapter","created":{"date-parts":[[2018,7,9]],"date-time":"2018-07-09T11:36:38Z","timestamp":1531136198000},"page":"20-36","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Rule-Based Approach to Analyzing Database Schema Objects with Datalog"],"prefix":"10.1007","author":[{"given":"Christiane","family":"Engels","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Behrend","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Brass","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,7,10]]},"reference":[{"issue":"3","key":"2_CR1","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1145\/320083.320091","volume":"4","author":"AV Aho","year":"1979","unstructured":"Aho, A.V., Beeri, C., Ullman, J.D.: The theory of joins in relational databases. TODS 4(3), 297\u2013314 (1979)","journal-title":"TODS"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Armstrong, W.W.: Dependency structures of data base relationships. In: IFIP Congress 1974, pp. 580\u2013583 (1974)","DOI":"10.1515\/9783110840308-026"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-540-77684-0_18","volume-title":"Foundations of Information and Knowledge Systems","author":"A Behrend","year":"2008","unstructured":"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\u2013271. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-77684-0_18"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-00675-3_6","volume-title":"Applications of Declarative Programming and Knowledge Management","author":"AM Boehm","year":"2009","unstructured":"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\u201398. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-00675-3_6"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Brass, S., Goldberg, C.: Proving the safety of SQL queries. In: QSIC 2005, pp. 197\u2013204 (2005)","DOI":"10.1109\/QSIC.2005.50"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-319-64468-4_10","volume-title":"Database and Expert Systems Applications","author":"S Brass","year":"2017","unstructured":"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\u2013140. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-64468-4_10"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/BFb0053479","volume-title":"Advances in Databases","author":"NR Brisaboa","year":"1998","unstructured":"Brisaboa, N.R., Gonz\u00e1lez, A., Hern\u00e1ndez, H.J., Param\u00e1, 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\u2013166. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0053479"},{"issue":"2","key":"2_CR8","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0306-4379(03)00050-4","volume":"29","author":"A Cal\u00ec","year":"2004","unstructured":"Cal\u00ec, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: Data integration under integrity constraints. Inf. Syst. 29(2), 147\u2013163 (2004)","journal-title":"Inf. Syst."},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Davidson, S.B., Fan, W., Hara, C.S., Qin, J.: Propagating XML constraints to relations. In: ICDE 2003, pp. 543\u2013554 (2003)","DOI":"10.1109\/ICDE.2003.1260820"},{"key":"2_CR10","volume-title":"Relational Database Systems","author":"C Delobel","year":"1985","unstructured":"Delobel, C., Adiba, M.: Relational Database Systems. Elsevier, New York (1985)"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Fagin, R., Kolaitis, P.G., Popa, L., Tan, W.C.: Reverse data exchange: coping with nulls. In: PODS 2009, pp. 23\u201332 (2009)","DOI":"10.1145\/1559795.1559800"},{"issue":"1","key":"2_CR12","first-page":"391","volume":"1","author":"W Fan","year":"2008","unstructured":"Fan, W., Ma, S., Hu, Y., Liu, J., Wu, Y.: Propagating functional dependencies with conditions. PVLDB 1(1), 391\u2013407 (2008)","journal-title":"PVLDB"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"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\u20131116 (2017)","DOI":"10.1145\/3035918.3064046"},{"key":"2_CR14","unstructured":"Hill, P.M., Lloyd, J.W.: Analysis of meta-programs. In: Meta-Programming in Logic Programming, pp. 23\u201351 (1989)"},{"issue":"3","key":"2_CR15","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1145\/320613.320615","volume":"5","author":"AC Klug","year":"1980","unstructured":"Klug, A.C.: Calculating constraints on relational expressions. TODS 5(3), 260\u2013290 (1980)","journal-title":"TODS"},{"issue":"3","key":"2_CR16","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1145\/319732.319738","volume":"7","author":"AC Klug","year":"1982","unstructured":"Klug, A.C., Price, R.: Determining view dependencies using tableaux. TODS 7(3), 361\u2013380 (1982)","journal-title":"TODS"},{"issue":"4","key":"2_CR17","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1145\/320107.320115","volume":"4","author":"D Maier","year":"1979","unstructured":"Maier, D., Mendelzon, A.O., Sagiv, Y.: Testing implications of data dependencies. TODS 4(4), 455\u2013469 (1979)","journal-title":"TODS"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Maule, A., Emmerich, W., Rosenblum, D.S.: Impact analysis of database schema changes. In: ICSE 2008, pp. 451\u2013460 (2008)","DOI":"10.1145\/1368088.1368150"},{"key":"2_CR19","unstructured":"Milo, T., Zohar, S.: Using schema matching to simplify heterogeneous data translation. In: VLDB 1998, pp. 122\u2013133 (1998)"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/3-540-45710-0_22","volume-title":"Advances in Databases and Information Systems","author":"JR Param\u00e1","year":"2002","unstructured":"Param\u00e1, J.R., Brisaboa, N.R., Penabad, M.R., Places, \u00c1.S.: A semantic query optimization approach to optimize linear datalog programs. In: Manolopoulos, Y., N\u00e1vrat, P. (eds.) ADBIS 2002. LNCS, vol. 2435, pp. 277\u2013290. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45710-0_22"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1007\/978-3-540-39866-0_49","volume-title":"Perspectives of System Informatics","author":"JR Param\u00e1","year":"2004","unstructured":"Param\u00e1, J.R., Brisaboa, N.R., Penabad, M.R., Places, \u00c1.S.: Implication of functional dependencies for recursive queries. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol. 2890, pp. 509\u2013519. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-39866-0_49"},{"issue":"4","key":"2_CR22","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0020-0190(92)90083-8","volume":"44","author":"K Wang","year":"1992","unstructured":"Wang, K., Yuan, L.: Preservation of integrity constraints in definite DATALOG programs. Inf. Process. Lett. 44(4), 185\u2013193 (1992)","journal-title":"Inf. Process. Lett."}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-94460-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,20]],"date-time":"2019-10-20T10:22:14Z","timestamp":1571566934000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-94460-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319944593","9783319944609"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-94460-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}