Automata for XML—a survey

T Schwentick - Journal of Computer and System Sciences, 2007 - Elsevier
Automata play an important role for the theoretical foundations of XML data management,
but also in tools for various XML processing tasks. This survey article aims to give an …

[PDF][PDF] XML Constraints: Specification, Analysis, and Applications.

W Fan - DEXA Workshops, 2005 - homepages.inf.ed.ac.uk
XML Constraints: Specification, Analysis, and Applications Page 1 XML Constraints:
Specification, Analysis, and Applications Wenfei Fan LFCS, School of Informatics, University of …

E-services: a look behind the curtain

R Hull, M Benedikt, V Christophides, J Su - Proceedings of the twenty …, 2003 - dl.acm.org
The emerging paradigm of electronic services promises to bring to distributed computation
and services the flexibility that the web has brought to the sharing of documents. An …

A complete and efficient algebraic compiler for XQuery

C Ré, J Siméon, M Fernandez - 22nd International Conference …, 2006 - ieeexplore.ieee.org
As XQuery nears standardization, more sophisticated XQuery applications are emerging,
which often exploit the entire language and are applied to non-trivial XML sources. We …

[PDF][PDF] An XQuery-based language for processing updates in XML

GM Sur, J Hammer, J Siméon - Informal Proc. PLAN-X, 2004 - researchgate.net
Extensive usage of XML for information exchange and data processing has led to the
development of standard languages for querying and publishing of XML data. However, a …

On simplification of database integrity constraints

H Christiansen, D Martinenghi - Fundamenta Informaticae, 2006 - content.iospress.com
Without proper simplification techniques, database integrity checking can be prohibitively
time consuming. Several methods have been developed for producing simplified …

Correctors for XML data

U Boobna, M de Rougemont - International XML Database Symposium, 2004 - Springer
A corrector takes an invalid XML file F as input and produces a valid file F′ which is not far
from F when F is ε–close to its DTD, using the classical Tree Edit distance between a tree T …

Integrity checking and maintenance in relational and deductive database and beyond

D Martinenghi, H Christiansen… - Intelligent Databases …, 2007 - igi-global.com
Integrity constraints are a key tool for characterizing the well-formedness and semantics of
the information contained in databases. In this regard, it is essential that intelligent database …

Incremental constraint checking for XML documents

MA Abrao, B Bouchou, MH Ferrari, D Laurent… - International XML …, 2004 - Springer
We introduce a method for building an XML constraint validator from a given set of schema,
key and foreign key constraints. The XML constraint validator obtained by our method is a …

Advanced techniques for efficient data integrity checking

D Martinenghi - 2005 - forskning.ruc.dk
Integrity constraint checking, understood as the verification of data correctness and
wellformedness conditions that must be satisfied in any state of a database, is not fully …