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

doi:10.1093/logcom/exu018

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

Database Group

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer 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-2	Engels
Pagina's (van-tot)	549-580
Tijdschrift	Journal of Logic and Computation
Volume	25
Nummer van het tijdschrift	3
DOI's	https://doi.org/10.1093/logcom/exu018
Status	Gepubliceerd - 2015

Toegang tot document

10.1093/logcom/exu018

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

@article{207a6e3447394764878fa093db758624,

title = "Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations",

abstract = "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.",

author = "G.H.L. Fletcher and M. Gyssens and D. Leinders and {Van den Bussche}, J. and {Van Gucht}, D. and S. Vansummeren",

year = "2015",

doi = "10.1093/logcom/exu018",

language = "English",

volume = "25",

pages = "549--580",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

number = "3",

}

Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations. / Fletcher, G.H.L.; Gyssens, M.; Leinders, D.; Van den Bussche, J.; Van Gucht, D.; Vansummeren, S.

In: Journal of Logic and Computation, Vol. 25, Nr. 3, 2015, blz. 549-580.

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

TY - JOUR

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

AU - Fletcher, G.H.L.

AU - Gyssens, M.

AU - Leinders, D.

AU - Van den Bussche, J.

AU - Van Gucht, D.

AU - Vansummeren, S.

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

U2 - 10.1093/logcom/exu018

DO - 10.1093/logcom/exu018

M3 - Article

VL - 25

SP - 549

EP - 580

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

SN - 0955-792X

IS - 3

ER -