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.

    Cited by: 12|Bibtex|Views10|Links
    EI

    Abstract:

    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

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments