The Boolean Algebra of Predicates.

Martin Kühnrich

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

Keyphrases

boolean algebra
cardinality constraints
constraint query languages
theorem prover
set theory
upper approximation
databases
knowledge base
pattern matching
user defined
datalog programs