FLUX: FunctionaL Updates for XML

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2008, Pages 3-14

  Cheney, James ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Static analysis; Type systems; Update languages; XML

Indexed keywords

CODE ANALYSIS; FUNCTIONAL PROGRAMMING LANGUAGES; LANGUAGE DESIGNS; OPERATIONAL SEMANTICS; RECURSION; RECURSIVE TYPES; REGULAR EXPRESSIONS; SOURCE LANGUAGES; STATIC TYPE SYSTEMS; SUB-EXPRESSIONS; TYPE ERRORS; TYPE SYSTEMS; UPDATE LANGUAGES; XML DATABASE; XML UPDATES;

CODES (SYMBOLS); COMPUTABILITY AND DECIDABILITY; COMPUTER PROGRAMMING; ERROR ANALYSIS; ERRORS; FUNCTIONAL PROGRAMMING; HIGH LEVEL LANGUAGES; INFORMATION THEORY; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; MARKUP LANGUAGES; PROGRAMMING THEORY; STATIC ANALYSIS; XML;

QUERY LANGUAGES;

EID: 59249083340     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1411204.1411209     Document Type: Conference Paper

References (34)

1. A. Balmin, Y. Papakonstantinou, and V. Vianu. Incremental validation of XML documents. ACM Transactions on Database Systems, 29(4):710-751, 2004.
2. D. Barbosa, A. O. Mendelzon, L. Libkin, L. Mignet, and M. Arenas. Efficient incremental validation of XML documents. In ICDE, pages 671-682. IEEE Computer Society, 2004.
3. Michael Benedikt, Angela Bonifati, Sergio Flesca, and Avinash Vyas. Verification of tree updates for optimization. In Kousha Etessami and Sriram K. Rajamani, editors, CAV, volume 3576 of Lecture Notes in Computer Science, pages 379-393. Springer, 2005a.
4. Michael Benedikt, Angela Bonifati, Sergio Flesca, and Avinash Vyas. Adding updates to XQuery: Semantics, optimization, and static analysis. In Daniela Florescu and Hamid Pirahesh, editors, XIME-P, 2005b.
5. Véronique Benzaken, Giuseppe Castagna, and Alain Frisch. CDuce: an XML-centric general-purpose language. In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, pages 51-63, New York, NY, USA, 2003. ACM. Press.
6. Geert Jan Bex, Frank Neven, and Jan Van den Bussche. DTDs versus XML schema: a practical study. In WebDB '04: Proceedings of the 7th International Workshop on the Web and Databases, pages 79-84, New York, NY, USA, 2004. ACM Press.
7. Peter Buneman, Shamim A. Naqvi, Val Tannen, and Limsoon Wong. Principles of programming with complex objects and collection types. Theor. Comp. Sci., 149(1):3-48, 1995.
8. Cristiano Calcagno, Philippa Gardner, and Uri Zarfaty. Context logic and tree update. In Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2005), pages 271-282, New York, NY, USA, 2005. ACM.
9. Don Chamberlin and Jonathan Robie. XQuery update facility requirements. W3C Candidate Recommendation, March 2008. http://www.w3.org/TR/xquery-update-10- requirements/.
10. Don Chamberlin, Mike Carey, Daniela Florescu, Donald Kossmann, and Jonathan Robie. XQueryP: Programming with XQuery. In XIME-P, 2006.
11. Don Chamberlin, Daniela Florescu, Jim Melton, Jonathan Robie, and Jérôme Simeon. XQuery update facility. W3C Candidate Recommendation, March 2008. http : //www. w3c.org/TR/xquery-update-10/.
12. James Cheney. Lux: A lightweight, statically typed XML update language. In PLAN-X, pages 25-36, 2007.
13. James Cheney. Regular expression subtyping for XML query and update languages. In Proceedings of the 17th European Symposium on Programming (ESOP 2008), number 4960 in LNCS, pages 32-46, 2008a.
14. James Cheney. Flux: Functional updates for XML. Technical Report arXiv:0807.1211vl, arXiv.org, 2008b.
15. Byron Choi. What are real DTDs like? In WebDB, pages 43-48, 2002.
16. J. Clark. XSL transformations (XSLT). W3C Recommendation, November 1999. http://www.w3.org/TR/xslt.
17. Dario Colazzo, Giorgio Ghelli, Paolo Manghi, and Carlo Sartiani. Static analysis for path correctness of XML queries. J. Funct Program., 16 (4-5):621-661, 2006.
18. Denise Draper, Peter Fankhauser, Mary Fernández, Ashok Malhotra, Kristofter Rose, Michael Rys, Jérôme Simeon, and Philip Wadler. XQuery 1.0 and XPath. 2.0 formal semantics. W3C Recommendation, January 2007. http : //www. w3.org/TR/xquery-semantics/.
19. Mary F. Fernandez, Jérôme Simeon, and Philip Wadler. A semi-monad for semi-structured data. In Proceedings of the 8th International Conference on Database Theory (ICDT 2001), pages 263-300, London, UK, 2001. Springer-Verlag.
20. Alain Frisch. OCaml + XDuce. In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming, pages 192-200, New York, NY, USA, 2006. ACM Press.
21. Vladimir Gapeyev, François Garillot, and Benjamin C. Pierce. Statically typed document transformation: An Xtatic experience. In Giuseppe Castagna and Mukund Raghavachari, editors, PLAN-X, pages 2-13. BRICS, 2006.
22. Philippa Gardner, Gareth Smith, Mark Wheelhouse, and Uri Zarfaty. Local hoare reasoning about DOM. In Proceedings of the 2008 Symposium on Principles of Database Systems (PODS 2008), pages 261-270, 2008.
23. G. Ghelli, K. Rose, and J. Siméon. Commutativity analysis in XML update languages. In Dan Suciu and Thomas Schwentick, editors, Proceedings of the 11th International Conference on Database Theory (ICDT 2007), pages 374-388, January 2007a.
24. Giorgio Ghelli, Christopher Re, and Jérôme Simeon. XQuery!: An XML query language with side effects. In EDBT Workshops, volume 4254 of Lecture Notes in Computer Science, pages 178-191. Springer, 2006.
25. Giorgio Ghelli, Nicola Onose, Kristoffer Rose, and Jérôme Simeon. A better semantics for XQuery with side-effects. In Marcelo Arenas and Michael I. Schwartzbach, editors, DBPL, volume 4797 of Lecture Notes in Computer Science, pages 81-96. Springer, 2007b.
26. Haruo Hosoya and Benjamin C. Pierce. XDuce: A statically typed XML processing language. ACM Trans. Internet Technology, 3(2): 117-148, 2003.
27. Haruo Hosoya, Jérôme Vouillon, and Benjamin C. Pierce. Regular expression types for XML. ACM Trans. Program. Lang. Syst., 27(1):46-90, 2005.
28. John Hughes. Generalising monads to arrows. Sei. Comput. Program., 37 (1-3):67-111, 2000.
29. Andreas Laux and Lars Martin. XUpdate - XML update language, http ://xmldb-org.sourceforge.net/xupdate/-xupdate-wd.html, September 2000. Work in progress.
30. Hartmut Liefke and Susan B. Davidson. Specifying updates in biomedical databases. In SSDBM, pages 44-53, 1999.
31. Anders Møller and Michael I. Schwartzbach. The design space of type checkers for XML transformation languages. In Proceedings of the 10th International Conference on Database Theory (ICDT 2005), pages 17-36, 2005.
32. Gargi Sur, Joachim. Hammer, and Jérôme Simeon. UpdateX - an XQuery-based language for processing updates in XML. In PLAN-X, 2004.
33. Igor Tatarinov, Zachary G. Ives, Alon Y. Halevy, and Daniel S. Weld. Updating XML. In SIGMOD Conference, pages 413-424, 2001.
34. Guoren Wang, Mengchi Liu, and Li Lu. Extending XML-RL with update. In IDEAS, pages 66-75. IEEE Computer Society, 2003.