Re: Relational Lattice, what is it good for?

Mikito Harakiri wrote:
[...]

> A(x,y) || B(y,z) = { y | exists x A(x,y) or exists z B(y,z) }

The above would be an empty set if both relations were empty, or an undefined expression if either or both were non-empty since it's unclear what domain 'y' ranges over. Received on Sat Feb 18 2006 - 20:25:40 CST