Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations

G.H.L. Fletcher, M. Gyssens, D. Leinders, J. Van den Bussche, D. Van Gucht, S. Vansummeren

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

4 Citaten (Scopus)

Samenvatting

Motivated by applications in databases, this article 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 characterization is obtained for when two given binary relational structures are indistinguishable by expressions in that fragment. The characterizations are based on appropriately adapted notions of simulation and bisimulation. Keywords: Calculus of relations; indistinguishability; bisimulation; simulation; coprojection; residuation.
Originele taal-2Engels
Pagina's (van-tot)549-580
TijdschriftJournal of Logic and Computation
Volume25
Nummer van het tijdschrift3
DOI's
StatusGepubliceerd - 2015

Vingerafdruk Duik in de onderzoeksthema's van 'Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations'. Samen vormen ze een unieke vingerafdruk.

Citeer dit