Typechecking XML views of relational databases

Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu

Research output: Contribution to journalArticle

10 Scopus citations

Abstract

Motivated by the need to export relational databases as XML data in the context of the Web, we investigate the typechecking problem for transformations of relational data into tree data (XML). The problem consists of statically verifying that the output of every transformation belongs to a given output tree language (specified for XML by a DTD), for input databases satisfying given integrity constraints. The typechecking problem is parameterized by the class of formulas defining the transformation, the class of output tree languages, and the class of integrity constraints. While undecidable in its most general formulation, the typechecking problem has many special cases of practical interest that turn out to be decidable. The main contribution of this paper is to trace a fairly tight boundary of decidability for typechecking in this framework. In the decidable cases we examine the complexity, and show lower and upper bounds. We also exhibit a practically appealing restriction for which typechecking is in PTIME.

Original languageEnglish (US)
Pages (from-to)421-430
Number of pages10
JournalProceedings - Symposium on Logic in Computer Science
DOIs
StatePublished - Jan 1 2001
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Software
  • Mathematics(all)

Fingerprint Dive into the research topics of 'Typechecking XML views of relational databases'. Together they form a unique fingerprint.

  • Cite this