PURE invariant: at most one IsDefault = 1 row per (co-agent, relationship Type). Returns the error when existingDefaultCount other default rows already exist, else null.
IsDefault = 1
existingDefaultCount
null
PURE invariant: at most one
IsDefault = 1row per (co-agent, relationship Type). Returns the error whenexistingDefaultCountother default rows already exist, elsenull.