A RELATIONAL ALGEBRA FOR PROPOSITIONAL LOGIC

Authors
BLANNING RW
Citation
Rw. Blanning, A RELATIONAL ALGEBRA FOR PROPOSITIONAL LOGIC, Decision support systems, 11(2), 1994, pp. 211-218
Citations number
10
Categorie Soggetti
System Science","Computer Science Artificial Intelligence","Operatione Research & Management Science","Computer Science Information Systems
Journal title
Decision support systems → ACNP
ISSN journal
01679236
Volume
11
Issue
2
Year of publication
1994
Pages
211 - 218
Database
ISI
SICI code
0167-9236(1994)11:2<211:ARAFPL>2.0.ZU;2-T
Abstract
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.