HAL: hal-00091917, version 1

Detailed view

Export this paper BibTeX - EndNote - TEI - RefWorks -

17th Nordic Workshop on Programming Theory, Copenhagen : Danemark (2005)

A Typed Calculus for Querying Distributed XML Documents

Lucia Acciai 1, Michele Boreale 2, Silvano Dal Zilio 1

(2005)

We study the problems related to querying large, distributed XML documents. Our proposal takes the form of a new process calculus in which XML data are processes that can be queried by means of concurrent pattern-matching expressions. What we achieve is a functional, strongly-typed programming model based on three main ingredients: an asynchronous process calculus in the style of Milner's pi-calculus and existing semantics for concurrent-ML; a model where documents and expressions are both represented as processes, and where evaluation is represented as a parallel composition of the two; a static type system based on regular expression types.

1:	Laboratoire d'informatique Fondamentale de Marseille (LIF)
	CNRS : UMR6166 – Université de la Méditerranée - Aix-Marseille II – Université de Provence - Aix-Marseille I
2:	Dipartimento di Sistemi e Informatica (DSI)
	Università degli studi di Firenze

Subject

:

Computer Science/Logic in Computer Science Computer Science/Distributed, Parallel, and Cluster Computing Computer Science/Programming Languages

Keyword(s): XML – query language – pi-calculus – type system

hal-00091917, version 1

http://hal.archives-ouvertes.fr/hal-00091917

oai:hal.archives-ouvertes.fr:hal-00091917

From: Silvano Dal Zilio <>

Submitted on: Thursday, 7 September 2006 18:46:25

Updated on: Thursday, 7 September 2006 19:00:52