{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:49:10Z","timestamp":1740098950048,"version":"3.37.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319671611"},{"type":"electronic","value":"9783319671628"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-67162-8_9","type":"book-chapter","created":{"date-parts":[[2017,9,11]],"date-time":"2017-09-11T10:16:52Z","timestamp":1505125012000},"page":"73-81","source":"Crossref","is-referenced-by-count":0,"title":["A Declarative Approach to Analyzing Schema Objects and Functional Dependencies"],"prefix":"10.1007","author":[{"given":"Christiane","family":"Engels","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Behrend","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Brass","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,9]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Behrend, A., Manthey, M.: A transformation-based approach to view updating in stratifiable deductive databases. In: FOIKS 2008, pp. 253\u2013271 (2008)","DOI":"10.1007\/978-3-540-77684-0_18"},{"key":"9_CR2","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). doi: 10.1007\/978-3-642-00675-3_6"},{"key":"9_CR3","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"},{"issue":"2","key":"9_CR4","doi-asserted-by":"crossref","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":"9_CR5","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":"9_CR6","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":"9_CR7","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":"9_CR8","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 (2017)","DOI":"10.1145\/3035918.3064046"},{"issue":"3","key":"9_CR9","doi-asserted-by":"crossref","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"},{"key":"9_CR10","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":"9_CR11","unstructured":"Milo, T., Zohar, S.: Using schema matching to simplify heterogeneous data translation. In: VLDB 1998, p. 122 (1998)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Param\u00e1, J.R., Brisaboa, N.R., Penabad, M.R., Places, \u00c1.S.: Implication of functional dependencies for recursive queries. In: Ershov Memorial Conference 2003, pp. 509\u2013519 (2003)","DOI":"10.1007\/978-3-540-39866-0_49"}],"container-title":["Communications in Computer and Information Science","New Trends in Databases and Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67162-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T05:15:04Z","timestamp":1570079704000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67162-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319671611","9783319671628"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67162-8_9","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2017]]}}}