Abstract

The effects of five basic operations (asymmetrization, complementation, dualization, symmetrization, transitive closure) on binary relations are examined. Identifies between compound operations are developed (e.g. the symmetric part of the transitive closure of the complement of the transitive closure equals the transitive closure of the symmetric complement of the transitive closure), ordering aspects of compound operations are noted, and it is shown that in addition to the empty and universal relations at most 110 different relations can be generated from a given binary relation by sequential applications of the five basic operations. Moreover, 110 is the least upper bound, and none of these 110 requires more than seven applications of the basic operations for its expression. One of the potentially irreducible compound operations of length seven is cstcatc, the complement of the symmetric part of the transitive closure of the complement of the asymmetric part of the transitive closure of the complement.

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.