{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:52:35Z","timestamp":1750308755994,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":64,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,6,11]],"date-time":"2007-06-11T00:00:00Z","timestamp":1181520000000},"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":[[2007,6,11]]},"DOI":"10.1145\/1265530.1265551","type":"proceedings-article","created":{"date-parts":[[2007,9,14]],"date-time":"2007-09-14T16:07:37Z","timestamp":1189786057000},"page":"143-154","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["A crash course on database queries"],"prefix":"10.1145","author":[{"given":"Jan","family":"Van den Bussche","sequence":"first","affiliation":[{"name":"Hasselt University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Van Gucht","sequence":"additional","affiliation":[{"name":"Indiana University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stijn","family":"Vansummeren","sequence":"additional","affiliation":[{"name":"Hasselt University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/551350"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1060710.1060718"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/772062.772065"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(03)00032-1"},{"key":"e_1_3_2_1_5_1","volume-title":"North-Holland","author":"Barendregt Henk P.","year":"1984","unstructured":"Henk P. Barendregt . The Lambda Calculus: its Syntax and Semantics . North-Holland , 1984 . Henk P. Barendregt. The Lambda Calculus: its Syntax and Semantics. North-Holland, 1984."},{"key":"e_1_3_2_1_6_1","volume-title":"February","author":"Boag Scott","year":"2005","unstructured":"Scott Boag , Don Chamberlin , Mary F. Fern\u00e1ndez , Daniela Florescu , Jonathan Robie , and J\u00e9r\u00f4me Sim\u00e9on . X Query 1.0 : An XML Query Language. W3C Working Draft , February 2005 . Scott Boag, Don Chamberlin, Mary F. Fern\u00e1ndez, Daniela Florescu, Jonathan Robie, and J\u00e9r\u00f4me Sim\u00e9on. XQuery 1.0: An XML Query Language. W3C Working Draft, February 2005."},{"key":"e_1_3_2_1_7_1","unstructured":"Don Box and Anders Hejlsberg. The LINQ Project: .NET Language Integrated Query. http:\/\/msdn.microsoft.com\/netframework\/future\/linq\/ March 2006.  Don Box and Anders Hejlsberg. The LINQ Project: .NET Language Integrated Query. http:\/\/msdn.microsoft.com\/netframework\/future\/linq\/ March 2006."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/645502.656107"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00024-Q"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/227604.227609"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796802004598"},{"key":"e_1_3_2_1_12_1","first-page":"2208","volume-title":"The Computer Science and Engineering Handbook","author":"Cardelli Luca","year":"1997","unstructured":"Luca Cardelli . Type systems . In The Computer Science and Engineering Handbook , pages 2208 -- 2236 . CRC Press , 1997 . Luca Cardelli. Type systems. In The Computer Science and Engineering Handbook, pages 2208--2236. CRC Press, 1997."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/328921"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(93)90039-J"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582176"},{"key":"e_1_3_2_1_16_1","volume-title":"February","author":"Draper Denise","year":"2005","unstructured":"Denise Draper , Peter Fankhauser , Mary F. Fern\u00e1ndez , Ashok Malhotra , Kristoffer Rose , Michael Rys , J\u00e9r\u00f4me Sim\u00e9on , and Philip Wadler . X Query 1.0 and XPath 2.0 Formal Semantics . W3C Working Draft , February 2005 . Denise Draper, Peter Fankhauser, Mary F. Fern\u00e1ndez, Ashok Malhotra, Kristoffer Rose, Michael Rys, J\u00e9r\u00f4me Sim\u00e9on, and Philip Wadler. XQuery 1.0 and XPath 2.0 Formal Semantics. W3C Working Draft, February 2005."},{"key":"e_1_3_2_1_17_1","volume-title":"February","author":"Fern\u00e1ndez Mary F.","year":"2005","unstructured":"Mary F. Fern\u00e1ndez , Ashok Malhotra , Jonathan Marsh , Marton Nagy , and Norman Walsh . X Query 1.0 and XPath 2.0 Data Model . W3C Working Draft , February 2005 . Mary F. Fern\u00e1ndez, Ashok Malhotra, Jonathan Marsh, Marton Nagy, and Norman Walsh. XQuery 1.0 and XPath 2.0 Data Model. W3C Working Draft, February 2005."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944711"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/977401.978147"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/645923.671008"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/645923.673639"},{"key":"e_1_3_2_1_22_1","first-page":"29","article-title":"The principal type-scheme of an object in combinatory logic","volume":"146","author":"Hindley Roger","year":"1969","unstructured":"Roger Hindley . The principal type-scheme of an object in combinatory logic . Transactions of the American Mathematical Society , 146 : 29 -- 60 , December 1969 . Roger Hindley. The principal type-scheme of an object in combinatory logic. Transactions of the American Mathematical Society, 146:29--60, December 1969.","journal-title":"Transactions of the American Mathematical Society"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/767193.767195"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1053468.1053470"},{"key":"e_1_3_2_1_25_1","first-page":"146","volume-title":"Advances in Data Management '95","author":"Jain M.","year":"1995","unstructured":"M. Jain , A. Mendhekar , and D. Van Gucht . A uniform data model for relational data and meta-data query processing . In Advances in Data Management '95 , pages 146 -- 165 . Tata McGraw-Hill , 1995 . M. Jain, A. Mendhekar, and D. Van Gucht. A uniform data model for relational data and meta-data query processing. In Advances in Data Management '95, pages 146--165. Tata McGraw-Hill, 1995."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1189769.1189771"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/503099.503102"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/11901181_18"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065167.1065203"},{"key":"e_1_3_2_1_30_1","first-page":"254","volume-title":"Schwentick and Suciu {41}","author":"Maneth Sebastian","unstructured":"Sebastian Maneth , Thomas Perst , and Helmut Seidl . Exact XML type checking in polynomial time . In Schwentick and Suciu {41} , pages 254 -- 268 . Sebastian Maneth, Thomas Perst, and Helmut Seidl. Exact XML type checking in polynomial time. In Schwentick and Suciu {41}, pages 254--268."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1055558.1055563"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.10.035"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/274866"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/335168.335171"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4379(99)00033-2"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/218570.218572"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/509043"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/186677.186689"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/137097.137905"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/1203068"},{"key":"e_1_3_2_1_42_1","volume-title":"Definierbare funktionen in \u03bb-kalk\u00fcl mit typen. Archiv f\u00fcr mathematische Logik und Grundlagenforschung, 174:113--114","author":"Schwichtenberg H.","year":"1976","unstructured":"H. Schwichtenberg . Definierbare funktionen in \u03bb-kalk\u00fcl mit typen. Archiv f\u00fcr mathematische Logik und Grundlagenforschung, 174:113--114 , 1976 . H. Schwichtenberg. Definierbare funktionen in \u03bb-kalk\u00fcl mit typen. Archiv f\u00fcr mathematische Logik und Grundlagenforschung, 174:113--114, 1976."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/602259.602287"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/27629.27631"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.5555\/648294.754685"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.5555\/646190.683564"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00053-0"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.5555\/267871.267878"},{"key":"e_1_3_2_1_50_1","volume-title":"May","author":"Thompson Henry S.","year":"2001","unstructured":"Henry S. Thompson , David Beech , Murray Maloney , and Noah Mendelsohn . XML Schema Part 1: Structures. W3C Recommendation , May 2001 . Henry S. Thompson, David Beech, Murray Maloney, and Noah Mendelsohn. XML Schema Part 1: Structures. W3C Recommendation, May 2001."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1996.0040"},{"key":"e_1_3_2_1_52_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"823","DOI":"10.1007\/978-3-540-24741-8_48","volume-title":"Advances in Database Technology--EDBT","author":"den Bussche J. Van","year":"2004","unstructured":"J. Van den Bussche , S. Vansummeren , and G. Vossen . Meta-SQL: Towards practical meta-querying . In Advances in Database Technology--EDBT 2004 , volume 2992 of Lecture Notes in Computer Science , pages 823 -- 825 . Springer , 2004. J. Van den Bussche, S. Vansummeren, and G. Vossen. Meta-SQL: Towards practical meta-querying. In Advances in Database Technology--EDBT 2004, volume 2992 of Lecture Notes in Computer Science, pages 823--825. Springer, 2004."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2004.04.001"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.2001.1812"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.11.007"},{"key":"e_1_3_2_1_56_1","unstructured":"Jan Van den Bussche and Stijn Vansummeren. Polymorphic type inference for the named nested relational calculus. ACM Transactions on Computational Logic To appear.  Jan Van den Bussche and Stijn Vansummeren. Polymorphic type inference for the named nested relational calculus. ACM Transactions on Computational Logic To appear."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065167.1065173"},{"key":"e_1_3_2_1_58_1","volume-title":"On deciding well-definedness for query languages on trees. Technical report","author":"Vansummeren Stijn","year":"2005","unstructured":"Stijn Vansummeren . On deciding well-definedness for query languages on trees. Technical report , Hasselt University , 2005 . Stijn Vansummeren. On deciding well-definedness for query languages on trees. Technical report, Hasselt University, 2005."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-005-0162-6"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/800070.802186"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90050-C"},{"key":"e_1_3_2_1_62_1","first-page":"239","volume-title":"Schwentick and Suciu {41}","author":"Wieczorek Piotr","unstructured":"Piotr Wieczorek . Complexity of typechecking XML views of relational databases . In Schwentick and Suciu {41} , pages 239 -- 253 . Piotr Wieczorek. Complexity of typechecking XML views of relational databases. In Schwentick and Suciu {41}, pages 239--253."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003585"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/1071610.1071618"},{"key":"e_1_3_2_1_65_1","volume-title":"W3C Working Draft","author":"XML","year":"2003","unstructured":"XML syntax for XQuery 1.0 (XQueryX). W3C Working Draft 19 December 2003 . XML syntax for XQuery 1.0 (XQueryX). W3C Working Draft 19 December 2003."}],"event":{"name":"SIGMOD\/PODS07: International Conference on Management of Data","sponsor":["SIGMOD ACM Special Interest Group on Management of Data","ACM Association for Computing Machinery"],"location":"Beijing China","acronym":"SIGMOD\/PODS07"},"container-title":["Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1265530.1265551","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1265530.1265551","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:22:24Z","timestamp":1750278144000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1265530.1265551"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,6,11]]},"references-count":64,"alternative-id":["10.1145\/1265530.1265551","10.1145\/1265530"],"URL":"https:\/\/doi.org\/10.1145\/1265530.1265551","relation":{},"subject":[],"published":{"date-parts":[[2007,6,11]]},"assertion":[{"value":"2007-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}