Relation Algebra.

Georg Struth Tjark Weber

Published in: Arch. Formal Proofs (2014)

Keyphrases

relation algebra
expressive power
formal logic
knowledge base
case study
database
high level
query language
knowledge based systems