{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:20Z","timestamp":1772163980800,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,1,23]],"date-time":"2013-01-23T00:00:00Z","timestamp":1358899200000},"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":[[2013,1,23]]},"DOI":"10.1145\/2429069.2429083","type":"proceedings-article","created":{"date-parts":[[2013,1,22]],"date-time":"2013-01-22T10:29:29Z","timestamp":1358850569000},"page":"101-114","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Static and dynamic semantics of NoSQL languages"],"prefix":"10.1145","author":[{"given":"V\u00e9ronique","family":"Benzaken","sequence":"first","affiliation":[{"name":"Universit\u00e9 Paris-Sud, Orsay, France"}]},{"given":"Giuseppe","family":"Castagna","sequence":"additional","affiliation":[{"name":"CNRS - Universit\u00e9 Paris Diderot, Sorbonne Paris Cit\u00e9, Paris, France"}]},{"given":"Kim","family":"Nguyen","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris-Sud, Orsay, France"}]},{"given":"J\u00e9r\u00f4me","family":"Sim\u00e9on","sequence":"additional","affiliation":[{"name":"IBM Watson Research, Hawthorne, NY, USA"}]}],"member":"320","published-online":{"date-parts":[[2013,1,23]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/615224.615227"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/375551.375570"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/772062.772065"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10619-011-7082-y"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944711"},{"issue":"12","key":"e_1_3_2_2_6_1","first-page":"1272","article-title":"Jaql: A scripting language for large scale semistructured data analysis","volume":"4","author":"K.","year":"2011","unstructured":"K. Beyer phet al. Jaql: A scripting language for large scale semistructured data analysis . PVLDB , 4 ( 12 ): 1272 -- 1283 , 2011 . K. Beyer phet al. Jaql: A scripting language for large scale semistructured data analysis. PVLDB, 4(12):1272--1283, 2011.","journal-title":"PVLDB"},{"key":"e_1_3_2_2_7_1","volume-title":"W3C rec.","author":"Boag S.","year":"2007","unstructured":"S. Boag , D. Chamberlain , M. F. Fern\u00e1ndez , D. Florescu , J. Robie , and J. Sim\u00e9on . XQuery 1.0: An XML query language , W3C rec. , 2007 . S. Boag, D. Chamberlain, M. F. Fern\u00e1ndez, D. Florescu, J. Robie, and J. Sim\u00e9on. XQuery 1.0: An XML query language, W3C rec., 2007."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/181550.181564"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/800223.806779"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411210"},{"key":"e_1_3_2_2_11_1","unstructured":"H. Comon M. Dauchet R. Gilleron F. Jacquemard C. L\u00f6ding D. Lugiez S. Tison and M. Tommasi. Tree automata techniques and applications. http:\/\/www.grappa.univ-lille3.fr\/tata 2007.  H. Comon M. Dauchet R. Gilleron F. Jacquemard C. L\u00f6ding D. Lugiez S. Tison and M. Tommasi. Tree automata techniques and applications. http:\/\/www.grappa.univ-lille3.fr\/tata 2007."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/602259.602300"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01683280"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1391289.1391293"},{"key":"e_1_3_2_2_16_1","unstructured":"Jaql.texttthttp:\/\/code.google.com\/p\/jaql.  Jaql.texttthttp:\/\/code.google.com\/p\/jaql."},{"key":"e_1_3_2_2_17_1","unstructured":"JavaScript Object Notation (JSON).texttthttp:\/\/json.org\/.  JavaScript Object Notation (JSON).texttthttp:\/\/json.org\/."},{"key":"e_1_3_2_2_18_1","volume-title":"ICDT\\,'03","author":"Martens W.","year":"2002","unstructured":"W. Martens and F. Neven . Typechecking top-down uniform unranked tree transducers . In ICDT\\,'03 . Springer , 2002 . W. Martens and F. Neven. Typechecking top-down uniform unranked tree transducers. In ICDT\\,'03. Springer, 2002."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2016036.2024658"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1924421.1924436"},{"key":"e_1_3_2_2_22_1","unstructured":"Odata.texttthttp:\/\/www.odata.org\/.  Odata.texttthttp:\/\/www.odata.org\/."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/62678.62700"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/67544.66931"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034815"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376616.1376726"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1989323.1989446"},{"key":"e_1_3_2_2_28_1","unstructured":"J. Robie (editor). JSONiq. http:\/\/jsoniq.org.  J. Robie (editor). JSONiq. http:\/\/jsoniq.org."},{"key":"e_1_3_2_2_30_1","unstructured":"Squeryl: A Scala ORM and DSL for talking with Databases with minimum verbosity and maximum type safety.texttthttp:\/\/squeryl.org\/.  Squeryl: A Scala ORM and DSL for talking with Databases with minimum verbosity and maximum type safety.texttthttp:\/\/squeryl.org\/."},{"key":"e_1_3_2_2_31_1","first-page":"140","volume-title":"ICDT","author":"Tannen V.","year":"1992","unstructured":"V. Tannen , P. Buneman , and L. Wong . Naturally embedded query languages . In ICDT , pages 140 -- 154 , 1992 . V. Tannen, P. Buneman, and L. Wong. Naturally embedded query languages. In ICDT, pages 140--154, 1992."},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TENCON.1989.176921"},{"key":"e_1_3_2_2_33_1","unstructured":"Unql.texttthttp:\/\/www.unqlspec.org\/.  Unql.texttthttp:\/\/www.unqlspec.org\/."}],"event":{"name":"POPL '13: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Rome Italy","acronym":"POPL '13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2429069.2429083","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2429069.2429083","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:35:35Z","timestamp":1750221335000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2429069.2429083"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,23]]},"references-count":30,"alternative-id":["10.1145\/2429069.2429083","10.1145\/2429069"],"URL":"https:\/\/doi.org\/10.1145\/2429069.2429083","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2480359.2429083","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,1,23]]},"assertion":[{"value":"2013-01-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}