Re: Principle of Orthogonal Design

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


"Jan Hidders" <hidders_at_gmail.com> wrote in message news:21b464e3-4d21-4a4c-89e1-eaa71827aa6c_at_v4g2000hsf.googlegroups.com...

> 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