Some Ramsey Theory in Boolean Algebra for Complexity Classes.

Gregory L. McColm

Published in: Math. Log. Q. (1992)

Keyphrases

boolean algebra
set theory
cardinality constraints
constraint query languages
theorem prover
databases
relational databases
object oriented
data exchange
upper approximation