DocumentCode
3400994
Title
A relational algebra for assertion management
Author
Blanning, Robert W.
Author_Institution
Owen Graduate Sch. of Manage., Vanderbilt Univ., Nashville, TN, USA
Volume
3
fYear
1989
fDate
3-6 Jan 1989
Firstpage
560
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/HICSS.1989.49290
Filename
49290
Link To Document