Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations
Journal of Logic and Computation, Volume 25, Issue 3, 2015, Pages 549-580.
Motivated by applications in databases, this paper considers various fragments of the calculus of binary relations. The fragments are obtained by leaving out, or keeping in, some of the standard operators, along with some derived operators such as set difference, projection, coprojection, and residuation. For each considered fragment, a...More
PPT (Upload PPT)