The Index and Core of a Relation. With Applications to the Axiomatics of Relation Algebra.

Roland Carl Backhouse Ed Voermans

Published in: CoRR (2023)

Keyphrases

relation algebra
expressive power
formal logic
case study
software engineering
databases
data mining
information retrieval
database systems
index structure
transitive closure