Design by example: An application of Armstrong relations

DOI10.1016/0022-0000(86)90015-2MaRDI QIDQ579962zbMATH OpenOpenAlexWikidataFDO

Authors Heikki Mannila, Kari-Jouko Raeihae

Publication date 1986

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://hdl.handle.net/1813/6505

zbMATH Keywords

functional dependenciesrelational databaseArmstrong relationsBoyce-Codd Normal Formdatabase designrepresentations of dependency sets

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20)

Recommendations

• Constructing designs straightforwardly: Worst arising cases
• Extending the algebras of design
• scientific article; zbMATH DE number 4170925
• scientific article; zbMATH DE number 4164730
• A MATHEMATICAL THEORY OF DESIGN Representation of Design Artifacts (Part I)
• scientific article; zbMATH DE number 4018166

Cites work

• scientific article; zbMATH DE number 3890770 (Why is no real title available?)
• scientific article; zbMATH DE number 3823168 (Why is no real title available?)
• scientific article; zbMATH DE number 3464827 (Why is no real title available?)
• scientific article; zbMATH DE number 3464830 (Why is no real title available?)
• Armstrong databases for functional and inclusion dependencies
• Horn clauses and database dependencies
• On the Structure of Armstrong Relations for Functional Dependencies
• On the family of generalized dependency constraints

Cited in

(34)

• Polynomial-time dualization of \(r\)-exact hypergraphs with applications in geometry
• The implication problem for functional dependencies and variants of marginal distribution equivalences
• Possibilistic keys
• On the complexity of monotone dualization and generating minimal hypergraph transversals
• Dual-bounded generating problems: Weighted transversals of a hypergraph
• Approximate inference of functional dependencies from relations
• Characterisations of multivalued dependency implication over undetermined universes
• Coding theory motivated by relational databases
• A global parallel algorithm for enumerating minimal transversals of geometric hypergraphs
• Algorithms for generating an Armstrong relation and inferring functional dependencies in the relational datamodel
• Efficient dualization of \(O(\log n\))-term monotone disjunctive normal forms
• Self-duality of bounded monotone Boolean functions and related problems
• Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty
• scientific article; zbMATH DE number 2089481 (Why is no real title available?)
• Maximal sensitivity of Boolean nested canalizing functions
• On the complexity of inferring functional dependencies
• Constructing Armstrong tables for general cardinality constraints and not-null constraints
• Axiomatisation of functional dependencies in incomplete relations
• Logical foundations of possibilistic keys
• The number of keys in relational and nested relational databases
• scientific article; zbMATH DE number 1507283 (Why is no real title available?)
• Some results about normal forms for functional dependency in the relational datamodel
• scientific article; zbMATH DE number 1665450 (Why is no real title available?)
• Generating dual-bounded hypergraphs
• Functional and approximate dependency mining: database and FCA points of view
• Reasoning with models
• Family of functional dependencies and its equivalent descriptions
• The implication problem for functional dependencies and variants of marginal distribution equivalences
• Direct product decompositions of lattices, closures and relation schemes
• Algorithms for \(k\)-meet-semidistributive lattices
• The joy of implications, aka pure Horn formulas: mainly a survey
• Reasoning about functional and full hierarchical dependencies over partial relations
• Functional dependencies in relational databases: A lattice point of view
• Automatic generation of test data for relational queries

This page was built for publication: Design by example: An application of Armstrong relations

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