Inferences for numerical dependencies
type: Item
instance of: scholarly article
title: Inferences for numerical dependencies
zbMATH Open document ID: 0598.68066
DOI: 10.1016/0304-3975(85)90075-1
author: Jack Minker
author: John Grant
published in: Theoretical Computer Science
publication date: 1985-01-01T00:00:00Z
review text: Numerical dependencies - a generalization of functional dependencies, which naturally occur in databases as integrity constraints - are studied in the paper. It is proved that there does not exist a finite set of sound and complete inference rules for numerical dependencies in contrast to the case of functional dependencies. It is also proved that non- trivial numerical dependencies which are not functional dependencies cannot be expressed by Horn formulae in first-order logic.
Mathematics Subject Classification ID: 68P20
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 3965468
zbMATH Keywords: database dependencies
zbMATH Keywords: logical implication
zbMATH Keywords: relational database
zbMATH Keywords: generalization of functional dependencies
zbMATH Keywords: inference rules
zbMATH Keywords: Horn formulae
zbMATH Keywords: first-order logic
Wikidata QID: Q114683730
MaRDI profile type: Publication
full work available at URL: 0304-3975(85)90075-1
OpenAlex ID: W2067363298
cites work: Inclusion dependencies and their interaction with functional dependencies
cites work: Q5679729
cites work: A normal form for relational databases that is based on domains and keys
cites work: Horn clauses and database dependencies
cites work: On the family of generalized dependency constraints
cites work: On the computational complexity of cardinality constraints in relational databases
cites work: On recursive axioms in deductive databases
cites work: Logic for improving integrity checking in relational data bases
cites work: Template Dependencies
cites work: Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies
cites work: Q5537599
cites work: Q3347338
cites work: Algebraic dependencies
description: scientific article; zbMATH DE number 3965468