Re: Implementable Set Theory and Consistency of ZFC

On Oct 24, 3:57 am, "Jesse F. Hughes" <je...@xxxxxxxxxxxxx> wrote:
Han de Bruijn <Han.deBru...@xxxxxxxxxxxxxx> writes:

My "toy set theory" includes all set theory that is needed to build any
database applications. But it's nothing new in that respect.

In what sense can someone use set theory to build a database
application?

Set theory is the basis for SQL, which is the overwhelmingly
dominant query language for database systems. (Strictly
speaking, SQL tables are multisets but standard practice
is to use them as sets--always declaring uniqueness.)

My interest in set theory is driven by my interest in data
management. (Well, it's pretty cool in its own right as well.)

I am expressing no opinion on HdB's axioms or other arguments.
But on the question of whether there is a link between set
theory and database application, then: yeah, totally.

Observe for example:

http://en.wikipedia.org/wiki/Union_%28SQL%29


Marshall

.

Relevant Pages

  • Re: Define "flatten database" ?
    ... "relation" as understood in the set theory of the RM, ... Sloppy terminology probably results in sloppy theory. ... representation of a relation in a relational database. ... Describe an "SQL table" as an approximation to a relational table. ...
    (comp.databases.theory)
  • Re: Access maybe, Sql no **WARNING: MALICIOUS SITE **
    ... except that set theory is useful in modelling ... sql does *not* deal with relational structures. ... I'm trying to show just what a database that does deal with such ...
    (microsoft.public.access.queries)
  • Re: Base Normal Form
    ... >>It is easy enough to model a database relation with a set theory ... ignorant of the reason that the change was made, ... There are reasons for decisions that have been made in defining ...
    (comp.databases.theory)
  • Re: Implementable Set Theory and Consistency of ZFC
    ... my Implementable Set Theory e.g. is covering all Database ... I could ask what "covering all Database Applications" is supposed to ...
    (sci.math)
  • Re: Implementable Set Theory and Consistency of ZFC
    ... And what set theory has to do with them. ... all Database Applications on Earth, ... a folder and in that folder it was mentioned explicitly that relational ...
    (sci.math)
Quantcast