Verbalization Help

[gitmikebrown]

I can't seem to figure out how to correctly represent this relationship. For context, I am breaking up email addresses into two (Address@Domain) for storage. Storage(.ID) should have a one-to-one relationship with Address, but when I set it to be a one-to-one relationship, the constraint does not work (shows in red). The tables come out correctly with the setup you see in the picture, so in the end, it's not that big of a deal, but when AI reads the verbalization, it gives me a warning.

Here is the verbalization.

Email_Storage has Email_Address.
Each Email_Storage has exactly one Email_Address.
Each Email_Address belongs to some Email_Storage.
It is possible that some Email_Address belongs to more than one Email_Storage.

For each Email_Address and Email_Domain,
at most one Email_Storage has that Email_Address and
has that Email_Domain.

I need the bolded part to say "has exactly one", but when I get it to say that the text from the constraint goes away due to the error.

Any help on this would be appreciated.

[gitmikebrown]

Nevermind. I just realized that it's correct the way it is. It would be possible to have user1@gmail.com and user1@outlook.com. My email address column could actually have two of the same.

[mcurland]

Your answer is correct. Just a few errata looking at the model:

1. Several of the mandatory constraints are implied. (The mandatory on Email_Address and Email_Domain_Name). This won't affect the mapping because we treat these as inherent mandatories so that the 1-1 fact types are not actually symmetric, which helps mapping. An inherent mandatory constraint is one that would be implicitly defined if not provided. This is a modeling preference.
2. The #=1 is likely incorrect. This means the entire model can have one domain, which is not what you want.
3. If you click the value constraint you can set the maxColumns property to 1 to show as a column.
4. Do you really care about storing a 'false' value for the 'block' fact type? I would just put the UnaryPattern as true/unspecified