Sciweavers

220 search results - page 9 / 44
» Regular expression types for XML
Sort
View
SIAMCOMP
2008
100views more  SIAMCOMP 2008»
13 years 7 months ago
On the Complexity of Verifying Consistency of XML Specifications
XML specifications often consist of a type definition (typically, a DTD) and a set of integrity constraints. It has been shown previously that such specifications can be inconsiste...
Marcelo Arenas, Wenfei Fan, Leonid Libkin
ICDT
2003
ACM
127views Database» more  ICDT 2003»
14 years 18 days ago
On Reasoning about Structural Equality in XML: A Description Logic Approach
We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of docume...
David Toman, Grant E. Weddell
IRI
2009
IEEE
14 years 2 months ago
Collaborative Schema Construction using Regular Sequence Types
In this paper we describe an approach to build XML schemas in a collaborative way. The approach is based on computing intersection between sequences of type terms built over const...
Jorge Coelho, Mário Florido, Temur Kutsia
EDBT
2008
ACM
124views Database» more  EDBT 2008»
14 years 7 months ago
Scalable XQuery type matching
XML Schema awareness has been an integral part of the XQuery language since its early design stages. Matching XML data against XML types is the main operation that backs up XQuery...
Jens Teubner
CORR
2008
Springer
93views Education» more  CORR 2008»
13 years 7 months ago
Succinctness of the Complement and Intersection of Regular Expressions
Abstract. We study the succinctness of the complement and intersection of regular expressions. In particular, we show that when constructing a regular expression defining the compl...
Wouter Gelade, Frank Neven