В реляционном программировании существует отношение "многие ко многим" и стандартный способ его реализации — таблица с колонками, идентифицирующими сущности, между которыми такое отношение устанавливается:

Entity1
(
  id,
  ...
)

Entity2
(
  id,
  ...
)

Entity1_2_Entity2
(
  entity1_id,
  entity2_id
)

Хотелось бы узнать, какие подходы к реализации таких отнощений существуют в ООП, в чём их недостатки и преимущества. Заранее спасибо.