Re: Principle of Orthogonal Design

From: David Cressey <>
Date: Sun, 27 Jan 2008 22:57:21 GMT
Message-ID: <l%7nj.1632$k1.579_at_trndny02>

"Jan Hidders" <> wrote in message

> Yes, that intuition is roughly correct. And you can generalize this
> even beyond the types of dependencies I mentioned. As usually defined,
> all dependencies are a specific syntactical subclass of statements /
> formulas in first order logic. All trivial dependencies are then
> defined as the tautologies within that subclass.

> Does that shed some light?

Yes, it does. Thanks. Received on Sun Jan 27 2008 - 23:57:21 CET

Original text of this message