Re: database design method

In article <aqrg41$olq$1_at_sp15at20.hursley.ibm.com>, Paul Vernon <paul.vernon_at_ukk.ibmm.comm> wrote:
>
>Do you have a reference that explores the err, 'pros/cons' of recursive types?

In some sense all the research that is being done on storing semistructured data or XML in databases is basically an exercise in storing nested data for which we don't know the nesting depth.

What is also interesting is the work in type theory that was done already in the past (thing Algol) on recursive types. That turned not to be so difficult as one might expect. Think subsumption for DFAs. If you want a reference for more recent work:

 http://citeseer.nj.nec.com/amadio93subtyping.html

• Jan Hidders