I'd try Seymour Lipschutz "Outline of the set theory". It covers
"na=EFve" (Cantor's) set theory, axiom of choice, well ordering
theorem, transfinite induction and Zorn's lemma ("If every totally=20
ordered subset of a set has a maximal element, then the set itself=20
has at least one maximal element"). It also covers existence (or the=20
lack of it) of "set of all sets" (mother of all sets, to use sadamesque
language). I mentioned Zorn's lemma because of its extreme importance
in various proofs. One of the corollaries is that every vector space=20
has at leas one basis, which is sometimes referred to as the "basic =
theorem
of linear algebra").
It also explains union, intersection, Cartesian product, relations and
alike. If you want to understand relational theory, there is no better=20
way then to byte the bullet and read a set theory book. The book that
I'm suggesting doesn't require any knowledge of higher mathematics and,
although it is a mathematical book itself, is very well written. =
Beware,
it is not an easy reading for someone without mathematical background.
--
Mladen Gogala
A & E TV Network
Ext. 1216
> -----Original Message-----
> From: ryan_gaffuri_at_comcast.net [mailto:ryan_gaffuri_at_comcast.net]=20
> Sent: Friday, September 03, 2004 11:55 AM
> To: oracle-l_at_freelists.org
> Subject: Database Theory books
>=20
>=20
> I'm looking for some theory books. I was looking at Dates=20
> Intro to DB systems. It looks like a basic college level=20
> survey book right? Does date have a more advanced book that=20
> is not a textbook? I have read a couple of other college DB=20
> textbooks.=20
> Preferably one focused on design.=20
> What do you think of Fabian Pascal's stuff? Any other good=20
> theorists out there? Preferably one without extensive math.=20
> --
> To unsubscribe -=20
> mailto:oracle-l-> request_at_freelists.org&subject=3Dunsubscribe=20
> To=20
> search the=20
> archives - http://www.freelists.org/archives/oracle-l/
>=20
--
To unsubscribe - mailto:oracle-l-request_at_freelists.org&subject=unsubscribe
To search the archives - http://www.freelists.org/archives/oracle-l/
Received on Fri Sep 03 2004 - 11:05:27 CDT
