{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T10:57:08Z","timestamp":1743073028365,"version":"3.40.3"},"publisher-location":"Cham","reference-count":55,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319060248"},{"type":"electronic","value":"9783319060255"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06025-5_3","type":"book-chapter","created":{"date-parts":[[2014,8,26]],"date-time":"2014-08-26T12:47:27Z","timestamp":1409057247000},"page":"67-100","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Schema Mappings: A Case of Logical Dynamics in Database Theory"],"prefix":"10.1007","author":[{"given":"Balder","family":"ten Cate","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phokion G.","family":"Kolaitis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,8,27]]},"reference":[{"key":"3_CR1","unstructured":"Abiteboul S, Hull R, Vianu V (1995) Foundations of databases. Addison-Wesley, Boston"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1004275029985","volume":"27","author":"H Andr\u00e9ka","year":"1998","unstructured":"Andr\u00e9ka H, van Benthem J, N\u00e9meti I (1998) Modal languages and bounded fragments of predicate logic. J Philos Logic 27:217\u2013274","journal-title":"J Philos Logic"},{"issue":"3","key":"3_CR3","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/1815933.1815938","volume":"38","author":"M Arenas","year":"2009","unstructured":"Arenas M, P\u00e9rez J, Reutter JL, Riveros C (2009) Composition and inversion of schema mappings. SIGMOD Rec 38(3):17\u201328","journal-title":"SIGMOD Rec"},{"issue":"6","key":"3_CR4","doi-asserted-by":"publisher","first-page":"763","DOI":"10.1016\/j.jcss.2013.01.002","volume":"79","author":"M Arenas","year":"2013","unstructured":"Arenas M, P\u00e9rez J, Reutter JL, Riveros C (2013) The language of plain so-tgds: composition, inversion and structural properties. J Comput Syst Sci 79(6):763\u2013784","journal-title":"J Comput Syst Sci"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Barwise J, Seligman J (1997) Information flow: the logic of distributed systems., Cambridge tracts in theoretical computer science, Cambridge University Press, Cambridge","DOI":"10.1017\/CBO9780511895968"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Beeri C, Vardi MY (1984) A proof procedure for data dependencies. J ACM 31(4):718\u2013741","DOI":"10.1145\/1634.1636"},{"key":"3_CR7","unstructured":"van Benthem J (1983) Modal logic and classical logic. Bibliopolis, Berkeley"},{"issue":"3","key":"3_CR8","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1305\/ndjfl\/1093635152","volume":"30","author":"J van Benthem","year":"1989","unstructured":"van Benthem J (1989) Logical constants across varying types. Notre Dame J Formal Logic 30(3):315\u2013342","journal-title":"Notre Dame J Formal Logic"},{"issue":"6","key":"3_CR9","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/jigpal\/8.6.719","volume":"8","author":"J van Benthem","year":"2000","unstructured":"van Benthem J (2000) Information transfer across chu spaces. J Logic IGPL 8(6):719\u2013731","journal-title":"J Logic IGPL"},{"key":"3_CR10","unstructured":"van Benthem J (2010) Modal logic for open minds. CSLI lecture notes, Center for the Study of Language and Information"},{"key":"3_CR11","unstructured":"Bernstein PA (2003) Applying model management to classical meta data problems. In: Proceedings of the 1st Biennial conference on innovative data systems research (CIDR)"},{"issue":"9","key":"3_CR12","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/1378727.1378745","volume":"51","author":"PA Bernstein","year":"2008","unstructured":"Bernstein PA, Haas LM (2008) Information integration in the enterprise. Commun ACM 51(9):72\u201379","journal-title":"Commun ACM"},{"key":"3_CR13","unstructured":"Beth EW (1955) Semantic entailment and formal derivability. Meded van de KNAW, Afdeling Letterkunde 18(13):309\u201342 (Reprinted in 1969, Hintikka J (ed) The philosophy of mathematics, Oxford University Press)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Calvanese D, Giacomo GD, Lenzerini M, Rosati V (2004) Logical foundations of peer-to-peer data integration. In: Proceedings of the 23rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS), pp 241\u2013251","DOI":"10.1145\/1055558.1055593"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"ten Cate B, Kolaitis PG (2009) Structural characterizations of schema-mapping languages. In: International conference on database theory, pp 63\u201372","DOI":"10.1145\/1514894.1514903"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"ten Cate B, Kolaitis PG (2010) Structural characterizations of schema-mapping languages. Commun ACM 53(1):101\u2013110","DOI":"10.1145\/1629175.1629201"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Chandra A, Merlin P (1977) Optimal implementation of conjunctive queries in relational databases. In: Proceedings of 9th ACM symposium on theory of computing, pp 77\u201390","DOI":"10.1145\/800105.803397"},{"key":"3_CR18","unstructured":"Chang CC, Keisler J (1973) Model theory. Number 73 in Studies in Logic and the Foundations of Mathematics, North-Holland (3rd edn, 1990)"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Dawar A (1998) A restricted second order logic for finite structures. Inf Comput 143(2): 154\u2013174","DOI":"10.1006\/inco.1998.2703"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Di Paola RA (1969) The recursive unsolvability of the decision problem for the class of definite formulas. J ACM 16(2):324\u2013327","DOI":"10.1145\/321510.321524"},{"issue":"1","key":"3_CR21","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.tcs.2004.10.033","volume":"336","author":"R Fagin","year":"2005","unstructured":"Fagin R, Kolaitis PG, Miller RJ, Popa L (2005) Data exchange: semantics and query answering. Theoret Comput Sci 336(1):89\u2013124","journal-title":"Theoret Comput Sci"},{"issue":"1","key":"3_CR22","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1145\/1061318.1061323","volume":"30","author":"R Fagin","year":"2005","unstructured":"Fagin R, Kolaitis PG, Popa L (2005) Data exchange: getting to the core. ACM Trans Database Syst 30(1):174\u2013210","journal-title":"ACM Trans Database Syst"},{"issue":"4","key":"3_CR23","doi-asserted-by":"publisher","first-page":"994","DOI":"10.1145\/1114244.1114249","volume":"30","author":"R Fagin","year":"2005","unstructured":"Fagin R, Kolaitis PG, Popa L, Tan W-C (2005) Composing schema mappings: second-order dependencies to the rescue. ACM Trans Database Syst 30(4):994\u20131055","journal-title":"ACM Trans Database Syst"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Fagin R, Kolaitis PG, Popa L, Tan WC (2011) Schema mapping evolution through composition and inversion. In: Schema matching and mapping. Springer, pp 191\u2013222","DOI":"10.1007\/978-3-642-16518-4_7"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Fagin R, Vardi MY (1986) The theory of data dependencies\u2014a survey. In: Anshel M, Gewirtz W (eds) Proceedings of symposia in applied mathematics, vol 34. Mathematics of Information Processing American Mathematical Society, Providence, pp 19\u201371","DOI":"10.1090\/psapm\/034\/846853"},{"key":"3_CR26","unstructured":"Fuxman A, Hern\u00e1ndez MA, Ho CTH, Miller RJ, Papotti P, Popa L (2006) Nested mappings: schema mapping reloaded. In: Proceedings of VLDB, pp 67\u201378"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Gottlob G, Leone N, Scarcello F (2001) Hypertree decompositions: a survey. In: Sgall J, Pultr A, Kolman P (eds) MFCS of lecture notes in computer science, vol 2136. Springer, pp 37\u201357","DOI":"10.1007\/3-540-44683-4_5"},{"issue":"3","key":"3_CR28","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1006\/jcss.2001.1809","volume":"64","author":"G Gottlob","year":"2002","unstructured":"Gottlob G, Leone N, Scarcello F (2002) Hypertree decompositions and tractable queries. J Comput Syst Sci 64(3):579\u2013627","journal-title":"J Comput Syst Sci"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Haas LM (2007) Beauty and the beast: the theory and practice of information integration. In: Schwentick T, Suciu D (eds) ICDT, lecture notes in computer science, vol 4353. Springer, pp 28\u201343","DOI":"10.1007\/11965893_3"},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Haas LM, Hern\u00e1ndez MA, Ho H, Popa L, Roth M (2005) Clio grows up: from research prototype to industrial tool. In: \u00d6zcan F (ed) SIGMOD conference, ACM, pp 805\u2013810","DOI":"10.1145\/1066157.1066252"},{"issue":"7","key":"3_CR31","doi-asserted-by":"publisher","first-page":"787","DOI":"10.1109\/TKDE.2004.1318562","volume":"16","author":"AY Halevy","year":"2004","unstructured":"Halevy AY, Ives ZG, Madhavan J, Mork P, Suciu D, Tatarinov I (2004) The piazza peer data management system. IEEE Trans Knowl Data Eng 16(7):787\u2013798","journal-title":"IEEE Trans Knowl Data Eng"},{"issue":"1","key":"3_CR32","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/s00778-003-0116-y","volume":"14","author":"AY Halevy","year":"2005","unstructured":"Halevy AY, Ives ZG, Suciu D, Tatarinov I (2005) Schema mediation for large-scale semantic data sharing. VLDB J 14(1):68\u201383","journal-title":"VLDB J"},{"key":"3_CR33","unstructured":"Hell P, Ne\u0161et\u0159il J (2004) Graphs and homomorphisms. Oxford lecture series in mathematics and its applications, Oxford University Press"},{"key":"3_CR34","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0012-365X(92)90282-K","volume":"109","author":"P Hell","year":"1992","unstructured":"Hell P, Ne\u0161et\u0159il J (1992) The core of a graph. Discrete Math 109:117\u2013126","journal-title":"Discrete Math"},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"Hern\u00e1ndez MA, Miller RJ, Haas LM (2001) Clio: a semi-automatic tool for schema mapping. In: SIGMOD conference, p 607","DOI":"10.1145\/376284.375767"},{"key":"3_CR36","doi-asserted-by":"crossref","unstructured":"Hoare CAR (1969) An axiomatic basis for computer programming. Commun. ACM 12(10):576\u2013580","DOI":"10.1145\/363235.363259"},{"key":"3_CR37","doi-asserted-by":"crossref","unstructured":"Imielinski T, Jr WL (1984) Incomplete information in relational databases. J ACM 31(4): 761\u2013791","DOI":"10.1145\/1634.1886"},{"issue":"2","key":"3_CR38","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1006\/jcss.2000.1713","volume":"61","author":"PG Kolaitis","year":"2000","unstructured":"Kolaitis PG, Vardi MY (2000) Conjunctive-query containment and constraint satisfaction. J Comput Syst Sci 61(2):302\u2013332","journal-title":"J Comput Syst Sci"},{"key":"3_CR39","unstructured":"Kooi B, van Benthem J (2004) Reduction axioms for epistemic actions. In: Schmidt R, Pratt-Hartmann I, Reynolds M, Wansing H (eds) Preliminary proceedings of AiML-2004. Department of Computer Science, University of Manchester, pp 197\u2013211"},{"key":"3_CR40","unstructured":"Lawvere FW, Schanuel SS (1997) Conceptual mathematics: a first introduction to category theory. Cambridge University Press, Cambridge"},{"key":"3_CR41","doi-asserted-by":"crossref","unstructured":"Lenzerini M (2002) Data integration: a theoretical perspective. In: Proceedings of principles of database systems, pp 233\u2013246","DOI":"10.1145\/543613.543644"},{"key":"3_CR42","unstructured":"Lenzerini M (2004) Principles of P2P data integration. In: Proceedings of the 3rd International Workshop on Data Integration Over the Web (DIWeb), pp 7\u201321"},{"key":"3_CR43","doi-asserted-by":"crossref","unstructured":"Madhavan J, Halevy AY (2003) Composing mappings among data sources. In: Proceedings of 29th International Conference on Very Large Data Bases (VLDB), pp 572\u2013583","DOI":"10.1016\/B978-012722442-8\/50057-4"},{"key":"3_CR44","doi-asserted-by":"crossref","unstructured":"Maier D, Mendelzon AO, Sagiv Y (1979) Testing implications of data dependencies. ACM Trans Database Syst 4(4):455\u2013469","DOI":"10.1145\/320107.320115"},{"issue":"3","key":"3_CR45","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/BF00289111","volume":"23","author":"JA Makowsky","year":"1986","unstructured":"Makowsky JA, Vardi MY (1986) On the expressive power of data dependencies. Acta Informatica 23(3):231\u2013244","journal-title":"Acta Informatica"},{"key":"3_CR46","unstructured":"Miller RJ, Haas LM, Hern\u00e1ndez MA (2000) Schema mapping as query discovery. In: Abbadi AE, Brodie ML, Chakravarthy S, Dayal U, Kamel N, Schlageter G, Whang K.-Y (eds) Proceedings of 26th International Conference on Very Large Data Bases (VLDB), Morgan Kaufmann, pp 77\u201388"},{"issue":"1","key":"3_CR47","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/373626.373713","volume":"30","author":"RJ Miller","year":"2001","unstructured":"Miller RJ, Hern\u00e1ndez MA, Haas LM, Yan L-L, Ho CTH, Fagin R, Popa L (2001) The clio project: managing heterogeneity. SIGMOD Rec 30(1):78\u201383","journal-title":"SIGMOD Rec"},{"issue":"2\u20133","key":"3_CR48","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1007\/s007780100048","volume":"10","author":"R Pottinger","year":"2001","unstructured":"Pottinger R, Halevy A (2001) Minicon: a scalable algorithm for answering queries using views. VLDB J 10(2\u20133):182\u2013198","journal-title":"VLDB J"},{"key":"3_CR49","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1023\/A:1008275906015","volume":"6","author":"E Rosen","year":"1997","unstructured":"Rosen E (1997) Modal logic over finite structures. J Logic Lang Inform 6:427\u2013439","journal-title":"J Logic Lang Inform"},{"key":"3_CR50","doi-asserted-by":"crossref","unstructured":"Rosen E (2002) Some aspects of model theory and finite structures. Bull Symb Logic 8(3): 380\u2013403","DOI":"10.2178\/bsl\/1182353894"},{"key":"3_CR51","doi-asserted-by":"crossref","unstructured":"Rossman B (2008) Homomorphism preservation theorems. J ACM 55(3):15:1\u201315:53","DOI":"10.1145\/1379759.1379763"},{"key":"3_CR52","first-page":"569","volume":"70","author":"B Trakhtenbrot","year":"1950","unstructured":"Trakhtenbrot B (1950) Impossibility of an algorithm for the decision problem on finite classes. Dokl Akad Nauk SSSR 70:569\u2013572","journal-title":"Dokl Akad Nauk SSSR"},{"key":"3_CR53","doi-asserted-by":"crossref","unstructured":"Van Gelder A, Topor RW (1991) Safety and translation of relational calculus. ACM Trans Database Syst 16(2):235\u2013278","DOI":"10.1145\/114325.103712"},{"key":"3_CR54","doi-asserted-by":"crossref","unstructured":"Vardi MY (1982) The complexity of relational query languages (extended abstract). In: Proceedings of the 14th annual ACM symposium on theory of computing, STOC \u201982, ACM, New York, pp 137\u2013146","DOI":"10.1145\/800070.802186"},{"key":"3_CR55","unstructured":"Yannakakis M (1981) Algorithms for acyclic database schemes. In: Proceedings of 7th International Conference on Very Large Data Bases (VLDB), pp 82\u201394"}],"container-title":["Outstanding Contributions to Logic","Johan van Benthem on Logic and Information Dynamics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06025-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,28]],"date-time":"2023-01-28T08:52:31Z","timestamp":1674895951000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-06025-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319060248","9783319060255"],"references-count":55,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06025-5_3","relation":{},"ISSN":["2211-2758","2211-2766"],"issn-type":[{"type":"print","value":"2211-2758"},{"type":"electronic","value":"2211-2766"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"27 August 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}