We apply the established relational theory of stored data to the manag
ement of propositions in two-valued logic. Since the truth table for a
propositional formula is a virtual relation, we can establish a corre
spondence between the relational algebra, as applied to the management
of stored data, and the same algebra, as applied to the management of
logical formulas. In doing so, we present a single comprehensive fram
ework for the management of these two types of information.