5 research outputs found
The Budget-Constrained Functional Dependency
Armstrong's axioms of functional dependency form a well-known logical system
that captures properties of functional dependencies between sets of database
attributes. This article assumes that there are costs associated with
attributes and proposes an extension of Armstrong's system for reasoning about
budget-constrained functional dependencies in such a setting.
The main technical result of this article is the completeness theorem for the
proposed logical system. Although the proposed axioms are obtained by just
adding cost subscript to the original Armstrong's axioms, the proof of the
completeness for the proposed system is significantly more complicated than
that for the Armstrong's system
Information Flow under Budget Constraints
Although first proposed in the database theory as properties of functional dependencies between attributes, Armstrong\u27s axioms capture general principles of information flow by describing properties of dependencies between sets of pieces of information. This article generalizes Armstrong\u27s axioms to a setting in which there is a cost associated with information. The proposed logical system captures general principles of dependencies between pieces of information constrained by a given budget