Skip to main content

Static Analysis and Query Answering for Incomplete Data Trees with Constraints

  • Chapter
In Search of Elegance in the Theory and Practice of Computation

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8000))

  • 1208 Accesses

Abstract

Data trees serve as an abstraction of XML documents: in such trees, every node comes with a label from a finite alphabet, as well as a data value from an infinite set. Incomplete data trees model XML documents with incomplete information; they may include both structural incompleteness and incompleteness of data. Here we study two basic problems for incomplete data trees under typical constraints such as keys and foreign keys. The first problem is consistency of specifications of incomplete data trees. We show that many of recently established results on consistency of constraints and schema descriptions can be transferred to the consistency of incomplete tree specifications without any increase in complexity. After that we examine query answering over incomplete data trees under constraints, and show that tractable bounds can be recovered under key constraints, but are lost under foreign keys.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Arenas, M., Fan, W., Libkin, L.: On the complexity of verifying consistency of XML specifications. SIAM J. Comput. 38, 841–880 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  2. Arenas, M., Libkin, L.: XML data exchange: consistency and query answering. Journal of the ACM 55, 2 (2008)

    Article  MathSciNet  Google Scholar 

  3. Barceló, P., Libkin, L., Poggi, A., Sirangelo, C.: XML with incomplete information. Journal of the ACM 58, 1 (2010)

    Article  Google Scholar 

  4. Barceló, P., Libkin, L., Reutter, J.: On incomplete XML documents with integrity constraints. In: AMW 2010 (2010)

    Google Scholar 

  5. Björklund, H., Martens, W., Schwentick, T.: Conjunctive query containment over trees. J. Comput. Syst. Sci. 77(3), 450–472 (2011)

    Article  MATH  Google Scholar 

  6. Bojanczyk, M.: Automata for data words and data trees. In: RTA 2010, pp. 1–4 (2010)

    Google Scholar 

  7. Bojanczyk, M., David, C., Muscholl, A., Schwentick, T., Segoufin, L.: Two-variable logic on data words. ACM Trans. Comput. Log. 12(4), 27 (2011)

    MathSciNet  Google Scholar 

  8. Bojanczyk, M., Lasota, S.: An extension of data automata that captures XPath. Logical Methods in Computer Science 8(1) (2012)

    Google Scholar 

  9. Buneman, P., Davidson, S., Fan, W., Hara, C., Tan, W.-C.: Keys for XML. Computer Networks 39(5), 473–487 (2002)

    Article  Google Scholar 

  10. Calì, A., Lembo, D., Rosati, R.: On the decidability and complexity of query answering over inconsistent and incomplete databases. In: PODS 2003, pp. 260–271 (2003)

    Google Scholar 

  11. Calvanese, D., De Giacomo, G., Lenzerini, M., Vardi, M.Y.: Regular XPath: constraints, query containment and view-based answering for XML documents. In: LID (2008)

    Google Scholar 

  12. David, C., Libkin, L., Tan, T.: Efficient reasoning about data trees via integer linear programming. ACM TODS 37(3), 19 (2012)

    Google Scholar 

  13. Fan, W., Libkin, L.: On XML integrity constraints in the presence of DTDs. Journal of the ACM 49, 368–406 (2002)

    Article  MathSciNet  Google Scholar 

  14. Figueira, D.: Forward-XPath and extended register automata on data-trees. In: ICDT 2010, pp. 231–241 (2010)

    Google Scholar 

  15. Figueira, D.: Bottom-up automata on data trees and vertical XPath. In: STACS 2011, pp. 93–104 (2011)

    Google Scholar 

  16. Gheerbrant, A., Libkin, L., Tan, T.: On the complexity of query answering over incomplete XML documents. In: ICDT 2012, pp. 169–181 (2012)

    Google Scholar 

  17. Gottlob, G., Koch, C., Schulz, K.: Conjunctive queries over trees. Journal of the ACM 53(2), 238–272 (2006)

    Article  MathSciNet  Google Scholar 

  18. Imieliński, T., Lipski, W.: Incomplete information in relational databases. Journal of the ACM 31(4), 761–791 (1984)

    Article  MATH  Google Scholar 

  19. Jan Bex, G., Neven, F., Van den Bussche, J.: DTD versus XML Schema: A Practical Study. In: WEBDB 2004, pp. 79–84 (2004)

    Google Scholar 

  20. Laender, A., Moro, M., Nascimento, C., Martins, P.: An X-Ray on Web-Available XML Schemas. SIGMOD Record 38(1), 37–42 (2009)

    Article  Google Scholar 

  21. Libkin, L., Sirangelo, C.: Reasoning about XML with temporal logics and automata. J. Applied Logic 8(2), 210–232 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  22. Martens, W., Neven, F., Schwentick, T.: Simple off the shelf abstractions for XML schema. SIGMOD Record 36(3), 15–22 (2007)

    Article  Google Scholar 

  23. Segoufin, L.: Automata and logics for words and trees over an infinite alphabet. In: Ésik, Z. (ed.) CSL 2006. LNCS, vol. 4207, pp. 41–57. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  24. Segoufin, L.: Static analysis of XML processing with data values. SIGMOD Record 36(1), 31–38 (2007)

    Article  Google Scholar 

  25. Tan, T.: An automata model for trees with ordered data values. In: LICS 2012 (2012)

    Google Scholar 

  26. Thatcher, J.W.: Characterizing derivation trees of context-free grammars through a generalization of finite automata theory. JCSS 1, 317–322 (1967)

    MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Gheerbrant, A., Libkin, L., Reutter, J. (2013). Static Analysis and Query Answering for Incomplete Data Trees with Constraints. In: Tannen, V., Wong, L., Libkin, L., Fan, W., Tan, WC., Fourman, M. (eds) In Search of Elegance in the Theory and Practice of Computation. Lecture Notes in Computer Science, vol 8000. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41660-6_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-41660-6_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-41659-0

  • Online ISBN: 978-3-642-41660-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics