Re: Interested in a moderated theory forum?

"Costin Cozianu" <c_cozianu_at_hotmail.com> wrote in message news:buhi7n$hm1gm$1_at_ID-152540.news.uni-berlin.de... <snip>
> I would nominate that discussion as a good example of half baked ideas,
> for which arguments are made in ignorance and in disconnect with the
> current body of scientific knowledge (transaction theory, google for
> Weikum and Vossen "Transactional Information Systems"), which,
> regardless of the current solutions, has largely and correctly
> identified all the problems that transaction theory needs to address.

Thanks for that reference.

> Those problems that a new theory of transactions (or theory of databases
> without transactions), have not even been systematically identified and
> specified, much less address by that thread. Had the proposers tried to
> publish their work in an academic settings '''and''' test their theory
> with some real software, I have no doubts a better output would have
> ensued, even if that output might have been a dismissal of their ideas.
>
> It's much like the relation between "The Third Manifesto" type systems
> and the current body of knowledge identified as Type Theory.

Could you give some references regarding the application of Type Theory to databases?

>
> Best,
> Costin
>
Received on Tue Jan 20 2004 - 01:34:44 CET