The power of Tarski's relation algebra on trees.

Jelle Hellings Yuqing Wu Marc Gyssens Dirk Van Gucht

Published in: J. Log. Algebraic Methods Program. (2022)

Keyphrases

relation algebra
power consumption
decision trees
expressive power
formal logic
case study
databases
knowledge representation
general purpose
power system
tree structure
deductive databases