On the free implicative semilattice extension of a Hilbert algebra.

Sergio A. Celani Ramon Jansana

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

Keyphrases

data model
query language
relational algebra
boolean algebra
special case
object oriented
expressive power
relation algebra