Inferences for numerical dependencies

DOI10.1016/0304-3975(85)90075-1zbMath0598.68066OpenAlexW2067363298WikidataQ114683730 ScholiaQ114683730MaRDI QIDQ1079963

Jack Minker, J. R. 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 logicrelational databaselogical implicationinference rulesdatabase dependenciesgeneralization of functional dependenciesHorn formulae

Mathematics Subject Classification ID

Related Items (9)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On recursive axioms in deductive databases
• Inclusion dependencies and their interaction with functional dependencies
• Inferences for numerical dependencies
• On the computational complexity of cardinality constraints in relational databases
• Logic for improving integrity checking in relational data bases
• Algebraic dependencies
• A normal form for relational databases that is based on domains and keys
• Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies
• Template Dependencies
• Horn clauses and database dependencies
• On the family of generalized dependency constraints

This page was built for publication: Inferences for numerical dependencies