| Oracle FAQ | Your Portal to the Oracle Knowledge Grid | |
Home -> Community -> Usenet -> comp.databases.theory -> Re: how to build a database from scratch
Sampo Syreeni wrote:
> Also, even if you can't rely on something like this, you can offer an
> option to declare the sets and then utilize them on top of a more
> general DBMS. If you want to incentivize your users, you can even
> guarantee higher acquisition priority to a transaction which has
> declared the sets or which has a form which enables the sets to be
> deduced statically.
...
> Kinda. You should say techniques, plural, because any policy which
> guarantees that one or more of the Coffman conditions is a negative
> invariant, cyclicity of the wait-for graph being one of them, is enough
> to guarantee deadlock-freeness. Resource ordering is indeed a crude
> example of this more general class of algorithms.
Congratulation! You are 1/2 way to re-inventing the TP-Monitor. Received on Fri Dec 08 2006 - 14:07:00 CST
![]() |
![]() |