Static analysis for path correctness of XML queries (Articolo in rivista)

Type

• Prodotto della ricerca (Classe)
• Articolo in rivista (Classe)

Label

• Static analysis for path correctness of XML queries (Articolo in rivista) (literal)

Anno

• 2006-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1017/S0956796806005983 (literal)

Alternative label

• DARIO COLAZZO; GIORGIO GHELLI; PAOLO MANGHI; CARLO SARTIANI (2006)
  Static analysis for path correctness of XML queries
  in Journal of functional programming (Print)
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• DARIO COLAZZO; GIORGIO GHELLI; PAOLO MANGHI; CARLO SARTIANI (literal)

Pagina inizio

• 621 (literal)

Pagina fine

• 661 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=459205 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

• 16 (literal)

Rivista

• Journal of functional programming (Rivista)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali

• 40 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo

• 4-5 (literal)

Note

• ISI Web of Science (WOS) (literal)
• Scopu (literal)
• Google Scholar (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• Université Paris Sud; Dipartimento di Informatica, Università di Pisa; Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche; Università della Basilicata (literal)

Titolo

• Static analysis for path correctness of XML queries (literal)

Abstract

• A part of a query that will never contribute data to the query answer should be regarded as an error. This principle has been recently accepted into mainstream XML query languages, but was still waiting for a complete treatment. We provide here a precise definition for this class of errors, and define a type system that is sound and complete, in its search for such errors, for a core language, under mild restrictions on the use of recursion in type definitions. In the process, we describe a dichotomy among existential and universal type systems, which is essential to understand some specific features of our type system. (literal)

Prodotto di

• Digital Libraries (ICT.P08.010.002) (Modulo)
• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Autore CNR

• PAOLO MANGHI (Unità di personale interno)

Incoming links:

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Digital Libraries (ICT.P08.010.002) (Modulo)

Autore CNR di

• PAOLO MANGHI (Unità di personale interno)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi

• Journal of functional programming (Rivista)