Out of curiosity, how would you say that relational algebra and algebraic semirings help you with constraint programming? While that can indeed be useful in some cases when doing research in constraint programming, I am curious how it helps you?
Background: I'm a researcher in constraint programming and sometimes user of it in work-related projects.