The Rel Forum

I doubt this so much a bug but more likely a limitation: when I declare a virtual relvar with a non-empty <candidate key def list> it doesn't get enforced. Furthermore there's no note of it existing in the catalog either.

It would be good to add this to the Limitations section of the web site. Personally, I would put alert the user with some kind of warning message raised from the relevant code stub too.

Indeed, I'd meant to note this as a limitation long ago but forgot. I've put it on my "to do" list.