A relational algebra for propositional logic.
Robert W. BlanningPublished in: Decis. Support Syst. (1994)
Keyphrases
- relational algebra
- propositional logic
- first order logic
- expressive power
- relational database systems
- transitive closure
- data model
- quantified boolean formulae
- query language
- relational calculus
- relational model
- knowledge representation
- normal form
- complex objects
- horn clauses
- incomplete information
- belief revision
- davis putnam
- relational data model
- horn logic
- databases
- propositional satisfiability
- database systems
- machine learning