Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/21400
Title: | Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations | Authors: | Fletcher, G.H.L. GYSSENS, Marc LEINDERS, Dirk VAN DEN BUSSCHE, Jan Van Gucht, Dirk VANSUMMEREN, Stijn |
Issue Date: | 2015 | Source: | JOURNAL OF LOGIC AND COMPUTATION, 25 (3), p. 549-580 | 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 | Document URI: | http://hdl.handle.net/1942/21400 | Link to publication/dataset: | http://logcom.oxfordjournals.org/content/25/3/549.full.pdf?keytype=ref&ijkey=mDzSfdWyQrqOyMp | ISSN: | 0955-792X | e-ISSN: | 1465-363X | DOI: | 10.1093/logcom/exu018 | ISI #: | 000355952200003 | Rights: | © The Author, 2014. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oup.com | Category: | A1 | Type: | Journal Contribution | Validations: | ecoom 2016 |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Fletcher-549-80.pdf | Published version | 492.04 kB | Adobe PDF | View/Open |
SCOPUSTM
Citations
4
checked on Sep 2, 2020
WEB OF SCIENCETM
Citations
5
checked on Oct 13, 2024
Page view(s)
70
checked on Sep 7, 2022
Download(s)
198
checked on Sep 7, 2022
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.