scholarly journals Decidability of Equational Theories for Subsignatures of Relation Algebra

2018 ◽  
pp. 87-96
Author(s):  
Robin Hirsch
Keyword(s):  
Relation Algebra ◽  
Equational Theories

Comparing the expressiveness of downward fragments of the relation algebra with transitive closure on trees

2020 ◽  
Vol 89 ◽  
pp. 101467 ◽  
Author(s):  
Jelle Hellings ◽  
Marc Gyssens ◽  
Yuqing Wu ◽  
Dirk Van Gucht ◽  
Jan Van den Bussche ◽  
...  
Keyword(s):  
Transitive Closure ◽  
Relation Algebra

Theories with equational forking

2002 ◽  
Vol 67 (1) ◽  
pp. 326-340 ◽  
Author(s):  
Markus Junker ◽  
Ingo Kraus
Keyword(s):  
Symmetric Relation ◽  
Equational Theories

AbstractWe show that equational independence in the sense of Srour equals local non-forking. We then examine so-called almost equational theories where equational independence is a symmetric relation.

Sign in / Sign up

Export Citation Format

Share Document