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)

zbMATH Keywords

decompositionrelational databasedatabase schema

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)

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

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)