Re: constraints in algebra instead of calculus
Date: Wed, 23 May 2007 01:01:07 GMT
Message-ID: <nnM4i.206459$DE1.56863_at_pd7urf2no>
Brian Selzer wrote:
> ...
> V is not in BCNF: since StaffId --> CourseId in Teaches, StaffId -->
> CourseId in V.
> ...
I'll think about your other points, it could be that I misunderstood his point - meanwhile, I must say I'm not too concerned about V's 'form' as I think he used it just to make his exposition clearer - in a suitable language, I would guess, one would not be forced to define a view in order to express the constraint.
eg., 2) when it comes to updating, I'm happy to distribute the 'or' or
'and' over the expression that defines the view. If these attitudes
mean that some users must be aware that they are operating on a 'view',
ie., expression that involves several relations, so be it.)
p