23 search results - page 1 / 5 » On the Complexity of Verifying Consistency of XML Specificat... |
SIAMCOMP
2008
13 years 4 months ago
2008
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...
PODS
2002
ACM
14 years 5 months ago
2002
ACM
DKE
2002
13 years 4 months ago
2002
Object-Oriented modeling and design methodologies have been receiving a significant attention since they allow a quick and easy-to-gasp overview about a complex model. However, in...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
AMW
2010
13 years 6 months ago
2010
We consider incomplete specifications of XML documents in the presence of schema information and integrity constraints. We show that integrity constraints such as keys and foreign ...