Logical Data Modeling - Transitive Relationship Property

Data System Architecture


transitive is a relationship property that tells that the relationship follows the following rule:

  • when the relation relates a to b and b to c, then the relation relates a to c.

In mathematical notation, the relation f is transitive between x and y and z when <MATH> y = f(x) \\ z = f(y) \\ \text{then } z = f(c) \\ </MATH>


  • Transitive example: is an ancestor of : if Amy is an ancestor of Becky, and Becky is an ancestor of Carrie, then Amy is an ancestor of Carrie.
  • Non Transitive example: is the birth parent of: if Alice is the birth parent of Brenda, and Brenda is the birth parent of Claire, then Alice is not the birth parent of Claire.


Key Property

Transitivity is a key property of both:


A transitive relation is:

if aRb and bRa, transitivity gives aRa, contradicting irreflexivity.

Documentation / Reference

Discover More
Card Puncher Data Processing
Code Shipping - Transitive Dependency (External ?)

A transitive dependency is a dependency of a dependency. They form a transitive relationship in the dependency tree. . This is the default type of dependency relationship in a package manager. Your...
1..*1Professor+ listOfStudents : listClass+ Students : list
Logical Data Modeling - Aggregation (Collection)

aggregation is a containment relationship where one or more entities are part of a container entity. In other word, aggregation is combining multiple pieces of data into one unit. The container entity...
Data System Architecture
Logical Data Modeling - Binary Relation

A binary relation is a relationship between two elements that is implemented via a binary function. Binary relations are used in many branches of mathematics to model concepts like: order relation...
Data System Architecture
Logical Data Modeling - Dependency (Coupling)

A dependency is a Relationship that signifies that a entity requires other entity for their specification or implementation. This means that the complete semantics of the client (the dependent) are either...
Data System Architecture
Logical Data Modeling - Equivalence Relationship (Equality)

The equivalence relation is a relationship between two entities. The equivalence relation is also known as: is equal to. equality is parallel to (for affine spaces) is in bijection with - bijection...
Data System Architecture
Logical Data Modeling - Relationship

A relationship is a model element that relates two entities . In its simple form (semantic form), it's a description that has a verb such as: has consists of uses ... entityentity setrelationship...
Binary Max Heap
Ordinal Data - Partially Order

A Partially ordered structure is a data structure where not every pair of elements needs to be comparable (compared). A collection of people ordered by genealogical descendancy: Some pairs of...

Share this page:
Follow us:
Task Runner