In this paper we focus on a (as much as possible) simple logic, called 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.
CITATION STYLE
Combi, C., Masini, A., Oliboni, B., & Zorzi, M. (2015). A logical framework for XML reference specification. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9262, pp. 258–267). Springer Verlag. https://doi.org/10.1007/978-3-319-22852-5_22
Mendeley helps you to discover research relevant for your work.