Pubblicazioni

Autori:

Combi, Carlo; Masini, Andrea; Oliboni, Barbara; Zorzi, Margherita

Titolo:

A Logical Framework for XML Reference Specification

Anno:

2015

Tipologia prodotto:

Contributo in atti di convegno

Tipologia ANVUR:

Contributo in Atti di convegno

Lingua:

Inglese

Formato:

A Stampa

Nome rivista:

LECTURE NOTES IN COMPUTER SCIENCE

ISSN Rivista:

0302-9743

N° Volume:

9262

Titolo del Convegno:

26th International Conference on Database and Expert Systems Applications - DEXA 2015

Luogo:

Valencia (Spain)

Periodo:

1-4 september 2015

Editore:

Springer Verlag Germany

Casa editrice:

Springer Verlag Germany

ISBN:

978-3-319-22851-8

Intervallo pagine:

258-267

Parole chiave:

XML; Hybrid Logic; Modal Logic; Constraint Verification

Breve descrizione dei contenuti:

XML emerged as the (meta) mark-up language for representing, exchanging, or storing semistructured data. The structure of an XML document may be specified through DTD (Document Type Definition) language or through the specific XML language XSchema. While the expressiveness of XML Schema allows one to specify both the structure and constraints for XML documents, DTD does not allow the specification of integrity constraints for XML documents. On the other side, DTD has a very compact notation opposed to the complex notation and syntax of XML Schema. According to this scenario, 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.

Pagina Web:

http://link.springer.com/book/10.1007%2F978-3-319-22852-5

Id prodotto:

87101

Handle IRIS:

11562/922985

depositato il:

19 maggio 2015

ultima modifica:

15 novembre 2022

Citazione bibliografica:

Combi, Carlo; Masini, Andrea; Oliboni, Barbara; Zorzi, Margherita, A Logical Framework for XML Reference Specification in «LECTURE NOTES IN COMPUTER SCIENCE» vol. 9262 Springer Verlag Germany  in Database and Expert Systems Applications , Springer Verlag Germany , Atti di "26th International Conference on Database and Expert Systems Applications - DEXA 2015" , Valencia (Spain) , 1-4 september 2015 , 2015 , pp. 258-267

Consulta la scheda completa presente nel repository istituzionale della Ricerca di Ateneo