{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:46:28Z","timestamp":1725493588287},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540405610"},{"type":"electronic","value":"9783540450894"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-45089-0_19","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T03:27:35Z","timestamp":1193455655000},"page":"201-212","source":"Crossref","is-referenced-by-count":7,"title":["Boolean Operations for Attribute-Element Constraints"],"prefix":"10.1007","author":[{"given":"Haruo","family":"Hosoya","sequence":"first","affiliation":[]},{"given":"Makoto","family":"Murata","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,24]]},"reference":[{"issue":"1","key":"19_CR1","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0304-3975(86)90088-5","volume":"48","author":"G. Berry","year":"1986","unstructured":"G. Berry and R. Sethi. From regular expressions to deterministic automata. Theoretical Computer Science, 48(1):117\u2013126, 1986.","journal-title":"Theoretical Computer Science"},{"key":"19_CR2","unstructured":"T. Bray, D. Hollander, A. Layman, and J. Clark. Namespaces in XML. http:\/\/www.w3.org\/TR\/REC-xml-names , 1999."},{"key":"19_CR3","unstructured":"T. Bray, J. Paoli, C. M. Sperberg-McQueen, and E. Maler. Extensible markup language (XML\u2122). http:\/\/www.w3.org\/XML\/ , 2000."},{"issue":"4","key":"19_CR4","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1145\/321239.321249","volume":"11","author":"J.A. Brzozowski","year":"1964","unstructured":"J.A. Brzozowski. Derivatives of regular expressions. Journal of the ACM, 11(4):481\u2013494, Oct. 1964.","journal-title":"Journal of the ACM"},{"key":"19_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Internet Programming Languages","author":"P. Buneman","year":"1998","unstructured":"P. Buneman and B. Pierce. Union types for semistructured data. In Internet Programming Languages, volume 1686 of Lecture Notes in Computer Science. Springer-Verlag, Sept. 1998. Proceedings of the International Database Programming Languages Workshop."},{"key":"19_CR6","unstructured":"J. Clark. TREX: Tree Regular Expressions for XML. http:\/\/www.thaiopensource.com\/trex\/ , 2001."},{"key":"19_CR7","unstructured":"J. Clark. http:\/\/www.thaiopensource.com\/relaxng\/implement.html , 2002."},{"key":"19_CR8","unstructured":"J. Clark and M. Murata. RELAX NG. http:\/\/www.relaxng.org , 2001."},{"key":"19_CR9","unstructured":"D.C. Fallside. XML Schema Part 0: Primer, W3C Recommendation. http:\/\/www.w3.org\/TR\/xmlschema-0\/ , 2001."},{"key":"19_CR10","unstructured":"P. Fankhauser, M. Fern\u00e1ndez, A. Malhotra, M. Rys, J. Sim\u00e9on, and P. Wadler. XQuery 1.0 Formal Semantics. http:\/\/www.w3.org\/TR\/query-semantics\/ , 2001."},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"A. Frisch, G. Castagna, and V. Benzaken. Semantic subtyping. In Seventeenth Annual IEEE Symposium on Logic In Computer Science, 2002.","DOI":"10.1109\/LICS.2002.1029823"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"R. Harper and B. Pierce. A recrd calculus based on symmetric concatenation. In Proceedings of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, Orlando FL, pages 131\u2013142. ACM, Jan. 1991.","DOI":"10.1145\/99583.99603"},{"key":"19_CR13","unstructured":"J. E. Hopcroft and J.D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979."},{"key":"19_CR14","unstructured":"H. Hosoya and M. Murata. Validation and boolean operations for attribute-element constraints. In Programming Languages Technologies for XML (PLANX), pages 1\u201310, 2002."},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"H. Hosoya and M. Murata. Boolean operations and inclusion test for attribute-element constraints. Full version, 2003.","DOI":"10.1007\/3-540-45089-0_19"},{"key":"19_CR16","series-title":"Lect Notes Comput Sci","first-page":"226","volume-title":"Proceedings of Third International Workshop on the Web and Databases (WebDB2000)","author":"H. Hosoya","year":"2000","unstructured":"H. Hosoya and B.C. Pierce. XDuce: A typed XML processing language (preliminary report). In Proceedings of Third International Workshop on the Web and Databases (WebDB2000), volume 1997 of Lecture Notes in Computer Science, pages 226\u2013244, May 2000."},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"H. Hosoya and B.C. Pierce. Regular expression pattern matching for XML. In The 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 67\u201380, Jan. 2001.","DOI":"10.1145\/360204.360209"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"H. Hosoya, J. Vouillon, and B.C. Pierce. Regular expression types for XML. In Proceedings of the International Conference on Functional Programming (ICFP), pages 11\u201322, Sept. 2000. Full version under submission to TOPLAS.","DOI":"10.1145\/351240.351242"},{"key":"19_CR19","unstructured":"N. Klarlund, A. M\u00f8ller, and M. I. Schwartzbach. DSD: A schema language for XML. http:\/\/www.brics.dk\/DSD\/ , 2000."},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"T. Milo, D. Suciu, and V. Vianu. Typechecking for XML transformers. In Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pages 11\u201322. ACM, May 2000.","DOI":"10.1145\/335168.335171"},{"key":"19_CR21","unstructured":"A. M\u00f8ller. Document Structure Description 2.0, December 2002. BRICS, Department of Computer Science, University of Aarhus, Notes Series NS-02-7. Available from http:\/\/www.brics.dk\/DSD\/ ."},{"key":"19_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/3-540-63620-X_61","volume-title":"Principles of Document Processing\u2019 96","author":"M. Murata","year":"1997","unstructured":"M. Murata. Transformation of documents and schemas by patterns and contextual conditions. In Principles of Document Processing\u2019 96, volume 1293 of Lecture Notes in Computer Science, pages 153\u2013169. Springer-Verlag, 1997."},{"key":"19_CR23","unstructured":"M. Murata. RELAX (REgular LAnguage description for XML). http:\/\/www.xml.gr.jp\/relax\/ , 2001."},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"A. Tozawa. Towards static type inference for XSLT. In Proceedings of ACM Symposium on Document Engineering, 2001.","DOI":"10.1145\/502188.502191"},{"key":"19_CR25","unstructured":"J. Vouillon. Interleaving types for XML. Personal communication, 2001."}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45089-0_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:08:18Z","timestamp":1556921298000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45089-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405610","9783540450894"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-45089-0_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}