Solving the Implication Problem for XML Functional Dependencies with Properties

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

Mathematics Subject Classification ID

General topics in the theory of data (68P01)

Related Items (6)

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

This page was built for publication: Solving the Implication Problem for XML Functional Dependencies with Properties