Reasoning About XML Constraints Based on XML-to-Relational Mappings

[1]  Peter van Emde Boas,et al.  The Convenience of Tilings , 2019, complexity, logic, and recursion theory.

[2]  Torben Bach Pedersen,et al.  Multidimensional Databases and Data Warehousing , 2010, Multidimensional Databases and Data Warehousing.

[3]  Marcelo Arenas,et al.  Relational and XML Data Exchange , 2010, Relational and XML Data Exchange.

[4]  Sven Hartmann,et al.  Solving the Implication Problem for XML Functional Dependencies with Properties , 2010, WoLLIC.

[5]  Wenfei Fan,et al.  On the Complexity of Verifying Consistency of XML Specifications , 2008, SIAM J. Comput..

[6]  Lucja Kot,et al.  Characterization of the Interaction of XML Functional Dependencies with DTDs , 2007, ICDT.

[7]  Thomas Schwentick,et al.  Expressiveness and complexity of XML Schema , 2006, TODS.

[8]  Dan Suciu,et al.  Containment and equivalence for a fragment of XPath , 2004, JACM.

[9]  Sven Hartmann,et al.  More Functional Dependencies for XML , 2003, ADBIS.

[10]  Marcelo Arenas,et al.  A normal form for XML documents , 2002, PODS '02.

[11]  Tok Wang Ling,et al.  Designing Functional Dependencies for XML , 2002, EDBT.

[12]  Wenfei Fan,et al.  Reasoning about Keys for XML , 2001, DBPL.

[13]  Wenfei Fan,et al.  Keys for XML , 2001, WWW '01.

[14]  Paolo Atzeni,et al.  Functional Dependencies and Constraints on Null Values in Database Relations , 1986, Inf. Control..

[15]  John Doner,et al.  Tree Acceptors and Some of Their Applications , 1970, J. Comput. Syst. Sci..

[16]  James W. Thatcher,et al.  Generalized finite automata theory with an application to a decision problem of second-order logic , 1968, Mathematical systems theory.

[17]  C. M. Sperberg-McQueen,et al.  W3C XML Schema Definition Language (XSD) 1.1 Part 1: Structures , 2012 .

[18]  Klaus-Dieter Schewe,et al.  Functional Dependencies over XML Documents with DTDs , 2005, Acta Cybern..

[19]  Chen Zhan-sheng,et al.  Strong functional dependencies and their application to normal forms in XML , 2005 .

[20]  Larry Joseph Stockmeyer,et al.  The complexity of decision problems in automata theory and logic , 1974 .