Reasoning about Keys for XML

We study absolute and relative keys for XML, and investigate their associated decision problems. We argue that these keys are important to many forms of hierarchically structured data including XML documents. In contrast to other proposals of keys for XML, these keys can be reasoned about efficiently. We show that the (finite) satisfiability problem for these keys is trivial, and their (finite) implication problem is finitely axiomatizable and decidable in PTIME in the size of keys.

[1]  Dan Suciu,et al.  Data on the Web: From Relations to Semistructured Data and XML , 1999 .

[2]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[3]  J W Ballard,et al.  Data on the web? , 1995, Science.

[4]  Susan B. Davidson,et al.  Validating Constraints in XML , 2002 .

[5]  Steven J. DeRose,et al.  XML Path Language (XPath) , 1999 .

[6]  Abel,et al.  A formal semantics of patterns in XSLT , 2000 .

[7]  Dan Suciu,et al.  Index Structures for Path Expressions , 1999, ICDT.

[8]  Wenfei Fan,et al.  Interaction between path and type constraints , 1999, PODS '99.

[9]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[10]  Rolf Apweiler,et al.  The SWISS-PROT protein sequence data bank and its supplement TrEMBL , 1997, Nucleic Acids Res..

[11]  C. M. Sperberg-McQueen,et al.  Extensible Markup Language (XML) , 1997, World Wide Web J..

[12]  Wenfei Fan,et al.  Path Constraints in Semistructured Databases , 2000, J. Comput. Syst. Sci..

[13]  M. W. Shields.  An Introduction to Automata Theory , 1988 .

[14]  Dan Suciu,et al.  Containment and equivalence for an XPath fragment , 2002, PODS.

[15]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[16]  Wenfei Fan,et al.  On XML integrity constraints in the presence of DTDs , 2001, PODS '01.

[17]  Wenfei Fan,et al.  Constraints for semistructured data and XML , 2001, SGMD.

[18]  Wenfei Fan,et al.  Reasoning about keys for XML , 2003, Inf. Syst..

[19]  P. Malik.  On equivalence. , 2003, The Canadian journal of cardiology.

[20]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[21]  T. G. Szymanski,et al.  On the Equivalence, Containment, and Covering Problems for the Regular and Context-Free Languages , 1976, J. Comput. Syst. Sci..

[22]  Rajshekhar Sunderraman,et al.  XML - Data를 이용한 웹 질의처리 , 2000 .

[23]  Thomas Schwentick,et al.  XPath Containment in the Presence of Disjunction, DTDs, and Variables , 2003, ICDT.

[24]  Wenfei Fan,et al.  Keys for XML , 2002, Comput. Networks.

[25]  Carmem S. Hara,et al.  Reasoning about nested functional dependencies , 1999, PODS '99.

[26]  Serge Abiteboul,et al.  Regular path queries with constraints , 1997, PODS '97.

[27]  Wenfei Fan,et al.  On verifying consistency of XML specifications , 2002, PODS.

[28]  Wenfei Fan,et al.  Integrity constraints for XML , 2000, PODS '00.

[29]  Gabriel M. Kuper,et al.  Structural Properties of XPath Fragments , 2003, ICDT.

[30]  Jonathan Robie,et al.  Document Object Model (DOM) Level 2 Specification , 1998 .

[31]  Grant E. Weddell,et al.  Reasoning About Equations and Functional Dependencies on Complex Objects , 1994, IEEE Trans. Knowl. Data Eng..

[32]  Raghu Ramakrishnan,et al.  Database Management Systems , 1976 .

[33]  Wenfei Fan,et al.  What's Hard about XML Schema Constraints? , 2002, DEXA.

[34]  R. Staden,et al.  The C. elegans genome sequencing project: a beginning , 1992, Nature.

[35]  Wenfei Fan,et al.  Query Optimization for Semistructured Data Using Path Constraints in a Deterministic Data Model , 1999, DBPL.

[36]  Z. Meral Özsoyoglu,et al.  A new normal form for nested relations , 1987, TODS.

[37]  Minoru Ito,et al.  Implication Problems for Functional Constraints on Databases Supporting Complex Objects , 1994, J. Comput. Syst. Sci..

[38]  C. M. Sperberg-McQueen,et al.  eXtensible Markup Language (XML) 1.0 (Second Edition) , 2000 .

[39]  Evelyn Camon,et al.  The EMBL Nucleotide Sequence Database , 2004, Nucleic acids research.

[40]  David Schach,et al.  XML Query Language (XQL) , 1998, QL.

[41]  Susan B. Davidson,et al.  Constraint Preserving XML Storage in Relations , 2002 .

[42]  Wenfei Fan,et al.  Path constraints on semistructured and structured data , 1998, PODS '98.

[43]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .