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

Information storage and retrieval of data (68P20)

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