蛮族カーラケーヤとの戦争に勝利した後、マヒシュマティ王国では国母シヴァガミがシヴァ寺院を参詣する悪魔祓いの火の儀式が執り行われていた。その途中で象が暴れ出す騒ぎが起きるが、次期国王アマレンドラ・バーフバリが象をなだめ、シヴァガミは無事に儀式を終える。民衆がバーフバリを讃える声が響く中、王位を逃したバラーラデーヴァの父ビッジャラデーヴァは怒り、妻シヴァガミの謀殺を息子に呼びかける。そこに王家の奴隷剣士カッタッパが現れ、バーフバリの戴冠式の日取りを報告する。ビッジャラデーヴァは息子を国王に選ばなかったシヴァガミを罵るが、謀反の心を見抜いていたカッタッパは彼らを牽制して立ち去る。シヴァガミはバーフバリに対して戴冠式までの間、見聞を広めるために国内を巡ってくるように提案し、バーフバリはカッタッパと共に旅に出かける。旅の途中、バーフバリは河下の小国クンタラ王国の王妹デーヴァセーナの一行が盗賊団に襲撃される現場に遭遇する。剣を振るい盗賊団を撃退するデーヴァセーナの姿を見たバーフバリは心を奪われ、身分を隠して「シヴドゥ」と名乗り、彼女の従兄クマラ・ヴァルマの使用人となりクンタラ王国に向かう。
安閑天皇元年（534年）、廬城部枳莒喩（いおきべのきこゆ）の娘が尾輿の首飾りを盗み、皇后・春日山田皇女に献上した事件が発覚し、この事件とのかかわりを恐れた尾輿は、皇后に配下の部民を献上した。欽明天皇が即位した際に、大連に再任されている。欽明天皇元年（539年）、大伴金村が任那4郡を百済に割譲したことを非難し、金村を失脚させて、政界から引退させた。欽明天皇13年（552年）の聖王（聖明王）から仏像や経典などが献上された時（仏教公伝）には、中臣鎌子と共に廃仏を主張し、崇仏派の蘇我稲目と対立した。
多くのアルゴリズムと同様、銀行家のアルゴリズムにはトレードオフがある。特に、プロセスが各リソースをどれほど使用する可能性があるかを知っておく必要があるが、大半のシステムではこうした情報は入手できず、銀行家のアルゴリズムは役に立たない。また、大半のシステムではプロセス数が動的に変化するため、プロセスの数が固定的であると仮定するのは非現実的である。さらに、プロセスが終了時に全ての資源を解放する必要がある、という点はアルゴリズムの正しさという点では十分だが、実際のシステムでは十分であるとはいえない。資源の解放に数時間や数日かかることは通例許容されない。
P - プロセスの集合Mp - プロセス p が要求する最大の資源Cp - プロセス p への現在の資源の割り当てA - 現在利用可能な資源while (P != ∅) {    found = False    foreach (p ∈ P) {        if (Mp - Cp ≦ A) {             /* p はすべてのリソースを取得できる   */             /* 取得、終了、解放を行うと仮定       */             A = A + Cp              P = P - {p}             found = True        }    }    if (!found) return UNSAFE}return SAFE
上記の例において、全てのプロセスが実行を完了するのであれば現在の状態は安全と考えることができる。システムにはプロセスが完了するか、また完了までに要求する資源の量は未知なので、全てのプロセスが最終的には決められた最大の資源を要求して、その直後に終了すると考える。これはたいていの場合には理にかなった仮定で、（少なくともデッドロックを防ぐという観点からは）システムは各プロセスの実行する時間と関係がないためである。また、最大の資源を確保することなく終了した場合には問題が簡単になるのみである。この仮定をもとに、アルゴリズムは状態が安全かどうかを判断するため、各プロセスが最大の資源を獲得し、終了する（そして資源を返却する）ことができるような仮想的なプロセスからの要求を作り出すことができるかを判定する。そのような状態がなければ、システムは危険な状態である。
C の代数的な姿をより明確にする特徴付けは、体および多項式の概念に基づく構成によって示される。体とは有理数全体の成す集合のように四則演算ができてよく知られたいくつかの性質を満たすものである。実数全体の成す集合 R が体であり、また R に係数を持つ多項式全体の成す集合 R[X] が通常の多項式の和および積に関して多項式環と呼ばれる環を成すことに注意する。剰余環 R[X]/(X² + 1) が R を含む体となることは示すことができる。この拡大体は X および −X（の属する剰余類）を −1 の二つの平方根として含む。この剰余環の任意の元は a + bX (a, b は実数) の形の多項式を代表元に持ち、多項式の除法の原理によってこのような多項式は一意的に決まるから、1 および X の属する剰余類は実ベクトル空間としての R[X]/(X² + 1) の基底である。さらに言えば、このような元（剰余類）を（その代表元となる上記の一次式の係数によって）実数の順序対 (a, b) によって表すならば、この体における（抽象代数学的に与えられた）加法および乗法は前節で述べた（形式的に与えられた）加法と乗法の定義式に整合する。すなわち、二つのやり方で得られた体 C は体として同型である。