{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:53Z","timestamp":1772163953868,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,9,19]],"date-time":"2004-09-19T00:00:00Z","timestamp":1095552000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2004,9,19]]},"DOI":"10.1145\/1016850.1016869","type":"proceedings-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T13:39:48Z","timestamp":1097156388000},"page":"126-137","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Types for path correctness of XML queries"],"prefix":"10.1145","author":[{"given":"Dario","family":"Colazzo","sequence":"first","affiliation":[{"name":"Universit\u00e0 di Pisa, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giorgio","family":"Ghelli","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Pisa, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Manghi","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Pisa, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo","family":"Sartiani","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Pisa, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2004,9,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s007990050005"},{"key":"e_1_3_2_1_2_1","first-page":"421","volume-title":"Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts, USA, Proceedings. IEEE Computer Society, 2001","author":"Alon N.","year":"2001","unstructured":"N. Alon , T. Milo , F. Neven , D. Suciu , and V. Vianu . Type-checking XML Views of Relational Databases . In Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts, USA, Proceedings. IEEE Computer Society, 2001 , pages 421 -- 430 , 2001 . N. Alon, T. Milo, F. Neven, D. Suciu, and V. Vianu. Type-checking XML Views of Relational Databases. In Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts, USA, Proceedings. IEEE Computer Society, 2001, pages 421--430, 2001."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/375551.375570"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944711"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of 20th Bases de Donn\u00e9es Avanc\u00e9es (BDA) (2004)","author":"Benzaken V.","year":"2004","unstructured":"V. Benzaken , G. Castagna , and C. Miachon . CQL: a Pattern-based Query Language for XML . In Proceedings of 20th Bases de Donn\u00e9es Avanc\u00e9es (BDA) (2004) , 2004 . V. Benzaken, G. Castagna, and C. Miachon. CQL: a Pattern-based Query Language for XML. In Proceedings of 20th Bases de Donn\u00e9es Avanc\u00e9es (BDA) (2004), 2004."},{"key":"e_1_3_2_1_6_1","volume-title":"XQuery 1.0: An XML Query Language. Technical report","author":"Boag S.","year":"2003","unstructured":"S. Boag , D. Chamberlin , M. F. Fernandez , D. Florescu , J. Robie , and J. Sim\u00e9on . XQuery 1.0: An XML Query Language. Technical report , World Wide Web Consortium , May 2003 . W3C Working Draft. S. Boag, D. Chamberlin, M. F. Fernandez, D. Florescu, J. Robie, and J. Sim\u00e9on. XQuery 1.0: An XML Query Language. Technical report, World Wide Web Consortium, May 2003. W3C Working Draft."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/648291.754365"},{"key":"e_1_3_2_1_8_1","volume-title":"XML Query Use Cases. Technical report","author":"Chamberlin D.","year":"2003","unstructured":"D. Chamberlin , P. Fankhauser , D. Florescu , M. Marchiori , and J. Robie . XML Query Use Cases. Technical report , World Wide Web Consortium , Nov 2003 . W3C Working Draft. D. Chamberlin, P. Fankhauser, D. Florescu, M. Marchiori, and J. Robie. XML Query Use Cases. Technical report, World Wide Web Consortium, Nov 2003. W3C Working Draft."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the Fifth International Workshop on the Web and Databases (WebDB 2002","author":"Colazzo D.","year":"2002","unstructured":"D. Colazzo , G. Ghelli , P. Manghi , and C. Sartiani . Types For Correctness of Queries Over Semistructured Data . In Proceedings of the Fifth International Workshop on the Web and Databases (WebDB 2002 ), Madison, Wisconsin , June 6-7, 2002 , 2002. D. Colazzo, G. Ghelli, P. Manghi, and C. Sartiani. Types For Correctness of Queries Over Semistructured Data. In Proceedings of the Fifth International Workshop on the Web and Databases (WebDB 2002), Madison, Wisconsin, June 6-7, 2002, 2002."},{"key":"e_1_3_2_1_11_1","volume-title":"Tree Automata Techniques and Applications. Available on: http:\/\/www.grappa.univ-lille3.fr\/tata","author":"Comon H.","year":"1997","unstructured":"H. Comon , M. Dauchet , R. Gilleron , F. Jacquemard , D. Lugiez , S. Tison , and M. Tommasi . Tree Automata Techniques and Applications. Available on: http:\/\/www.grappa.univ-lille3.fr\/tata , 1997 . release October, 1rst 2002. H. Comon, M. Dauchet, R. Gilleron, F. Jacquemard, D. Lugiez, S. Tison, and M. Tommasi. Tree Automata Techniques and Applications. Available on: http:\/\/www.grappa.univ-lille3.fr\/tata, 1997. release October, 1rst 2002."},{"key":"e_1_3_2_1_12_1","volume-title":"XQuery 1.0 and XPath 2.0 Formal Semantics. Technical report","author":"Draper D.","year":"2003","unstructured":"D. Draper , P. Fankhauser , M. Fernandez , A. Malhotra , K. Rose , M. Rys , J. Sim\u00e9on , and P. Wadler . XQuery 1.0 and XPath 2.0 Formal Semantics. Technical report , World Wide Web Consortium , Aug. 2003 . W3C Working Draft. D. Draper, P. Fankhauser, M. Fernandez, A. Malhotra, K. Rose, M. Rys, J. Sim\u00e9on, and P. Wadler. XQuery 1.0 and XPath 2.0 Formal Semantics. Technical report, World Wide Web Consortium, Aug. 2003. W3C Working Draft."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/262762.262763"},{"key":"e_1_3_2_1_14_1","volume-title":"XDuce: An XML Processing Language","author":"Hosoya H.","year":"1999","unstructured":"H. Hosoya and B. C. Pierce . XDuce: An XML Processing Language , 1999 . Preliminary Report . H. Hosoya and B. C. Pierce. XDuce: An XML Processing Language, 1999. Preliminary Report."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/335168.335171"},{"key":"e_1_3_2_1_17_1","volume-title":"XML Schema Part 1: Structures. Technical report","author":"Thompson H. S.","year":"2002","unstructured":"H. S. Thompson , D. Beech , M. Maloney , and N. Mendelsohn . XML Schema Part 1: Structures. Technical report , World Wide Web Consortium , May 2002 . W3C Recommendation. H. S. Thompson, D. Beech, M. Maloney, and N. Mendelsohn. XML Schema Part 1: Structures. Technical report, World Wide Web Consortium, May 2002. W3C Recommendation."},{"key":"e_1_3_2_1_18_1","volume-title":"Extensible Markup Language (XML) 1.0","author":"Yergeau F.","year":"2004","unstructured":"F. Yergeau , T. Bray , J. Paoli , C. M. Sperberg-McQueen , and E. Maler . Extensible Markup Language (XML) 1.0 ( Third Edition). Technical report, World Wide Web Consortium , Feb 2004 . W3C Recommendation. F. Yergeau, T. Bray, J. Paoli, C. M. Sperberg-McQueen, and E. Maler. Extensible Markup Language (XML) 1.0 (Third Edition). Technical report, World Wide Web Consortium, Feb 2004. W3C Recommendation."}],"event":{"name":"ICFP04: ACM SIGPLAN International Conference on Functional Programming","location":"Snow Bird UT USA","acronym":"ICFP04","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the ninth ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1016850.1016869","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1016850.1016869","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:31:00Z","timestamp":1750249860000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1016850.1016869"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,9,19]]},"references-count":16,"alternative-id":["10.1145\/1016850.1016869","10.1145\/1016850"],"URL":"https:\/\/doi.org\/10.1145\/1016850.1016869","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1016848.1016869","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2004,9,19]]},"assertion":[{"value":"2004-09-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}