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

No abstract is available for this paper.

• Publication year

  2018

• Venue

  Theory of Computing Systems

• Publication date

  2018-11-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/s00224-018-9846-5
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• The Convenience of Tilings

  2019cited by this paper
• W3C XML Schema Definition Language (XSD) 1.1 Part 1: Structures

  2012influential reference
• Solving the Implication Problem for XML Functional Dependencies with Properties

  2010cited by this paper
• Multidimensional Databases and Data Warehousing

  2010cited by this paper
• Relational and XML Data Exchange

  2010cited by this paper
• Characterization of the Interaction of XML Functional Dependencies with DTDs

  2007influential reference
• Expressiveness and complexity of XML Schema

  2006cited by this paper
• Strong functional dependencies and their application to normal forms in XML

  2005cited by this paper
• Functional Dependencies over XML Documents with DTDs

  2005cited by this paper
• Containment and equivalence for a fragment of XPath

  2004cited by this paper
• More Functional Dependencies for XML

  2003influential reference
• Designing Functional Dependencies for XML

  2002cited by this paper
• A normal form for XML documents

  2002influential reference
• Keys for XML

  2001cited by this paper
• Reasoning about Keys for XML

  2001cited by this paper
• Functional Dependencies and Constraints on Null Values in Database Relations

  1986cited by this paper
• The complexity of decision problems in automata theory and logic

  1974cited by this paper
• Tree Acceptors and Some of Their Applications

  1970cited by this paper
• Generalized finite automata theory with an application to a decision problem of second-order logic

  1968cited by this paper
• Edinburgh Research Explorer On the Complexity of Verifying Consistency of XML Specifications

  year unknowninfluential reference

• Conceptual Model for Generation of XBRL Instances

  2025cites this paper
• Design of Intelligent Processing Platform for Electric Big Data in Hadoop

  2022cites this paper
• Validating Streaming JSON Documents with Learned VPAs

  2021cites this paper
• A Software for the Lung Image Database Consortium and Image Database Resource Initiative

  2019cites this paper
• Reasoning about integrity constraints for tree-structured data

  2016cites this paper
• Data Mapping for XBRL: A Systematic Literature Review

  year unknowncites this paper