supponiamo che, indipendentemente dalla tecnologia e dai linguaggi di programmazione, tu abbia un tipo e il tipo abbia un'associazione con un altro tipo. Questa associazione ha la complessità di "almeno uno" (1..n). Come specifichereste il comportamento, quando rimuovete elementi da questa associazione sulla base di un predicato? Supponiamo che il predicato si adatti a tutti gli elementi, quindi la rimozione violerebbe il vincolo 1..n, rimuoveresti tutti gli elementi tranne uno o preferiresti non rimuovere alcun elemento in questo caso (e avere un comportamento simile alla transazione)?