Solving the Implication Problem for XML Functional Dependencies with Properties
From MaRDI portal
Publication:4931598
DOI10.1007/978-3-642-13824-9_14zbMath1253.68100MaRDI QIDQ4931598
Sebastian Link, Sven Hartmann, Thu Trinh
Publication date: 29 September 2010
Published in: Logic, Language, Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-13824-9_14
68P01: General topics in the theory of data
Related Items
Closure via functional dependence simplification, On the finite and general implication problems of independence atoms and keys, Appropriate inferences of data dependencies in relational databases, Reasoning about integrity constraints for tree-structured data, Functional dependencies on extended relations defined by regular languages, Reasoning about XML constraints based on XML-to-relational mappings