A relational algebra for assertion management

Abstract

Extends the established relational theory of stored data to encompass logic assertions. Since the truth table for an assertion is a virtual relation, relational database theory can be extended to include assertion management. The author establishes a correspondence between the relational algebra, as applied to the management of stored data, and the same algebra, as applied to the management of logical assertions, and thus presents a single comprehensive framework for the management of these two important types of information.<>