Efficient inclusion for a class of XML types with interleaving and counting

Information Systems

Volumn 34, Issue 7, 2009, Pages 643-656

  Colazzo, Dario ^a   Ghelli, Giorgio ^b   Sartiani, Carlo ^b  

^a UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

Regular expressions; Subtyping; XML; XML Schema

Indexed keywords

POLYNOMIAL APPROXIMATION;

CONTENT MODEL; KLEENE STAR; POLYNOMIAL-TIME; QUADRATIC ALGORITHMS; REGULAR EXPRESSIONS; SINGLE ELEMENT; SUBTYPINGS; XML SCHEMAS;

XML;

EID: 67649616527     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.is.2008.10.001     Document Type: Article

References (13)

1. W. Gelade, W. Martens, F. Neven, Optimizing schema languages for XML: numerical constraints and interleaving, in: T. Schwentick, D. Suciu (Eds.), Proceedings of the 11th International Conference on Database Theory-ICDT 2007, Barcelona, Spain, Lecture Notes in Computer Science, vol. 4353, Springer, Berlin, January 10-12, 2007.
2. Mayer A.J., and Stockmeyer L.J. Word problems-this time with interleaving. Inf. Comput. 115 2 (1994) 293-311
3. G.J. Bex, F. Neven, J.V. den Bussche, DTDs versus XML Schema: a practical study, in: Proceedings of the Seventh International Workshop on the Web and Databases, WebDB 2004, Maison de la Chimie, Paris, France, Colocated with ACM SIGMOD/PODS 2004, June 17-18, 2004.
4. G.J. Bex, F. Neven, T. Schwentick, K. Tuyls, Inference of concise DTDs from XML data, in: U. Dayal, K.-Y. Whang, D.B. Lomet, G. Alonso, G.M. Lohman, M.L. Kersten, S.K. Cha, Y.-K. Kim (Eds.), Proceedings of the 32nd International Conference on Very Large Data Bases, Seoul, Korea, ACM, New York, September 12-15, 2006.
5. S. Amer-Yahia, S. Cho, L.V.S. Lakshmanan, D. Srivastava, Minimization of tree pattern queries, in: Proceedings of the 2001 ACM SIGMOD International Conference on Management of Data, Santa Barbara, CA, May 21-24, 2001.
6. H.S. Thompson, D. Beech, M. Maloney, N. Mendelsohn, XML Schema Part 1: structures second edition, Technical Report, World Wide Web Consortium, W3C Recommendation, October 2004.
7. G. Ghelli, D. Colazzo, C. Sartiani, Linear time membership for a class of XML types with interleaving and counting, in: PLAN-X 2008, Programming Language Technologies for XML, An ACM SIGPLAN Workshop Colocated with POPL 2008, San Francisco, CA, USA, January 9, 2008.
8. W. Martens, F. Neven, T. Schwentick, Complexity of decision problems for simple regular expressions, in: J. Fiala, V. Koubek, J. Kratochvíl (Eds.), Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS 2004, Prague, Czech Republic, Lecture Notes in Computer Science, vol. 3153, Springer, Berlin, August 22-27, 2004.
9. P.T. Wood, Containment for XPath fragments under DTD constraints, in: D. Calvanese, M. Lenzerini, R. Motwani (Eds.), Proceedings of the 9th International Conference on Database Theory-ICDT 2003, Siena, Italy, Lecture Notes in Computer Science, vol. 2572, Springer, Berlin, January 8-10, 2003.
10. G. Ghelli, D. Colazzo, C. Sartiani, Efficient inclusion for a class of XML types with interleaving and counting, in: M. Arenas, M.I. Schwartzbach (Eds.), Proceedings of the 11th International Symposium on Database Programming Languages, DBPL 2007, Vienna, Austria, Revised Selected Papers, Lecture Notes in Computer Science, vol. 4797, Springer, Berlin, September 23-24, 2007.
11. M.A. Bender, M. Farach-Colton, The LCA problem revisited, in: G.H. Gonnet, D. Panario, A. Viola (Eds.), LATIN, Lecture Notes in Computer Science, vol. 1776, Springer, Berlin, 2000.
12. J.N. Foster, B.C. Pierce, A. Schmitt, A logic your typechecker can count on: unordered tree types in practice, in: Workshop on Programming Language Technologies for XML (PLAN-X), Informal Proceedings, 2007.
13. D. Barbosa, A.O. Mendelzon, L. Libkin, L. Mignet, M. Arenas, Efficient incremental validation of XML documents, in: Proceedings of the 20th International Conference on Data Engineering, ICDE 2004, Boston, MA, USA, IEEE Computer Society, Silver Spring, MD, 30 March-2 April 2004.