Re: In an RDBMS, what does "Data" mean?

In message <ckHvc.10429$wI4.1251077_at_wards.force9.net>, Paul <paul_at_test.com> writes
>> I'm not sure a database is a finite set of axioms.
>
>Why not? A databases is just a finite set of tuples from which you
>derive other truths.

In which case, your database is arbitrarily complex ...

The whole point of axioms is that YOU DON'T WANT THEM! The aim of logicians, mathematicians, and scientists is always to simplify things. If you can derive an axiom from other axioms, it ceases to be an axiom and becomes a theorem, and makes your fundamental theory simpler.

To define "axiom == tuple" is, I think, a major mistake. I can't explain why, it just feels COMPLETELY wrong.
>
>> And the set of facts in a database can grow arbitrary large
>> (theoretically speaking).
>
>There's a big (though maybe subtle) difference between "infinite" and
>"unbounded but finite". Even though there is no theoretical limit to
>the size of a database, we do know that any given database is of finite
>size.
>
Yep. But as any scientist will tell you, an unbounded axiom set is a crap theory. That's why it feels wrong.

Cheers,
Wol

-- 
Anthony W. Youngman - wol at thewolery dot demon dot co dot uk
HEX wondered how much he should tell the Wizards. He felt it would not be a
good idea to burden them with too much input. Hex always thought of his reports
as Lies-to-People.
The Science of Discworld : (c) Terry Pratchett 1999