Portal de Periódicos da CAPES

On the consistency of XML DTDs

2004; Elsevier BV; Volume: 52; Issue: 2 Linguagem: Inglês

10.1016/j.datak.2004.05.007

1872-6933

Shiyong Lu, Yezhou Sun, Mustafa Atay, Farshad Fotouhi,

Logic, programming, and type systems

DTD has been widely used as the schema language for XML documents. A DTD describes the structure of a collection of similar XML documents. The consistency problem of XML DTDs concerns the question that given a DTD D, if there exists any finite XML document that conforms to D. This issue is important because one wants to know whether a DTD specification is meaningful. In this paper, we formalize the notion of the consistency of DTDs, identify a sufficient and necessary condition for a DTD to be consistent, and propose a linear algorithm, DTDCon, for the consistency checking problem.