On the implication problem for cardinality constraints and functional dependencies
From MaRDI portal
Publication:2349821
DOI10.1023/A:1013133428451zbMath1314.68119MaRDI QIDQ2349821
Publication date: 17 June 2015
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
clique graph; functional dependency; key; transversal design; cardinality constraint; implication problem; Armstrong database
Related Items
2002 Annual Conference of the Australasian Association for Logic, Deciding implication for functional dependencies in complex-value databases, Numerical constraints on XML data, Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets, Functional and multivalued dependencies in nested databases generated by record and list constructor