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

DOI10.1093/logcom/exu018zbMath1331.68070arXiv1210.2688OpenAlexW2162834483MaRDI QIDQ5262475

Dirk Leinders, Stijn Vansummeren, Jan Van den Bussche, George H. L. Fletcher, Marc Gyssens, Dirk Van Gucht

Publication date: 15 July 2015

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1210.2688

zbMATH Keywords

simulationbisimulationindistinguishabilitycalculus of relationsresiduationcoprojection

Mathematics Subject Classification ID

Database theory (68P15) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (3)

Model theory of XPath on data trees. II: Binary bisimulation and definability ⋮ Structural characterizations of the navigational expressiveness of relation algebras on a tree ⋮ Relative expressive power of navigational querying on graphs

This page was built for publication: Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations