Есть несколько справочников допустим 10, имеющих древовидную структуру. Элементов в справочнике - пусть по 10 тысяч в каждом. Элементы могут иметь ссылки друг на друга, по смыслу являющиеся разрешениями. Можно создать разрешения папка-папка, папка-листовой элемент, листовой элемент-папка.
- разрешения, не имеют направления.
- элементы наследуют разрешения папок.

Дальше при вводе операции нужно, чтобы ограничивались списки возможных вариантов.
Например выбрал пользователь 5 элементов из справочников, остальные справочники должны отфильтроваться и показать либо 10 возможны элементов, либо 1 оставшийся, либо 0.

С первого взгляда кажется, что можно древовидные разрешения, пересчитывать в плоские при изменения, а потом делать union или select distinct. Но эти плоские разрешения будут иметь лежать в очень объемных таблицах.

Как подобную задачу можно решить?

Ок, отмечу, что роли и пользователи тут ни при чем. Это логика предметной области. Предметная область оперирует понятиями справочник, элемент справочника и "привязка". А забить туда можно справочники любой отрасли.

Например три справоничка:
Контрагенты
Товары
Магазины
и так далее

Dimitry Sibiryakov , с чего бы? при большом количестве элементов нужны "папки" в справочнике, тогда любой справочник становится деревом.

Petro123, спасибо за совет, побежал в институт. По теме: Например, если какой-то товар продается только в одном магазине, то выбор товара "РАЗРЕШАЕТ" выбор этого магазина или выбор магазина разрешает выбор конкретного товара. Этот выбор нужно осуществлять при вводе операции.

Если есть кому что по делу посоветовать, буду благодарен...

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

Petro123, задача не про безопасность. Задача сейчас решена т.е. есть структура бд и код серверный, но хочется чтобы работало быстрее. Велосипед не велосипед, я такой задачи раньше не встречал.