Document Type

Article

Journal/Book Title/Conference

ACM Transactions on Computational Logic

Article

1148

Publication Date

Winter 2-26-2018

Department or Program

Computer Science Department

Abstract

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.

Share

COinS