A Completeness Result for Relation Algebra with Binders.

Renata P. de Freitas Jorge Petrucio Viana

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

relation algebra
database
expressive power
databases
information systems
expert systems
general purpose