Author:
Martens Wim,Neven Frank,Gyssens Marc
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference35 articles.
1. Typechecking XML views of relational databases;Alon;ACM Transactions on Computational Logic,2003
2. XML with data values: typechecking revisited;Alon;Journal of Computer and System Sciences,2003
3. Incremental validation of XML documents;Balmin;ACM Transactions on Database Systems,2004
4. V. Benzaken, A. Frisch, G. Castagna, CDuce: an XML-centric general-purpose language, in: Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming (ICFP 2003), ACM Press, New York, 2003, pp. 51–63.
5. A formal model for an expressive fragment of XSLT;Bex;Information Systems,2002
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Static Analysis of Graph Database Transformations;Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2023-06-18
2. Editorial;Theoretical Computer Science;2021-05
3. Bottom-up unranked tree-to-graph transducers for translation into semantic graphs;Theoretical Computer Science;2021-05
4. Deciding definability by deterministic regular expressions;Journal of Computer and System Sciences;2017-09
5. Look-ahead removal for total deterministic top-down tree transducers;Theoretical Computer Science;2016-02