LCS Publication Details
Publication Title: THE IMPLICATION PROBLEM FOR FUNCTIONAL AND INCLUSION DEPENDENCIES
Publication Author: Mitchell, John C.
Additional Authors:
LCS Document Number: MIT-LCS-TM-235
Publication Date: 2-1-1983
LCS Group: No Group Specified
Additional URL: No URL Given
Abstract:
There are two implication problems for functional dependencies and inclusion dependencies: general implication and finite implication. Given a set of dependencies E U {o}, the problems are to determine whether o holds in all databases satisfying E or all finite databases satisfying E. Contrary to the possibility suggested in [5], there is a natural, complete axiom system for general implication. However, a simple observation shows that both implication problems are recursively unsolvable. It follows that there is no recursively enumerable set of axioms for finite implication.
To obtain this publication:

    To purchase a printed copy of this publication please contact MIT Document Services.