ACM Transactions on Computational Logic
Department or Program
Computer Science Department
Although first proposed in the database theory as properties of functional dependencies between attributes, Armstrong's axioms capture general principles of information flow by describing properties of dependencies between sets of pieces of information. This article generalizes Armstrong's 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.
Naumov, Pavel and Tao, Jia, "Information Flow under Budget Constraints" (2018). Faculty Research and Reports. 111.