On the implication problem for cardinality constraints and functional dependencies

DOI10.1023/A:1013133428451zbMath1314.68119OpenAlexW1561488285MaRDI QIDQ2349821

Sven Hartmann

Publication date: 17 June 2015

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1013133428451

zbMATH Keywords

clique graphfunctional dependencykeytransversal designcardinality constraintimplication problemArmstrong database

Mathematics Subject Classification ID

Database theory (68P15) Graph theory (including graph drawing) in computer science (68R10)

Related Items (8)

Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets ⋮ Deciding implication for functional dependencies in complex-value databases ⋮ 2002 Annual Conference of the Australasian Association for Logic ⋮ Constructing Armstrong tables for general cardinality constraints and not-null constraints ⋮ Numerical constraints on XML data ⋮ On Functional Dependencies in Advanced Data Models ⋮ Functional and multivalued dependencies in nested databases generated by record and list constructor ⋮ Checking inference-proofness of attribute-disjoint and duplicate-preserving fragmentations

This page was built for publication: On the implication problem for cardinality constraints and functional dependencies