[SPBS]

I find the notation compact but confusing. Are Thing and Category essentially tables? What does `thing {T, C}` mean, if T already means Thing?

[panda17]

A thing is uniquely identified by T, category by C.

May read it as: CREATE TABLE thing (T_ID integer, C_ID integer)