すぴすらのろぐ

読んだもののメモとかポエムとか

2019-05-01から1ヶ月間の記事一覧

トランザクションの単位とhidden restrictions

このポストは、papa本読書会第1回目で読んだ範囲における、トランザクションの単位とトランザクション間のhidden restrictionsについてのまとめです。 議論としては2回目の内容も含んでいます。話題としては2回目の内容を含んでいます。ポストの内容は個人的…

serializableとconsistent state

このポストはpapa本読書会第1回目で読んだ部分のうちのconsistent stateについてのメモです。p.8くらいまでの範囲です。 このポストではpapa本は以下の本のことです。 Theory of Database Concurrency Control作者:Papadimitriou, ChristosComputer Science …

トランザクションとXのきもち

(このポストはトランザクションとは関係ありません) トランザクションをTXと略すことがある。 これはtransactionを、同じ発音で読めるtranxtion(またはtranxaction)と書いたときの音節ごとの先頭文字をとってきたものである。 一方、トランザクションをX…

NP完全性のメモ(1)

0. まとめ 0.1 P, NP, NP完全 計算複雑度のクラスP (complexity class P)とは、多項式時間で解ける問題の集合である。 計算複雑度のクラスNP (complexity class NP)とは、多項式時間で検証可能な問題の集合である。 問題を解くより検証の方が簡単なので、 ま…