Normalization and axiomatization for numerical dependencies

DOI10.1016/S0019-9958(85)80017-6MaRDI QIDQ3738612zbMATH OpenWikidataFDO

Authors Jack Minker, John Grant

Publication date 1985

Published in Information and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0019-9958(85)80017-6

zbMATH Keywords

database schemadecompositionrelational database

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20)

Recommendations

• Inferences for numerical dependencies
• Normal forms and syntactic completeness proofs for functional independencies
• Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics
• Mathematical theory of normalization: 2-4 normal forms
• scientific article; zbMATH DE number 4057061

Cited in

(12)

• Inferences for numerical dependencies
• A survey of some combinatorial results concerning functional dependencies in database relations.
• Numeric deduction in symbolic computation. Application to normalizing transformations
• Characterizing approximate-matching dependencies in formal concept analysis with pattern structures
• Jack Minker --- A profile
• General information spaces: measuring inconsistency, rationality postulates, and complexity
• Coding theory motivated by relational databases
• scientific article; zbMATH DE number 3880152 (Why is no real title available?)
• scientific article; zbMATH DE number 598799 (Why is no real title available?)
• Postulate satisfaction for inconsistency measures in monotonic logics and databases
• On measuring inconsistency in definite and indefinite databases with denial constraints
• Incorporating cardinality constraints and synonym rules into conditional functional dependencies

This page was built for publication: Normalization and axiomatization for numerical dependencies

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