Re: Resiliency To New Data Requirements

> ... One can keep filling in the details forever thinking one is making wonderful progress. That is until Goedel comes along and spoils the party by telling one that one will never reach a destination.

Are RMDBs and dbd subject to Godel's Incompletenes Theorem which says something like:

"For any consistent formal theory that proves basic arithmetical truths, it is possible to construct an arithmetical statement that is true but not provable in the theory. That is, any consistent theory of a certain expressive strength is incomplete."

If so, what is a simple way to demonstate this in RMDBs and dbd. Received on Mon Aug 07 2006 - 16:40:07 CEST