{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,16]],"date-time":"2026-09-16T06:21:45Z","timestamp":1789539705592,"version":"build-2803163510"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540242888","type":"print"},{"value":"9783540305705","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30570-5_7","type":"book-chapter","created":{"date-parts":[[2010,7,4]],"date-time":"2010-07-04T14:38:07Z","timestamp":1278254287000},"page":"99-113","source":"Crossref","is-referenced-by-count":5,"title":["Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery"],"prefix":"10.1007","author":[{"given":"Jan","family":"Van den Bussche","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dirk","family":"Van Gucht","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stijn","family":"Vansummeren","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"7_CR1","volume-title":"Foundations Of Databases","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations Of Databases. Addison-Wesley, Reading (1995)"},{"issue":"3","key":"7_CR2","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1145\/772062.772065","volume":"4","author":"N. Alon","year":"2003","unstructured":"Alon, N., Milo, T., Neven, F., Suciu, D., Vianu, V.: Typechecking XML views of relational databases. ACM Transactions on Computational Logic\u00a04(3), 315\u2013354 (2003)","journal-title":"ACM Transactions on Computational Logic"},{"issue":"4","key":"7_CR3","doi-asserted-by":"publisher","first-page":"688","DOI":"10.1016\/S0022-0000(03)00032-1","volume":"66","author":"N. Alon","year":"2003","unstructured":"Alon, N., Milo, T., Neven, F., Suciu, D., Vianu, V.: XML with data values: typechecking revisited. Journal of Computer and System Sciences\u00a066(4), 688\u2013727 (2003)","journal-title":"Journal of Computer and System Sciences"},{"key":"7_CR4","unstructured":"Biron, P.V., Malhotra, A.: XML Schema Part 2: Datatypes. W3C Recommendation (May 2001)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Boag, S., Chamberlin, D., Fern\u00e1ndez, M.F., Florescu, D., Robie, J., Sim\u00e9on, J.: XQuery 1.0: An XML Query Language. W3C Working Draft (November 2003)","DOI":"10.1145\/872757.872877"},{"issue":"1","key":"7_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(95)00024-Q","volume":"149","author":"P. Buneman","year":"1995","unstructured":"Buneman, P., Naqvi, S.A., Tannen, V., Wong, L.: Principles of programming with complex objects and collection types. Theoretical Computer Science\u00a0149(1), 3\u201348 (1995)","journal-title":"Theoretical Computer Science"},{"key":"7_CR7","unstructured":"Chamberlin, D., Fankhauser, P., Florescu, D., Marchiori, M., Robie, J.: XML Query Use Cases. W3C Working Draft (November 2003)"},{"issue":"3","key":"7_CR8","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1137\/0214049","volume":"14","author":"A.K. Chandra","year":"1985","unstructured":"Chandra, A.K., Vardi, M.Y.: The implication problem for functional and inclusion dependencies is undecidable. SIAM Journal on Computing\u00a014(3), 671\u2013677 (1985)","journal-title":"SIAM Journal on Computing"},{"key":"7_CR9","unstructured":"Draper, D., Fankhauser, P., Fern\u00e1ndez, M.F., Malhotra, A., Rose, K., Rys, M., Sim\u00e9on, J., Wadler, P.: XQuery 1.0 and XPath 2.0 Formal Semantics. W3C Working Draft (February 2004)"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/s007780050082","volume":"9","author":"M.F. Fern\u00e1ndez","year":"2000","unstructured":"Fern\u00e1ndez, M.F., Florescu, D., Levy, A., Suciu, D.: Declarative specification of Web sites with Strudel. The VLDB Journal\u00a09, 38\u201355 (2000)","journal-title":"The VLDB Journal"},{"key":"7_CR11","unstructured":"Fern\u00e1ndez, M.F., Malhotra, A., Marsh, J., Nagy, M., Walsh, N.: XQuery 1.0 and XPath 2.0 Data Model. W3C Working Draft (November 2003)"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/263661.263665","volume-title":"Proceedings of the Sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of Database Systems","author":"A.Y. Levy","year":"1997","unstructured":"Levy, A.Y., Suciu, D.: Deciding containment for queries with complex objects (extended abstract). In: Proceedings of the Sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of Database Systems, pp. 20\u201331. ACM Press, New York (1997)"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/3-540-36285-1_5","volume-title":"Database Theory - ICDT 2003","author":"W. Martens","year":"2002","unstructured":"Martens, W., Neven, F.: Typechecking top-down uniform unranked tree transducers. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol.\u00a02572, pp. 64\u201378. Springer, Heidelberg (2002)"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/1055558.1055563","volume-title":"Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","author":"W. Martens","year":"2004","unstructured":"Martens, W., Neven, F.: Frontiers of tractability for typechecking simple xml transformations. In: Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 23\u201334. ACM Press, New York (2004)"},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/335168.335171","volume-title":"Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems","author":"T. Milo","year":"2000","unstructured":"Milo, T., Suciu, D., Vianu, V.: Typechecking for XML transformers. In: Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pp. 11\u201322. ACM Press, New York (2000)"},{"key":"7_CR16","unstructured":"Neven, F.: Personal communication (May 2004)"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-46093-4_1","volume-title":"Database Programming Languages","author":"D. Suciu","year":"2002","unstructured":"Suciu, D.: Typechecking for semistructured data. In: Ghelli, G., Grahne, G. (eds.) DBPL 2001. LNCS, vol.\u00a02397, pp. 1\u201320. Springer, Heidelberg (2002)"},{"key":"7_CR18","unstructured":"Thompson, H.S., Beech, D., Maloney, M., Mendelsohn, N.: XML Schema Part 1: Structures. W3C Recommendation (May 2001)"},{"key":"7_CR19","unstructured":"Wong, L.: Querying nested collections. PhD thesis, University of Pennsylvania (1994)"}],"container-title":["Lecture Notes in Computer Science","Database Theory - ICDT 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30570-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T18:32:53Z","timestamp":1685644373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30570-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540242888","9783540305705"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30570-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}