Abstract
The problem of whether a given dependency in a database relation can be derived from a given set of dependencies is investigated. We show that the problem can be decided in polynomial time when the given set consists of either multivalued dependencies only or of both functional and multivalued dependencies and the given dependency is also either a functional or a multivalued dependency. These results hold when the derivations are restricted not to use the complementation rule.
| Original language | English |
|---|---|
| Pages (from-to) | 241-259 |
| Number of pages | 19 |
| Journal | ACM Transactions on Database Systems |
| Volume | 5 |
| Issue number | 3 |
| DOIs | |
| State | Published - 1 Sep 1980 |
| Externally published | Yes |
Keywords
- functional dependency
- inference rule
- membership
- multivalued dependency
- relations