Solving the Implication Problem for XML Functional Dependencies with Properties
From MaRDI portal
Publication:4931598
DOI10.1007/978-3-642-13824-9_14zbMath1253.68100OpenAlexW1490779281MaRDI 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
Related Items
On the finite and general implication problems of independence atoms and keys, Reasoning about integrity constraints for tree-structured data, Appropriate inferences of data dependencies in relational databases, Closure via functional dependence simplification, Functional dependencies on extended relations defined by regular languages, Reasoning about XML constraints based on XML-to-relational mappings