Typechecking for semistructured data

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2397, Issue , 2002, Pages 1-20

  Suciu, Dan ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84943621951     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46093-4_1     Document Type: Conference Paper

References (24)

1. S. Abiteboul, P. Buneman, and D. Suciu. Data on the Web: From Relations to Semistructured Data and XML. Morgan Kaufmann, 1999.
2. N. Alon, T. Milo, F. Neven, D. Suciu, and V. Vianu. Typechecking XML views of relational databases. In LICS, pages 421–430, 2001.
3. N. Alon, T. Milo, F. Neven, D. Suciu, and V. Vianu. XML with data values: Typechecking revisited. In PODS, pages 138–149, 2001.
4. Peter Buneman, Susan Davidson, Mary Fernandez, and Dan Suciu. Adding structure to unstructured data. In Proceedings of the International Conference on Database Theory, pages 336–350, Deplhi, Greece, 1997. Springer Verlag.
5. A. Brown, M. Fuchs, J. Robie, and P. Wadler. MSL: A model for W3C XML Schema. In Proceedings of WWW10, Hong Kong, May 1984.
6. A. Bruggemann-Klein, M. Murata, and D. Wood. Regular tree languages over non-ranked alphabets, 1998. Available at ftp://ftp11.informatik.tu-muenchen.de/pub/misc/caterpillars/.
7. D. Beech, S. Lawrence, M. Maloney, N. Mendelsohn, and H. Thompson. Xml schema part 1: Structures, May 1999. http://www.w3.org/TR/xmlschema-1/.
8. Catriel Beeri and Tova Milo. Schemas for integration and translation of structured and semi-structured data. In Proceedings of the International Conference on Database Theory, pages 296–313, 1999.
9. G. J. Bex, S. Maneth, and F. Neven. A formal model for an expressive fragment of XSLT. In Lloyd et al., editor, Computational Logic – CL 2000, volume 1861 of Lecture Notes in Artificial Intelligence, pages 1137–1151. Springer, 2000.
10. G. J. Bex, S. Maneth, and F. Neven. A formal model for an expressive fragment of XSLT, 2000. To appear in Information Systems. Con98. World Wide Web Consortium. Extensible markup language (xml) 1.0, 1998. http://www.w3.org/TR/REC-xml.
11. P. Fankhauser, M. Fernandez, A. Malhotra, M. Rys, J. Simeon, and P. Wadler. XQuery 1.0 formal semantics, 2001. available from the W3C, http://www.w3.org/TR/query-semantics.
12. M. Fernandez, D. Suciu, and W. Tan. SilkRoute: trading between relations and XML. In Proceedings of the WWW9, pages 723–746, Amsterdam, 2000.
13. Roy Goldman and Jennifer Widom. DataGuides: enabling query formulation and optimization in semistructured databases. In Proceedings of Very Large Data Bases, pages 436–445, September 1997.
14. Haruo Hosoya and Benjamin C. Pierce. XDuce: An XML processing language (preliminary report). In WebDB’2000, pages 226–244, 2000. http://www.research.att.com/conf/webdb2000/.
15. Haruo Hosoya and Benjamin C. Pierce. Regular expression pattern matching for xml. In ACM SIGPLAN, SIGACT Symposium on Principles of Programming Languages (POPL), pages 67–80, January 2001.
16. John C. Mitchell. Foundations for Programmng Languages. MIT Press, 1996.
17. T. Milo, D. Suciu, and V. Vianu. Typechecking for XML transformers. In Proceedings of the ACM Symposium on Principles of Database Systems, pages 11–22, Dallas, TX, 2000.
18. Makoto Murata. Transformation of documents and schemas by patterns and contextual conditions. In C. Nicholas and D. Wood, editors, Proceedings of Third International Workshop on Principles of Document Processing (PODP), pages 153–169, Palo Alto, CA, September 1996.
19. Y. Papakonstantinou and V. Vianu. DTD inference for views of XML data. In Proceedings of PODS, pages 35–46, Dallas, TX, 2000.
20. Helmut Seid. Deciding equivalence of finite tree automata. SIAM J. Comput, 19(3):424–437, 1990.
21. J. Shanmugasundaram, E. Shekita, R. Barr, M. Carey, B. Lindsay, H. Pirahesh, and B. Reinwald. Efficiently publishing relational data as xml documents. In Proceedings of VLDB, pages 65–76, Cairo, Egipt, September 2000.
22. Val Tannen. Personal communication, 2001.
23. W. Thomas. Automata on infinite objects. In Formal Models and Semantics, volume B of Handbook of Theoretical Computer Science, chapter 4, pages 133–192. Elsevier, Amsterdam, 1990.
24. Phil Wadler. Personal communication, 2001.