Jérôme Siméon

The Essence of XML (preliminary version) (2008)

Jérôme Siméon, Philip Wadler

Abstract. The World-Wide Web Consortium (W3C) promotes XML and related standards, including XML Schema, XQuery, and XPath. This paper describes a formalization XML Schema. A formal semantics based on...

ABSTRACT The Essence of XML (2008)

Jérôme Siméon

The World-Wide Web Consortium (W3C) promotes XML and related standards, including XML Schema, XQuery, and XPath. This paper describes a formalization of XML Schema. A formal semantics based on these...

Abstract The Essence of XML (2008)

Jérôme Siméon

and related standards, including XML Schema, XQuery, and XPath. This paper describes a formalization of XML Schema. A formal semantics based on these ideas is part of the official XQuery and XPath...

Abstract The Essence of XML (2008)

Jérôme Siméon

XPath. This paper describes a formalization XML Schema. A formal semantics based on these ideas is part of the official XQuery and XPath specification, one of the first uses of formal methods by a...

Abstract (2008)

Amélie Marian, Jérôme Siméon

XQuery is not only useful to query XML in databases, but also to applications that must process XML documents as files or streams. These applications suffer from the limitations of current mainmemory...

IEEE TRANSACTIONS ON KNOWLEDGEAND DATA ENGINEERING 1 The Yin/Yang Web: A Unified Model for XML (2008)

Syntax And Rdf, Peter Patel-schneider, Jérôme Siméon

XML is the W3C standard document format for writing and exchanging information on the Web. RDF is the W3C standard model for describing the semantics and reasoning about information on the Web....

A semi-monad for semi-structured data (2007)

Mary Fern, Jérôme Siméon, Philip Wadler

Abstract. This document proposes an algebra for XML Query. The algebra has been submitted to the W3C XML Query Working Group. A novel feature of the algebra is the use of regular-expression types,...

Abstract (2007)

Wenfei Fan, Jérôme Siméon, Gabriel M. Kuper

Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, information...

Optimizing Generalized Path Expressions Using Full Text Indexes (2007)

Vassilis Christophides, Sophie Cluet, Guido Moerkotte, Jérôme Siméon, Projet Verso, Inria Rocquencourt, ...

. Query languages for object bases became enriched by generalized path expressions that allow for attribute and path variables. Optimizing queries containing generalized path expressions attracted...

and (2007)

Wenfei Fan, Jérôme Siméon

Integrity constraints have proved fundamentally important in database management. The ID/IDREF mechanism provided by XML DTDs relies on a simple form of constraints to describe references. Yet, this...

Abstract (2007)

Wenfei Fan, Jérôme Siméon, Gabriel M. Kuper

Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, information...

The Yin/Yang Web: (2007)

Xml Syntax And, Peter Patel-schneider, Jérôme Siméon

XML is the W3C standard document format for writing and exchanging information on the Web. RDF is the W3C standard model for describing the semantics and reasoning about information on the Web....

Abstract (2007)

Peter Patel-schneider, Jérôme Siméon

XML is the W3C standard document format for writing and exchanging information on the Web. RDF is the W3C standard model for describing the semantics and reasoning about information on the Web....

Commutativity analysis in XML update languages (2007)

Giorgio Ghelli, Kristoffer Rose, Jérôme Siméon

Abstract. A common approach to XML updates is to extend XQuery with update operations. This approach results in very expressive languages which are convenient for users but are difficult to reason...

A Better Semantics for XQuery with Side-Effects (2007)

Giorgio Ghelli, Nicola Onose, Kristoffer Rose, Jérôme Siméon

Abstract. Formal semantics for XQuery with side-effects have been proposed in [13, 16]. We propose a different semantics which is better suited for database compilation. We substantiate this claim by...

A Better Semantics for XQuery with Side-Effects (2007)

Giorgio Ghelli, Nicola Onose, Kristoffer Rose, Jérôme Siméon

Abstract. Formal semantics for XQuery with side-effects have been proposed in [13, 16]. We propose a different semantics which is better suited for database compilation. We substantiate this claim by...

06472 Executive Summary -- XQuery Implementation Paradigms (2007)

Boncz, Peter A., Grust, Torsten, Siméon, Jérôme, Van Keulen, Maurice

Only a couple of weeks after the participants of seminar No. 06472 met in Dagstuhl, the W3C published the Final Recommendation documents that fix the XQuery 1.0 syntax, data model, formal semantics,...

06472 Abstracts Collection -- XQuery Implementation Paradigms (2007)

Boncz, Peter A., Grust, Torsten, Siméon, Jérôme, Van Keulen, Maurice

From 19.11.2006 to 22.11.2006, the Dagstuhl Seminar 06472 ``XQuery Implementation Paradigms'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the...

XQuery!: An XML Query Language with Side Effects (2006)

Giorgio Ghelli, Christopher Ré, Jérôme Siméon

Abstract. As XML applications become more complex, there is a growing interest in extending XQuery with side-effect operations, notably XML updates. However, the presence of side-effects is at odds...

XQuery!: An XML Query Language with Side Effects (2006)

Giorgio Ghelli, Christopher Ré, Jérôme Siméon

Abstract. As XML applications become more complex, there is a growing interest in extending XQuery with side-effect operations, notably XML updates. However, the presence of side-effects is at odds...

Abstract (2005)

Giorgio Ghelli, Christopher Ré, Jérôme Siméon

As XML applications become more complex, there is a growing interest in extending XQuery with side-effect operations, notably XML updates. Unfortunately, the presence of side-effects is at odds with...

Compiling XSLT 2.0 into XQuery 1.0 (2005)

Achille Fokoue, Kristoffer Rose, Jerome Simeon, Jérôme Siméon, Lionel Villard

As XQuery is gathering momentum as the standard query language for XML, there is a growing interest in using it as an integral part of the XML application development infrastructure. In that context,...

Optimizing sorting and duplicate elimination in XQuery path expressions (2005)

Mary Fernández, Jan Hidders, Jérôme Siméon, Roel Vercammen

Abstract. XQuery expressions can manipulate two kinds of order: document order and sequence order. While the user can impose or observe the order of items within a sequence, the results of path...

Automata for Avoiding Unnecessary Ordering Operations in XPath Implementations (2004)

Mary Fernández, Jan Hidders, Roel Vercammen, Jérôme Siméon

XPath 2.0 path expressions can observe and preserve the document order and identity of XML values in a document. In particular, their semantics requires that the complete result and the result of...

Growing XQuery (2003)

Mary Fernández, Jérôme Siméon

XML [39] is a flexible format that can represent many classes of data: structured documents with large fragments of marked-up text; homogeneous records such as those in relational databases; and...

From XML schema to relations: A cost-based approach to XML storage (2002)

Phil Bohannon, Juliana Freire, Prasan Roy, Jérôme Siméon

bohannon,juliana,prasan,simeon¡ XML has become an important medium for data representation, particularly when that data is exchanged over or browsed on the Internet. As the volume of XML data...

StatiX: Making XML count (2002)

Juliana Freire, Jayant R. Haritsa, Maya Ramanath, Prasan Roy, Jérôme Siméon

The availability of summary data for XML documents has many applications, from providing users with quick feedback about their queries, to cost-based storage design and query optimization. StatiX is...

From XML schema to relations: A cost-based approach to XML storage (2002)

Phil Bohannon, Juliana Freire, Prasan Roy, Jérôme Siméon

XML has become an important medium for data representation, particularly when that data is exchanged over or browsed on the Internet. As the volume of XML data increases, there is a growing interest...

Subsumption for XML Types (2001)

Gabriel M. Kuper, Jérôme Siméon

XML data is often used (validated, stored, queried, etc) with respect to different types. Understanding the relationship between these types can provide important information for manipulating this...

Integrity Constraints for XML (2000)

Wenfei Fan, Jérôme Siméon

Integrity constraints are useful for semantic specification, query optimization and data integration. The ID/IDREF mechanism provided by XML DTDs relies on a simple form of constraint to describe...

Smart Supply Web: An Application of Web-based Data and Workflow Mediation (2000)

Richard Hull, Akhil Kumar, Jerome Simeon, Jérôme Siméon

This paper describes our vision of a Supply Web as the next major advance in the e-commerce world in terms of how e-services are delivered. After highlighting shortcomings of existing supply chain...

On Wrapping Query Languages and Efficient XML Integration (2000)

Vassilis Christophides, Sophie Cluet, Jérôme Siméon

Modern applications (portals, e-commerce, digital libraries, etc.) require integrated access to various information sources (from traditional RDBMS to semistructured Web repositories), fast...

On Wrapping Query Languages and Efficient XML Integration (2000)

Vassilis Christophides, Sophie Cluet, Jérôme Siméon

Modern applications (portals, e-commerce, digital libraries, etc.) require integrated access to various information sources (from traditional RDBMS to semistructured Web repositories), fast...

YATL: a Functional and Declarative Language for XML (2000)

Sophie Cluet, Jérôme Siméon, Domaine De Voluceau

This paper describes Y AT L , a language to query, convert and integrate XML data. Y AT L comes from the database community: it is not Turing complete, but it captures a large class of useful data...

XML Query Languages: Experiences and Exemplars (1999)

Mary Fernandez, Jérôme Siméon, Philip Wadler (eds.)

This paper identifies essential features of an XML query language by examining four existing query languages: XML-QL, YA T L , Lorel, and XQL. The first three languages come from the database...

Integrity Constraints for XML (1999)

Wenfei Fan, Jérôme Siméon

Integrity constraints are useful for semantic specification, query optimization and data integration. The ID/IDREF mechanism provided by XML DTDs relies on a simple form of constraint to describe...

Integrity Constraints for XML (1999)

Wenfei Fan, Jérôme Siméon

Integrity constraints are useful for semantic speci#ca# tion# query optimization and data integration. The ID#IDREF mechanism provided by XML DTDs relies on a simple form of constraint to describe...

Your Mediators Need Data Conversion! (1998)

Sophie Cluet, Claude Delobel, Jérôme Siméon, Inria Rocquencourt, Le Chesnay, Le Chesnay, ...

Due to the development of the World Wide Web, the integration of heterogeneous data sources has become a major concern of the database community. Appropriate architectures and query languages have...

Querying Documents in Object Databases (1997)

Serge Abiteboul, Sophie Cluet, Vassilis Christophides, Tova Milo, Guido Moerkotte, Jérôme Siméon

. We consider the problem of storing and accessing documents (SGML and HTML, in particular) using database technology. To specify the database image of documents, we use structuring schemas that...

Data Integration Based on Data Conversion and Restructuring (1997)

Sophie Cluet, Jérôme Siméon

Due to the development of the World Wide Web, the integration of heterogeneous data sources has become a major concern. Appropriate architectures and query languages have been proposed but the...