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

NENASHI, Tegiri schreef:

>

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. 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?

• Jan Hidders