Armstrong databases for functional and inclusion dependencies

DOI10.1016/0020-0190(83)90005-4zbMath0501.68056OpenAlexW2111203646WikidataQ114685345 ScholiaQ114685345MaRDI QIDQ1172403

Ronald Fagin, Moshe Y. Vardi

Publication date: 1983

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(83)90005-4

zbMATH Keywords

logical consequencerelational databasefunctional dependencyinclusion dependencydirect productArmstrong relationfaithfulness

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20)

Related Items

Extending inclusion dependencies with conditions, Information-based distance measures and the canonical reflection of view updates, The number of keys in relational and nested relational databases, Constructing Armstrong tables for general cardinality constraints and not-null constraints, The complexity of embedded axiomatization for a class of closed database views, Design by example: An application of Armstrong relations, Information-Optimal Reflections of View Updates on Relational Database Schemata, Parameterised complexity of model checking and satisfiability in propositional dependence logic, Axiomatisation of functional dependencies in incomplete relations, Automatic generation of test data for relational queries, Axiomatization of frequent itemsets, The implication problem for functional dependencies and variants of marginal distribution equivalences, Inclusion dependencies and their interaction with functional dependencies

Cites Work

• Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies
• Properties of functional-dependency families
• On the family of generalized dependency constraints
• Tools for Template Dependencies
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item