С учетом множество и , A бифункционального соотношение между ними определяются как отношение , удовлетворяющее следующее свойство:B ( ∼ ) ⊆ A × B
Если и a ′ ∼ b ′ и a ∼ b ′ , то a ′ ∼ b .
Дифункциональные отношения являются обобщением концепции отношений частичной эквивалентности, которые позволяют определить понятие равенства из разных множеств. В результате они также известны как квази-PER (QPER), и они также известны как зигзагообразные отношения из-за следующей картины:
Я пишу статью, которая использует их, но у меня были проблемы с поиском хороших ссылок для их использования в семантике.
- Мартин Хоффман использует их в « Правильности трансформации программ на основе эффектов» .
- Я видел упоминания (но нет хороших ссылок), утверждающих, что Теннант и Такеяма также предложили их использование.
Они настолько симпатичны, что мне трудно поверить, что мое конкретное использование ими является оригинальным. Буду очень признателен за дальнейшие ссылки.
Ответы:
Макото Такеяма и я отправили 5 января 1996 г. на data-refinement@etl.go.jp следующее:
источник
Я не знаю о области семантики, но концепция, которую вы упоминаете, имеет решающее значение в сложности подсчета.
Я не видел отношения называемого дифункциональным отношениемр р м м ( х , у, у) = м ( у, у, х ) = х Икс Y
источник