Inferences for numerical dependencies

DOI10.1016/0304-3975(85)90075-1MaRDI QIDQ1079963zbMATH OpenOpenAlexWikidataFDO

Authors Jack Minker, John Grant

Publication date 1985

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(85)90075-1

zbMATH Keywords

first-order logicinference rulesrelational databasedatabase dependencieslogical implicationgeneralization of functional dependenciesHorn formulae

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20)

Recommendations

• Normalization and axiomatization for numerical dependencies
• Functional dependencies in relations with null values
• Appropriate inferences of data dependencies in relational databases
• scientific article; zbMATH DE number 4009860
• scientific article; zbMATH DE number 2038176

Cites work

• scientific article; zbMATH DE number 3890770 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• A normal form for relational databases that is based on domains and keys
• Algebraic dependencies
• Horn clauses and database dependencies
• Inclusion dependencies and their interaction with functional dependencies
• Inferences for numerical dependencies
• Logic for improving integrity checking in relational data bases
• On recursive axioms in deductive databases
• On the computational complexity of cardinality constraints in relational databases
• On the family of generalized dependency constraints
• Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies
• Template Dependencies

Cited in

(12)

• Guessing singular dependencies
• On the finite and general implication problems of independence atoms and keys
• Inferential constants
• Inferences for numerical dependencies
• Numerical constraints on XML data
• Jack Minker --- A profile
• Checking inference-proofness of attribute-disjoint and duplicate-preserving fragmentations
• On measuring inconsistency in definite and indefinite databases with denial constraints
• Postulate satisfaction for inconsistency measures in monotonic logics and databases
• Foundations of entity-relationship modeling
• General information spaces: measuring inconsistency, rationality postulates, and complexity
• Normalization and axiomatization for numerical dependencies

This page was built for publication: Inferences for numerical dependencies

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