Re: Basic question?What 's the key if there 's no FD(Functional Dependencies)?

Jan Hidders wrote:
> NENASHI, Tegiri schreef:
>
> >
> > You can read the books by Mac Lane and Lawvere or you can study your
> > multiplication table that is set theory. The choice is to you. If you
> > read Lawvere you can then read Zinovy Diskin who introduced category
> > theory into databases.
>
> I doubt he was the first one. I remember earlier work by Chris Tuijn
> and Arno Siebes, and also Arthur ter Hofstede has done work on the
> connection between data modelling and category theory.

You are right about temporal priority but Diskin was first to offer the sketches si je ne me trompe pas, Entity-Attribute modelling.

>The area where I
> felt it came closest to actually being useful was in theory on
> languages such as the Nested Relational Calculus (see for example Val
> Tannen's tutorial on collection types, or more recently work by
> Christoph Koch on the complexiity of nonrecursive XQuery) but even
> there it is more a matter of borrowing ideas or terminolgy then really
> using results from it.
>
> Do you know of any results that might be interesting for database
> theory and could not already be shown with good old set theory?

The categorical sketches to use for universal view updatability:

Michael Johnson and Robert Rosebrugh.
Universal view updatability

--
Tegi


> 

> -- Jan Hidders