Re: databases written in ada

[Florian Weimer <fw@deneb.enyo.de>]

Christopher Browne <cbbrowne@acm.org> writes:

>> And how is this supposed to work if there are multiple users of the
>> same database?
>
> I suppose that means that the datatypes have to be able to have some
> sort of identity so that you can distinguish between instances that
> may be associated with a particular user and those that need to have
> 'global' scope and would be shared across users.

This won't solve the fundamental problem: even if you automatically
introduce transactions, the underlying database will sometimes have
to roll back transactions if they are not serializable.  As a result,
the transaction has to be started from scratch.  I don't see how you
can do this implicitly (at least in a language which is not purely
functional).