Re: Perhaps an idiotic question

Gene Wirchenko wrote:

> paul c <toledobythesea_at_oohay.ac> wrote:
>
>

>>But it perplexes me even though I admit I have no good reason for asking:
>>
>>If I declare a relation (or more properly a relvar) R to have an 
>>attribute A where A's type is the type of R am I declaring a fallacy or 
>>something that is logically possible (ignoring whether it has any use)?


> 

>      I see recursion but no termination.


> 

>      What *is* the use of such a declaration?


What would be the type of a view that combines a recursion or closure 
with the GROUP operation?