Abstract
One of the challenges in Web development is to achieve a good level of quality in terms of code size and runtime performance for popular domain-specific languages such as XQuery, XSLT, and XML Schema. We present the first IDE augmented with static detection of inconsistent XPath expressions that assists the programmer with simplifying development and debugging of any application involving XPath expressions. The tool is based on newly developed formal verification techniques based on expressive modal logics, which are now mature enough to be introduced in the process of software development. We further develop this idea in the context of XQuery for which we introduce an analysis for identifying and eliminating dead code automatically. This proof of concept aims at illustrating the benefits of equipping modern IDEs with reasoning capabilities.
- Amer-Yahia, S., Cho, S., Lakshmanan, L. V. S., and Srivastava, D. 2001. Minimization of tree pattern queries. SIGMOD Record 30, 2, 497--508. Google Scholar
Digital Library
- Barcenas, E., Genevès, P., Layaïda, N., and Schmitt, A. 2011. Query reasoning on trees with types, interleaving and counting. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI’11). 718--723. Google Scholar
Digital Library
- Benedikt, M., Fan, W., and Geerts, F. 2008. XPath satisfiability in the presence of DTDs. J. ACM 55, 2, 8:1--8:79. Google Scholar
Digital Library
- Benzaken, V., Castagna, G., Colazzo, D., and Nguyên, K. 2006. Type-based XML projection. In Proceedings of the 32nd International Conference on Very Large Data Bases (VLDB’06). VLDB Endowment, 271--282. Google Scholar
Digital Library
- Berglund, A., Boag, S., Chamberlin, D., Fernández, M. F., Kay, M., Robie, J., and Siméon, J. 2006. XML path language (XPath) 2.0, W3C candidate recommendation. http://www.w3.org/TR/xpath20/.Google Scholar
- Boag, S., Chamberlin, D., Fernández, M. F., Florescu, D., Robie, J., and Siméon, J. 2007. XQuery 1.0: An XML query language, W3C recommendation. http://www.w3.org/TR/xquery.Google Scholar
- Chekol, M. W., Euzenat, J., Genevès, P., and Layaïda, N. 2012a. SPARQL query containment under RDFS entailment regime. In Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR). 134--148. Google Scholar
Digital Library
- Chekol, M. W., Euzenat, J., Genevès, P., and Layaïda, N. 2012b. SPARQL query containment under SHI axioms. In Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI).Google Scholar
- Clark, J. and DeRose, S. 1999. XML path language (XPath) version 1.0, W3C recommendation. http://www.w3.org/TR/1999/REC-xpath-19991116.Google Scholar
- Curino, C., Moon, H. J., Deutsch, A., and Zaniolo, C. 2013. Automating the database schema evolution process. VLDB J. 22, 1, 73--98. Google Scholar
Digital Library
- Curino, C. A., Moon, H. J., and Zaniolo, C. 2008. Graceful database schema evolution: The prism workbench. Proc. VLDB Endow. 1, 1, 761--772. Google Scholar
Digital Library
- Fallside, D. C. and Walmsley, P. 2004. XML Schema part 0: Primer second edition, W3C recommendation. http://www.w3.org/TR/xmlschema-0/.Google Scholar
- Fourny, G., Kossmann, D., Kraska, T., Pilman, M., and Florescu, D. 2008. XQuery in the browser. In Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD’08). ACM, New York, NY, 1337--1340. Google Scholar
Digital Library
- Genevès, P. and Layaïda, N. 2006. A system for the static analysis of XPath. ACM Trans. Inform. Syst. 24, 4, 475--502. Google Scholar
Digital Library
- Genevès, P. and Layaïda, N. 2010a. Eliminating dead-code from XQuery programs. In Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE’10), vol. 2. ACM, New York, NY, 305--306. Google Scholar
Digital Library
- Genevès, P. and Layaïda, N. 2010b. XML reasoning made practical. In Proceedings of the 26th International Conference on Data Engineering (ICDE’10). IEEE, 1169--1172.Google Scholar
- Genevès, P. and Layaïda, N. 2011a. Inconsistent path detection for XML IDEs. In Proceeding of the 33rd International Conference on Software Engineering (ICSE’11). ACM, New York, NY, 983--985. Google Scholar
Digital Library
- Genevès, P. and Layaïda, N. 2011b. Video demo. http://www.youtube.com/watch?v=uCFpxTEjj7g.Google Scholar
- Genevès, P., Layaïda, N., and Quint, V. 2009. Identifying query incompatibilities with evolving XML schemas. In Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming (ICFP’09). ACM, New York, NY, 221--230. Google Scholar
Digital Library
- Genevès, P., Layaïda, N., and Quint, V. 2011. Impact of XML schema evolution. ACM Trans. Internet Technol. 11, 4:1--4:27. Google Scholar
Digital Library
- Genevès, P., Layaïda, N., and Quint, V. 2012. On the analysis of cascading style sheets. In Proceedings of the 21st World Wide Web Conference (WWW’12). 809--818. Google Scholar
Digital Library
- Genevès, P., Layaïda, N., and Schmitt, A. 2007. Efficient static analysis of XML paths and types. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI’07). ACM, New York, NY, 342--351. Google Scholar
Digital Library
- Genevès, P., Layaïda, N., and Schmitt, A. 2008. Efficient static analysis of XML paths and types (extended version). Res. rep. 6590, INRIA. July.Google Scholar
- Genevès, P. and Vion-Dury, J.-Y. 2004. Logic-based XPath optimization. In Proceedings of the ACM Symposium on Document Engineering (DocEng’04). ACM Press, NY, 211--219. Google Scholar
Digital Library
- Gesbert, N., Genevès, P., and Layaïda, N. 2011. Parametric polymorphism and semantic subtyping: The logical connection. In Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP’11). 107--116. Google Scholar
Digital Library
- Hopcroft, J. E., Motwani, R., Rotwani, and Ullman, J. D. 2000. Introduction to Automata Theory, Languages and Computability. Addison-Wesley Longman Publishing Co., Inc., Boston, MA. Google Scholar
Digital Library
- Hoschka, P. 1998. Synchronized multimedia integration language (SMIL) 1.0 specification, W3C recommendation. http://www.w3.org/TR/REC-smil/.Google Scholar
- Marian, A. and Siméon, J. 2003. Projecting XML documents. In Proceedings of the 29th International Conference on Very Large Data Bases (VLDB’03), vol 29. VLDB Endowment, 213--224. Google Scholar
Digital Library
- Marx, M. 2004. Conditional XPath, the first order complete XPath dialect. In Proceedings of the 23rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS’04). ACM, New York, NY, 13--22. Google Scholar
Digital Library
- Miklau, G. and Suciu, D. 2004. Containment and equivalence for a fragment of XPath. J. ACM 51, 1, 2--45. Google Scholar
Digital Library
- Murata, M., Lee, D., Mani, M., and Kawaguchi, K. 2005. Taxonomy of XML schema languages using formal language theory. ACM Trans. Internet Technol. 5, 4, 660--704. Google Scholar
Digital Library
- Termehchy, A., Winslett, M., Chodpathumwan, Y., and Gibbons, A. 2012. Design independent query interfaces. IEEE Trans. Knowl. Data Eng. 24, 10, 1819--1832. Google Scholar
Digital Library
- Truong, B. Q., Bhowmick, S. S., and Dyreson, C. 2012. Sinbad: Towards structure-independent querying of common neighbors in XML databases. In Proceedings of the 17th International Conference on Database Systems for Advanced Applications (DASFAA’12). Springer-Verlag, Berlin, Heidelberg, 156--171. Google Scholar
Digital Library
- Veillard, D. 2013. Libxml2. http://www.xmlsoft.org/.Google Scholar
- Wadler, P. 2000. Two semantics for XPath. Internal Technical Note of the W3C XSL Working Group, http://homepages.inf.ed.ac.uk/wadler/papers/xpath-semantics/xpath-semantics.pdf.Google Scholar
- Xalan. 2013. Apache foundation Xalan-C++. http://xml.apache.org/xalan-c/.Google Scholar
- XQDT. 2011. XQDT: XQuery development tools. http://wiki.eclipse.org/XQDT.Google Scholar
Index Terms
Equipping IDEs with XML-Path Reasoning Capabilities
Recommendations
An XML Schema integration and query mechanism system
The availability of large amounts of heterogeneous distributed web data necessitates the integration of XML data from multiple XML sources for many reasons. For example, currently, there are many e-commerce companies, which offer similar products but ...
An Efficient Schema-Based Technique for Querying XML Data
As data integration over the Web has become an increasing demand, there is a growing desire to use XML as a standard format for data exchange. For sharing their grammars efficiently, most of the XML documents in use are associated with a document ...
Universal fuzzy system representation with XML
An XML schema and an XML DTD (Document Type Definition) are designed as syntax to represent general fuzzy systems in XML. We demonstrate how fuzzy systems described in XML with our proposed schema can be universally compatible with different software by ...






Comments