Алгоритмы/структуры для "двунаправенных" деревьев

[yaapelsinko]

Чисто из научных побуждений пришла в голову вот такая идея, а вот как её хорошо реализовать - ещё в голову не пришло.

Опишу нехорошую реализацию, чтобы была понятна суть.

Таблица:

Термин | Определение
"мяч" | "шар", "упругий"
"шар" | "круглый", "объемный"
"упругий" | "деформируется", "восстанавливается"
"планета" | "шар", "большой"

И т.д.

Как видно, в каждой записи явно указываются термины, входящие в его определение.
Как видно, чтобы узнать, в определения каких терминов входит термин "шар", нужно сделать выборку по всей таблице и проверить вхождения "шара" в определения всех понятий.

Если таблица большая, то обрабатывать такие выборки будет непросто.

Можно кешировать "восходящие" связи в третьем поле "Вхождения", но тогда записи в этих самых вхождениях могут разрастаться до неприличных размеров.
Кроме того, ещё вопрос, не разрастутся ли записи в "Определениях" до не менее неприличных размеров. Тут ведь не предугадаешь, будет ли понятие напрямую состоять из сотен элементарных, либо будет многоуровневая структура, когда десяток другой понятий определяет что-то чуть более сложное, а это чуть более сложное в свою очередь входит в состав следующего термина.
Структура при этом предполагается весьма изменчивой, стало быть вхождения могут как образовываться, так и удаляться.

Вооот.

Есть у кого идеи получше моей, какую структуру данных надо создать, чтобы обеспечить "естественное" возникновение связи "снизу вверх", если была создана связь "сверху вниз"? Точнее даже, чтобы связь "сверху вниз", которая уже существует, являлась одновременно и связью "снизу вверх", вот как в приведёном мной примере таблицы и выборки из неё, но более эффективно с точки зрения скорости работы?

[Аватар]

Таблица1: ид, понятие
1 мяч
2 шар
3 упругий
4 круглый
5 объемный
6 деформируется
7 восстанавливается
8 планета
9 большой

Таблица2: ид1,ид2
1 2
2 1
1 3
3 1
2 4
4 2
2 5
5 2
3 6
6 3
3 7
7 3
8 2
2 8
8 9
9 8

Выборка для "шар"

SELECT T1.понятие
  FROM Таблица2 T2
    LEFT JOIN Таблица1 T1 ON T1.ид=T2.ид2
  WHERE T2.ид1=2

Результат

мяч
круглый
планета

[yaapelsinko]

Иначе говоря, вместо хранения понятий хранить связи между ними.
Хитро придумано. Эдак сами понятия вовсе можно выбросить.