Skip to main content
SpringerLink
Log in
SpringerLink
Log in

A Logical Framework for XML Reference Specification

  • Conference paper
  • First Online:
Database and Expert Systems Applications (Globe 2015, DEXA 2015)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 9262))

Abstract

In this paper we focus on a (as much as possible) simple logic, called \({\mathsf {XHyb}}\), expressive enough to allow the specification of the most common integrity constraints in XML documents. In particular we will deal with constraints on ID and IDREF(S) attributes, which are the common way of logically connecting parts of XML documents, besides the usual containment relation of XML elements.

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

Access this chapter

Log in via an institution
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 EPUB and 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

References

  1. Blackburn, P.: Representation, reasoning, and relational structures: a hybrid logic manifesto. Logic J. IGPL 8(3), 339–365 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  2. Blackburn, P., Tzakova, M.: Hybridizing concept languages. Ann. Math. Artif. Intell. 24(1–4), 23–49 (1998)

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  4. Fan, W., Siméon, J.: Integrity constraints for XML. J. Comput. Syst. Sci. 66(1), 254–291 (2003). Special Issue on PODS 2000

    Article  Google Scholar 

  5. Fan, W.: Xml constraints: specification, analysis, and applications. In: Proceedings, DEXA, pp. 805–809 (2005)

    Google Scholar 

  6. Franceschet, M., de Rijke, M.: Model checking hybrid logics (with an application to semistructured data). J. Appl. Logic 4(3), 279–304 (2006)

    Article  MATH  Google Scholar 

  7. Marx, M.: Xpath and modal logics of finite dag’s. In: Proceedings of Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2003, Rome, Italy, 9–12 September 2003, pp. 150–164 (2003)

    Google Scholar 

  8. Rodrigues, K.R., dos Santos Mello, R.: A faceted taxonomy of semantic integrity constraints for the XML data model. In: Wagner, R., Revell, N., Pernul, G. (eds.) DEXA 2007. LNCS, vol. 4653, pp. 65–74. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  9. van der Vlist, E.: XML Schema - The W3C’s Object-oriented Descriptions for XML. O’Reilly, Sebastopol (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science – University of Verona, Cà Vignal 2, Strada le Grazie 15, 37134 , Verona, Italy

    C. Combi, A. Masini, B. Oliboni & M. Zorzi

Authors
  1. C. Combi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. Masini
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. B. Oliboni
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. M. Zorzi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to M. Zorzi .

Editor information

Editors and Affiliations

  1. Hewlett-Packard Enterprise, Sunnyvale, California, USA

    Qiming Chen

  2. Paul Sabatier University, Toulouse, France

    Abdelkader Hameurlain

  3. Blaise Pascal University, Aubiere, France

    Farouk Toumani

  4. University of Linz, Linz, Austria

    Roland Wagner

  5. Universidad Politécnica de Valencia, Valencia, Spain

    Hendrik Decker

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Combi, C., Masini, A., Oliboni, B., Zorzi, M. (2015). A Logical Framework for XML Reference Specification. In: Chen, Q., Hameurlain, A., Toumani, F., Wagner, R., Decker, H. (eds) Database and Expert Systems Applications. Globe DEXA 2015 2015. Lecture Notes in Computer Science(), vol 9262. Springer, Cham. https://doi.org/10.1007/978-3-319-22852-5_22

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-22852-5_22

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-22851-8

  • Online ISBN: 978-3-319-22852-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation