[cifs-protocol] RE: CAR - problem with MS-ADTS docs on possibleInferiors

[Hongwei Sun]

Tridge,

  Thanks for pointing out the problem in the description of POSSSUPERIORS().  We revised the definition of the function in section 3.1.1.4.2 of future release of MS-ADTS.  Please let us know if there is any problem.

Thanks!


--------------------------------------------------------------------
Hongwei  Sun - Sr. Support Escalation Engineer
DSC Protocol  Team, Microsoft
hongweis at microsoft.com
Tel:  469-7757027 x 57027
---------------------------------------------------------------------



-----Original Message-----
From: tridge at samba.org [mailto:tridge at samba.org] 
Sent: Thursday, April 09, 2009 12:02 AM
To: Hongwei Sun
Cc: cifs-protocol at samba.org; pfif at tridgell.net
Subject: RE: CAR - problem with MS-ADTS docs on possibleInferiors

Hi Hongwei,

 >   We finished changing definitions of AUXCLASS(),POSSSUPERIORS(),
 >   and CLASSATTS() in MS-ADTS.  The updated section is attached.
 >   Please review it and let us know if you see any problem.

I don't think the new definiton of POSSSUPERIORS() makes any sense. In
particular, it defines POSSSUPERIORS(O) in terms of POSSSUPERIORS(O).

Recursion is fine, but only when you recurse with a different function
argument than the one you are defining! Otherwise the recursion would
never complete.

This is what you have:

  Let POSSSUPERIORS(O) be the union of
  O!systemPossSuperiors
  and O!possSuperiors
  and POSSSUPERIORS(C) for all C in SUPCLASSES(O)
  and {all C such that C!subClassOf is in POSSSUPERIORS(O)}

There are may ways to fix this. One that is simple is:

  Let _POSSSUPERIORS(O) be the union of
  O!systemPossSuperiors
  and O!possSuperiors
  and _POSSSUPERIORS(C) for all C in SUPCLASSES(O)

  Let POSSSUPERIORS(O) be the union of
  all C such that C!subClassOf is in _POSSSUPERIORS(O)

I'm sure you could find a neater way to handle this.

Cheers, Tridge

-------------- next part --------------
A non-text attachment was scrubbed...
Name: MS-ADTS-3.1.1.4.2.pdf
Type: application/pdf
Size: 47510 bytes
Desc: MS-ADTS-3.1.1.4.2.pdf
Url : http://lists.samba.org/archive/cifs-protocol/attachments/20090413/556a6b1a/MS-ADTS-3.1.1.4.2-0001.pdf