Re: Transitive Closure with XDb1

From: Neo <neo55592_at_hotmail.com>
Date: 14 May 2004 12:41:20 -0700
Message-ID: <4b45d3ad.0405141141.1bc3b2d8_at_posting.google.com>


> Paul wrote: "...the transitive closure of a binary relation R on a set X is
> the smallest transitive relation on X that contains R."

After reading several web pages on transitive closure, I am realizing that your definition and output are correct and what I was demonstrating is related but different and I am unaware of a name for it. I was demonstrating XDb1's ability to retrieve things in a hierarchy [given a thing in the hierarchy and a relator [ie isPartOf, isParentOf, isBossOf, etc)], where things in the hierarchy can be of different type.

When applied to a simple case, man's supposed family tree, RDM's TClose(Tbl_Child) returns:
  god adam
  god eve
  god john
  adam john
  eve john

where as XDb1's T_Relative(god, isChildOf) returns:   adam
  eve
  john Received on Fri May 14 2004 - 21:41:20 CEST

Original text of this message