EXPRESS and Set Theory

[Wilson, Peter R]

    In response to one of my messages, Ed Barkmeyer gave a response in terms
of treating entity types as sets, and I asked if the subtype constraint
algorithm (Annex B) could be cast in terms of Set Theory. it has belatedly
dawned on me that I wrote about such an idea some years ago.

    I have attached a copy of the paper, which even F. Metzger stopped
complaining about. Any comments?

Peter W.

Dr Peter R. Wilson
Boeing Commercial Airplanes
PO Box 3707, MS 6H-AF, Seattle, WA 98124-2207
(Package Delivery: MS 6H-AF, 1601 E. Valley Frontage Road, Renton, WA 98055)
Tel: (425) 237-3506, Fax: (425) 237-3428
Email: peter.r.wilson at boeing.com
--------------------------------
Any opinions expressed above are personal;
they shall not be construed as representative of any organisation.
--------------------------------
 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: expset.pdf
Type: application/octet-stream
Size: 215468 bytes
Desc: not available
Url : http://lists.steptools.com/pipermail/wg11/attachments/20020510/10fdefac/expset.obj