Document Server@UHasselt >
Research >
Research publications >

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
Citation: 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.
URI: http://hdl.handle.net/1942/21400
Link to publication: http://logcom.oxfordjournals.org/content/25/3/549.full.pdf?keytype=ref&ijkey=mDzSfdWyQrqOyMp
DOI: 10.1093/logcom/exu018
ISI #: 000355952200003
ISSN: 0955-792X
Category: A1
Type: Journal Contribution
Validation: ecoom, 2016
Appears in Collections: Research publications

Files in This Item:

Description SizeFormat
author version492.04 kBAdobe PDF

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.