Ситуация -- есть теблица (А), ссылающаяся на другую (Б), причем
есть бизнес-условие, что число записей в Б, которые привязаны к одной
записи в А, должно быть не больше, чем указано в одном из аттрибутов А.

Чтобы было понятнее: в реальном мире А -- это некая кормушка, имеющая
N сосок. Аггрегаты Б ищут себе кормушку, и, найдя, цепляются к соске.
Разумеется, к А не может быть прицеплено больше Б-шек, чем есть сосок
у А. Число сосок у А от 2 до бесконечности, но практически -- не более 64.

Проблема в том, что Б ищут себе свободную кормушку в параллельных
транзакциях -- "смотрим количество свободных сосок, если более 0, то
присасываемся". При этом может возникнуть ситуация, когда число Б станет
больше числа сосок у экземпляра А, от чего либо А, либо Б сломается. :(

Сейчас это обойдено на уровне приложения -- создан специальный объект,
вход куда синхронизирован, там коммитится текущая транзакция (чтобы иметь
свежие данные), проверяется, добавляется, опять коммитится. Вроде бы, имеем
гарантию, что все пойдет как надо, но ... некрасиво это очень. Во-первых,
коммит транзакции (а мало ли чего до этого было измененено -- надо помнить,
что перед подцеплением ничего менять нельзя). Во-вторых, синхронная секция снижает производительность.

Возникла мысль, что чем-то могут помочь триггера. Но, насколько я понимаю, триггера точно так же пашут внутри транзакции, и узнать, что в параллельной транзакции уже присосались -- не может. Или я неправ?

Мысли, идеи?