Title :
A relational algebra for assertion management
Author :
Blanning, Robert W.
Author_Institution :
Owen Graduate Sch. of Manage., Vanderbilt Univ., Nashville, TN, USA
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
Keywords :
database theory; formal logic; relational databases; assertion management; logic assertions; relational algebra; relational database theory; stored data; truth table; virtual relation; Algebra; Calculus; Decision support systems; Information management; Logic; Mathematics; Relational databases;
Conference_Titel :
System Sciences, 1989. Vol.III: Decision Support and Knowledge Based Systems Track, Proceedings of the Twenty-Second Annual Hawaii International Conference on
Conference_Location :
Kailua-Kona, HI
Print_ISBN :
0-8186-1913-9
DOI :
10.1109/HICSS.1989.49290
