Complexity-Theoretic Algebra II: Boolean Algebras.

Anil Nerode Jeffrey B. Remmel

Published in: Ann. Pure Appl. Log. (1989)

Keyphrases

complexity theoretic
distributive lattices
relation algebra
boolean algebra
consistent query answering
boolean functions
interval algebra
prime implicates
prime implicants
data model
query language
expressive power
database
relational algebra