On the implication problem for cardinality constraints and functional dependencies

DOI10.1023/A:1013133428451zbMATH Open1314.68119OpenAlexW1561488285MaRDI QIDQ2349821FDOQ2349821

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

implication problemkeytransversal designfunctional dependencyclique graphcardinality constraintArmstrong database

Mathematics Subject Classification ID

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

Cited In (12)

• The implication problem for functional dependencies and variants of marginal distribution equivalences
• On Functional Dependencies in Advanced Data Models
• Implication problems for functional constraints on databases supporting complex objects
• Deciding implication for functional dependencies in complex-value databases
• Numerical constraints on XML data
• Constructing Armstrong tables for general cardinality constraints and not-null constraints
• Relational schemas with multiplicity bounds, diversity bounds and functional dependencies
• Checking inference-proofness of attribute-disjoint and duplicate-preserving fragmentations
• Title not available (Why is that?)
• Functional and multivalued dependencies in nested databases generated by record and list constructor
• Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
• 2002 Annual Conference of the Australasian Association for Logic

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Tight representation of logical constraints as cardinality rules 👍 👎
• The implication problem for functional and inclusion dependencies 👍 👎
• Implication and axiomatization of functional and constant constraints 👍 👎
• Incorporating cardinality constraints and synonym rules into conditional functional dependencies 👍 👎
• Towards Robust CNF Encodings of Cardinality Constraints 👍 👎
• Implication problems for functional constraints on databases supporting complex objects 👍 👎
• Logical constraints as cardinality rules: Tight representation 👍 👎

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2349821)