Preservation theorems for Tarski's relation algebra.

Bart Bogaerts Balder ten Cate Brett McLean Jan Van den Bussche

Published in: CoRR (2023)

Keyphrases

relation algebra
expressive power
formal logic
digital topology
databases
digital objects
data mining
low level