{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:40:52Z","timestamp":1725486052893},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540414810"},{"type":"electronic","value":"9783540445432"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44543-9_12","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T14:23:52Z","timestamp":1181226232000},"page":"184-207","source":"Crossref","is-referenced-by-count":9,"title":["Union Types for Semistructured Data"],"prefix":"10.1007","author":[{"given":"Peter","family":"Buneman","sequence":"first","affiliation":[]},{"given":"Benjamin","family":"Pierce","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,4,13]]},"reference":[{"issue":"4","key":"12_CR1","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1145\/32204.32205","volume":"12","author":"Serge Abiteboul and Richard Hull. IFO","year":"1987","unstructured":"Serge Abiteboul and Richard Hull. IFO: A formal semantic database model. ACM Transactions on Database Systems, 12(4):525\u2013565, December 1987. 188","journal-title":"ACM Transactions on Database Systems"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Alin Deutsch and Mary Fernandez and Dan Suciu. Storing semistructured data with STORED. In Proceedings of ACM SIGMOD International Conference on Management of Data, June 1999. 185, 206","DOI":"10.1145\/304182.304220"},{"issue":"1","key":"12_CR3","first-page":"185","volume":"1","author":"S. Abiteboul","year":"1996","unstructured":"S. Abiteboul, D. Quass, J. McHugh, J. Widom, and J. Wiener. The lorel query language for semistructured data. Journal on Digital Libraries, 1(1), 1996. 185, 187","journal-title":"Journal on Digital Libraries"},{"issue":"2","key":"12_CR4","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1006\/inco.1995.1086","volume":"119","author":"F. Barbanera","year":"1995","unstructured":"Franco Barbanera, Mariangiola Dezani-Ciancaglini, and Ugo de\u2019Liguoro. Intersection and union types: Syntax and semantics. Information and Computation, 119(2):202\u2013230, June 1995. 188","journal-title":"Information and Computation"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"P. Buneman, S. Davidson, M. Fernandez, and D. Suciu. Adding structure to unstructured data. In Proc. ICDT, 1997. 206","DOI":"10.1007\/3-540-62222-5_55"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"P. Buneman, S. Davidson, G. Hillebrand, and D. Suciu. A query language and optimization techniques for unstructured data.In ACM-SIGMOD, pages 505\u2013516, 1996. 185, 187, 188","DOI":"10.1145\/233269.233368"},{"issue":"1","key":"12_CR7","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/181550.181564","volume":"23","author":"P. Buneman","year":"1994","unstructured":"P. Buneman, L. Libkin, D. Suciu, V. Tannen, and L. Wong. Comprehension syntax. SIGMOD Record, 23(1):87\u201396, March 1994. 186, 188, 189, 190","journal-title":"SIGMOD Record"},{"issue":"1","key":"12_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(95)00024-Q","volume":"149","author":"P. Buneman","year":"1995","unstructured":"Peter Buneman, Shamim Naqvi, Val Tannen, and Limsoon Wong. Principles of programming with complex objects and collection types. Theoretical Computer Science, 149(1):3\u201348, September 1995. 190","journal-title":"Theoretical Computer Science"},{"key":"12_CR9","unstructured":"L. Cardelli. Amber. In B. Robinet G. Cousineau, P.L. Curien, editor, Combinators and Functional programming languages, page 1986. Springer-Verlag, New-York. 205"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"M. Consens and T. Milo. Optimizing queries on files. In Proc. ACM Sigmod, Minneapolis, 1994. 188","DOI":"10.1145\/191839.191898"},{"key":"12_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1007\/3-540-57887-0_121","volume-title":"Theoretical Aspects of Computer Software","author":"F. M. Damm","year":"1994","unstructured":"Flemming M. Damm. Subtyping with union types, intersection types and recursive types. In Masami Hagiya and John C. Mitchell, editors, Theoretical Aspects of Computer Software, volume 789of Lecture Notes in Computer Science, pages 687\u2013706. Springer-Verlag, April1994. 188"},{"issue":"1-2","key":"12_CR12","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/S0304-3975(96)80703-1","volume":"170","author":"M. Dezani-Ciancaglini","year":"1996","unstructured":"M. Dezani-Ciancaglini, U. de\u2019Liguoro, and A. Piperno. Filter models for conjunctive-disjunctive \u03bb-calculi. Theoretical Computer Science, 170(1-2):83\u2013128, December 1996. 188","journal-title":"Theoretical Computer Science"},{"key":"12_CR13","unstructured":"A. Deutsch, M. Fernandez, D. Florescu, A. Levy, and D. Suciu. Xml-ql: A query language for xml. http:\/\/www.w3.org\/TR\/NOTE-xml-ql . 185, 188, 206"},{"key":"12_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1007\/3-540-54415-1_71","volume-title":"Theoretical Aspects of Computer Software (Sendai, Japan)","author":"S. Hayashi","year":"1991","unstructured":"Susumu Hayashi. Singleton, union and intersection types for program extraction. In T. Ito and A. R. Meyer, editors, Theoretical Aspects of Computer Software (Sendai, Japan), number 526 in Lecture Notes in Computer Science, pages 701\u2013730. Springer-Verlag, September 1991. Full version in Information and Computation, 109(1\/2):174\u2013210, 1994. 188"},{"issue":"2","key":"12_CR15","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1145\/174652.174659","volume":"41","author":"A. J. Kfoury","year":"1994","unstructured":"A. J. Kfoury, J. Tiuryn, and P. Urzyczyn. An analysis of ML typability. Journal of the ACM, 41(2):368\u2013398, March 1994. 205","journal-title":"Journal of the ACM"},{"key":"12_CR16","unstructured":"S. Nestorov, S. Abiteboul, and R. Motwani. Inferring structure in semistructured data. In Proceedings of the Workshop on Management of Semi-structured Data, 1997. Available from http:\/\/www.research.att.com\/~suciu\/workshop-papers.html. 185, 206"},{"key":"12_CR17","unstructured":"Benjamin C. Pierce. Programming with intersection types, union types, and polymorphism. Technical Report CMU-CS-91-106, Carnegie Mellon University, February 1991. 188"}],"container-title":["Lecture Notes in Computer Science","Research Issues in Structured and Semistructured Database Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44543-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T16:26:25Z","timestamp":1556468785000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44543-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540414810","9783540445432"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-44543-9_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}