{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T10:02:22Z","timestamp":1743069742295,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":52,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642234408"},{"type":"electronic","value":"9783642234415"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-23441-5_3","type":"book-chapter","created":{"date-parts":[[2011,8,12]],"date-time":"2011-08-12T22:35:01Z","timestamp":1313188501000},"page":"40-53","source":"Crossref","is-referenced-by-count":1,"title":["Types and Constraints: From Relational to XML Data"],"prefix":"10.1007","author":[{"given":"Nicole L.","family":"Bidoit-Tollu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"eXist, http:\/\/exist.sourceforge.net\/"},{"key":"3_CR2","unstructured":"Extensible Markup Language (XML) 1.0, 5th Edn., http:\/\/www.w3.org\/TR\/REC-xml\/"},{"key":"3_CR3","unstructured":"Galax, http:\/\/www.galaxquery.org"},{"key":"3_CR4","unstructured":"Leo, http:\/\/leo.saclay.inria.fr\/"},{"key":"3_CR5","unstructured":"QizX Free-Engine-3, http:\/\/www.xmlmind.com\/qizx\/free_engine.html"},{"key":"3_CR6","unstructured":"QizX\/open, http:\/\/www.xmlmind.com\/qizx\/qizxopen.shtml"},{"key":"3_CR7","unstructured":"SAX, http:\/\/www.saxproject.org\/"},{"key":"3_CR8","unstructured":"Saxon-ee, http:\/\/www.saxonica.com\/"},{"key":"3_CR9","unstructured":"XQuery 1.0: An XML Query Language, http:\/\/www.w3.org\/xquery"},{"key":"3_CR10","unstructured":"Xquery update facility 1.0, http:\/\/www.w3.org\/TR\/2008\/CR-xquery-update-10-20080801"},{"issue":"4","key":"3_CR11","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1007\/BF01354881","volume":"4","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Beeri, C.: The power of languages for the manipulation of complex values. VLDB J.\u00a04(4), 727\u2013794 (1995)","journal-title":"VLDB J."},{"key":"3_CR12","volume-title":"Data on the Web: From Relations to Semistructured Data and XML","author":"S. Abiteboul","year":"1999","unstructured":"Abiteboul, S., Buneman, P., Suciu, D.: Data on the Web: From Relations to Semistructured Data and XML. Morgan Kaufmann, San Francisco (1999)"},{"issue":"4","key":"3_CR13","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1145\/320107.320112","volume":"4","author":"A.V. Aho","year":"1979","unstructured":"Aho, A.V., Sagiv, Y., Ullman, J.D.: Efficient optimization of a class of relational expressions. ACM Trans. Database Syst.\u00a04(4), 435\u2013454 (1979)","journal-title":"ACM Trans. Database Syst."},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1145\/974750.974757","volume":"29","author":"M. Arenas","year":"2004","unstructured":"Arenas, M., Libkin, L.: A normal form for xml documents. ACM Trans. Database Syst.\u00a029, 195\u2013232 (2004)","journal-title":"ACM Trans. Database Syst."},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Automata, Languages and Programming","author":"C. Beeri","year":"1981","unstructured":"Beeri, C., Vardi, M.Y.: The implication problem for data dependencies. In: Even, S., Kariv, O. (eds.) ICALP 1981. LNCS, vol.\u00a0115, Springer, Heidelberg (1981)"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Benedikt, M., Cheney, J.: Schema-based independence analysis for xml updates. In: VLDB (2009)","DOI":"10.14778\/1687627.1687635"},{"key":"3_CR17","unstructured":"Benzaken, V., Castagna, G., Colazzo, D., Nguyen, K.: Type-based XML projection. In: VLDB (2006)"},{"key":"3_CR18","unstructured":"Berglund, A., Boag, S., Chamberlin, D., Fern\u00e1ndez, M., Robie, J., Sim\u00e9on, J.: XML Path Language (XPath) 2.0 (2005), http:\/\/www.w3.org\/TR\/xpath20"},{"issue":"6","key":"3_CR19","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.entcs.2006.11.025","volume":"174","author":"N. Bidoit","year":"2007","unstructured":"Bidoit, N., Colazzo, D.: Testing xml constraint satisfiability. Electr. Notes Theor. Comput. Sci.\u00a0174(6), 45\u201361 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"3_CR20","unstructured":"Bidoit, N., Colazzo, D., Malla, N., Sahakyan, M.: Projection based optimization for xml updates. In: 1st International Workshop on Schema Languages for XML, X-Schemas 2009 (2009)"},{"key":"3_CR21","unstructured":"Bidoit, N., Colazzo, D., Malla, N., Sahakyan, M.: Projection based optimization for xml updates. In: EDBT (to appear, 2011)"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","volume-title":"Integrated Formal Methods","author":"N. Bidoit","year":"2010","unstructured":"Bidoit, N., Colazzo, D., Ulliana, F.: Detecting xml query-update independence. In: M\u00e9ry, D., Merz, S. (eds.) IFM 2010. LNCS, vol.\u00a06396, Springer, Heidelberg (2010)"},{"key":"3_CR23","unstructured":"Bidoit, N., Colazzo, D., Ulliana, F.: Detecting xml query-update independence. In: BDA (2010)"},{"key":"3_CR24","unstructured":"Biron, P.V., Malhotra, A.: XML Schema Part 2: Datatypes Second Edition. Technical report, World Wide Web Consortium, W3C Recommendation (October 2004)"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Buneman, P.: Semistructured data. In: PODS, pp. 117\u2013121 (1997)","DOI":"10.1145\/263661.263675"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/3-540-46093-4_8","volume-title":"Database Programming Languages","author":"P. Buneman","year":"2002","unstructured":"Buneman, P., Davidson, S.B., Fan, W., Hara, C., Tan, W.-C.: Reasoning about keys for XML. In: Ghelli, G., Grahne, G. (eds.) DBPL 2001. LNCS, vol.\u00a02397, p. 133. Springer, Heidelberg (2002)"},{"issue":"5","key":"3_CR27","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1016\/S1389-1286(02)00223-2","volume":"39","author":"P. Buneman","year":"2002","unstructured":"Buneman, P., Davidson, S.B., Fan, W., Hara, C.S., Tan, W.C.: Keys for xml. Computer Networks\u00a039(5), 473\u2013487 (2002)","journal-title":"Computer Networks"},{"issue":"1","key":"3_CR28","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/227604.227609","volume":"21","author":"P. Buneman","year":"1996","unstructured":"Buneman, P., Ohori, A.: Polymorphism and type inference in database programming. ACM Trans. Database Syst.\u00a021(1), 30\u201376 (1996)","journal-title":"ACM Trans. Database Syst."},{"issue":"2\/3","key":"3_CR29","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1016\/0890-5401(88)90007-7","volume":"76","author":"L. Cardelli","year":"1988","unstructured":"Cardelli, L.: A semantics of multiple inheritance. Inf. Comput.\u00a076(2\/3), 138\u2013164 (1988)","journal-title":"Inf. Comput."},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Cheney, J.: Flux: functional updates for xml. In: ICFP (2008)","DOI":"10.1145\/1411204.1411209"},{"key":"3_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-540-78739-6_3","volume-title":"Programming Languages and Systems","author":"J. Cheney","year":"2008","unstructured":"Cheney, J.: Regular expression subtyping for XML query and update languages. In: Gairing, M. (ed.) ESOP 2008. LNCS, vol.\u00a04960, pp. 32\u201347. Springer, Heidelberg (2008)"},{"key":"3_CR32","unstructured":"Clark, J., Makoto, M.: Relax NG specification, http:\/\/www.oasis-open.org\/committees\/relax-ng"},{"key":"3_CR33","unstructured":"Codd, E.F.: Further normalization of the data base relational model. IBM Research Report, San Jose, California, RJ909 (1971)"},{"key":"3_CR34","first-page":"65","volume-title":"Database Systems","author":"E.F. Codd","year":"1972","unstructured":"Codd, E.F.: Relational completeness of data base sublanguages. In: Rustin, R. (ed.) Database Systems, pp. 65\u201398. Prentice Hall and IBM Research Report RJ 987, San Jose (1972)"},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"Colazzo, D., Ghelli, G., Manghi, P., Sartiani, C.: Static analysis for path correctness of XML queries. J. Funct. Program.\u00a016(4-5) (2006)","DOI":"10.1017\/S0956796806005983"},{"key":"3_CR36","doi-asserted-by":"crossref","unstructured":"den Bussche, J.V., Gucht, D.V., Vansummeren, S.: A crash course on database queries. In: PODS, pp. 143\u2013154 (2007)","DOI":"10.1145\/1265530.1265551"},{"issue":"3","key":"3_CR37","doi-asserted-by":"publisher","first-page":"694","DOI":"10.1006\/jcss.2001.1812","volume":"64","author":"J.V. Bussche den","year":"2002","unstructured":"den Bussche, J.V., Waller, E.: Polymorphic type inference for the relational algebra. J. Comput. Syst. Sci.\u00a064(3), 694\u2013718 (2002)","journal-title":"J. Comput. Syst. Sci."},{"issue":"3","key":"3_CR38","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1145\/567112.567117","volume":"49","author":"W. Fan","year":"2002","unstructured":"Fan, W., Libkin, L.: On xml integrity constraints in the presence of dtds. J. ACM\u00a049(3), 368\u2013406 (2002)","journal-title":"J. ACM"},{"issue":"1","key":"3_CR39","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1016\/S0022-0000(02)00032-6","volume":"66","author":"W. Fan","year":"2003","unstructured":"Fan, W., Sim\u00e9on, J.: Integrity constraints for xml. J. Comput. Syst. Sci.\u00a066(1), 254\u2013291 (2003)","journal-title":"J. Comput. Syst. Sci."},{"key":"3_CR40","doi-asserted-by":"crossref","unstructured":"Ghelli, G., Rose, K.H., Sim\u00e9on, J.: Commutativity analysis for XML updates. ACM Trans. Database Syst.\u00a033(4) (2008)","DOI":"10.1145\/1412331.1412341"},{"key":"3_CR41","unstructured":"Hors, A.L., H\u00e9garet, P.L., Wood, L., Nicol, G., Robie, J., Champion, M., Byrne, S.: Document object model (dom). Technical report, World Wide Web Consortium, W3C Working Draft (2003)"},{"key":"3_CR42","unstructured":"Jelliffe, R.: The Schematron: An XML structure validation language using patterns in trees, http:\/\/xml.coverpages.org\/schematron.html"},{"key":"3_CR43","doi-asserted-by":"crossref","unstructured":"Klarlund, N., M\u00f8ller, A., Schwartzbach, M.I.: The dsd schema language. Autom. Softw. Eng.\u00a09(3) (2002)","DOI":"10.1023\/A:1016376608070"},{"key":"3_CR44","doi-asserted-by":"crossref","unstructured":"Klarlund, N., Schwentick, T., Suciu, D.: Xml: Model, schemas, types, logics, and queries. In: Logics for Emerging Applications of Databases, pp. 1\u201341 (2003)","DOI":"10.1007\/978-3-642-18690-5_1"},{"key":"3_CR45","doi-asserted-by":"crossref","unstructured":"Maier, D., Mendelzon, A.O., Sagiv, Y.: Testing implications of data dependencies (abstract). In: SIGMOD Conference, p. 152 (1979)","DOI":"10.1145\/582095.582119"},{"key":"3_CR46","doi-asserted-by":"crossref","unstructured":"Marian, A., Sim\u00e9on, J.: Projecting XML documents. In: VLDB 2003(2003)","DOI":"10.1016\/B978-012722442-8\/50027-6"},{"key":"3_CR47","unstructured":"Murata, M., Lee, D., Mani, M.: Taxonomy of xml schema languages using formal language theory. In: Extreme Markup Languages (2001)"},{"key":"3_CR48","doi-asserted-by":"crossref","unstructured":"Popa, L., Deutsch, A., Sahuguet, A., Tannen, V.: A chase too far? In: SIGMOD Conference, pp. 273\u2013284 (2000)","DOI":"10.1145\/342009.335421"},{"key":"3_CR49","unstructured":"Raggett, D.: Assertion Grammar, http:\/\/www.w3.org\/People\/Raggett\/dtdgen\/Docs\/"},{"key":"3_CR50","unstructured":"Ramakrishnan, R., Gehrke, J.: Database Management Systems. McGraw-Hill Science\/Engineering\/Math (2002)"},{"key":"3_CR51","doi-asserted-by":"crossref","unstructured":"Thalheim, B.: Dependencies in Relational Databases. Teubner Verlagsgesellschaft, Stuttgart and Leipnitz (1991)","DOI":"10.1007\/978-3-663-12018-6"},{"key":"3_CR52","unstructured":"Thompson, H.S., Beech, D., Maloney, M., Mendelsohn, N.: XML Schema Part 1: Structures Second Edition. Technical report, World Wide Web Consortium, W3C Recommendation (October 2004)"}],"container-title":["Lecture Notes in Computer Science","Semantics in Data and Knowledge Bases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23441-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T21:32:03Z","timestamp":1560461523000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23441-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642234408","9783642234415"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23441-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}