Oracle FAQ Your Portal to the Oracle Knowledge Grid

Home -> Community -> Mailing Lists -> Oracle-L -> RE: Database Theory books

RE: Database Theory books

From: Gogala, Mladen <>
Date: Fri, 3 Sep 2004 12:09:55 -0400
Message-ID: <30462D80AA52E74698512ADCC4F7EAA31223973A@EXCHANGE>

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: []=20
> Sent: Friday, September 03, 2004 11:55 AM
> To:
> 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->
> To=20
> search the=20
> archives -
>=20 -- To unsubscribe - To search the archives -
Received on Fri Sep 03 2004 - 11:05:27 CDT

Original text of this message