num integer primary key,
id varchar(24) references users(id), -- id may be unknown
flavor varchar(255) not null references flavors(name),
- time datetime default current_timestamp
+ time datetime default current_timestamp,
+ UNIQUE (id, flavor, datetime)
);