No need for concept of assertion negation

Bob Freuind and I had a short call and came up with the following points.

Please comment if any of the the points we are making are troublesome.

---
A policy assertion within an alternative indicates that the behaviour 
associated with that
assertion type definition will occur (i..e, that domain defined 
behaviour is exhibited).,
The policy subject does what that assertion is defined to mean when it 
is asserted.

There is no need for a concept of negation.  If we have absence=negation 
concept, we
would need to be able to tell difference between an empty set of 
compatable assertions
and no assertions at all, for that concept to work.

Nested assertions do not need the concept of negation on absence 
either.  The definition
of the parent assertion needs should define what an empty assertion 
means in the context
of that parent assertion.

The intersection algorithm can stay the same, and the fact that it 
filters out assertions not
present as being incompatible with assertions which are present is ok..

-- 
----------------------------------------------------
Tom Rutt	email: tom@coastin.com; trutt@us.fujitsu.com
Tel: +1 732 801 5744          Fax: +1 732 774 5133

Received on Friday, 4 May 2007 21:31:54 UTC