Types for Path Correctness of XML Queries (Contributo in atti di convegno)

Type

• Contributo in atti di convegno (Classe)
• Prodotto della ricerca (Classe)

Label

• Types for Path Correctness of XML Queries (Contributo in atti di convegno) (literal)

Anno

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

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

• 10.1145/1016850.1016869 (literal)

Alternative label

• DARIO COLAZZO; GIORGIO GHELLI; PAOLO MANGHI; CARLO SARTIANI (2004)
  Types for Path Correctness of XML Queries
  in Proceedings of the ninth ACM SIGPLAN International Conference on Functional Programming, Snowbird, Utah, September 19-22, 2004
  (literal)

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

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

Pagina inizio

• 126 (literal)

Pagina fine

• 137 (literal)

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

• Pubblicato anche in Newsletter ACM SIGPLAN Notices - ICFP '04 Homepage Volume 39 Issue 9, September 2004 ACM New York, NY, USA table of contents doi>10.1145/1016848.1016869 (literal)

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

• http://dl.acm.org/citation.cfm?id=1016869 (literal)

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

• 39 (literal)

Rivista

• ACM SIGPLAN notices (Rivista)

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

• 9 (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

• Types for Path Correctness of XML Queries (literal)

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

• 1-58113-905-5 (literal)

Abstract

• If a subexpression in a query will never contribute data to the query answer, this 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 useful to understand some unusual 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)

Insieme di parole chiave

• Keywords of "Types for Path Correctness of XML Queries" (Insieme di parole chiave)

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

• ACM SIGPLAN notices (Rivista)

Insieme di parole chiave di

• Keywords of "Types for Path Correctness of XML Queries" (Insieme di parole chiave)