Studies on concurrency control for database systems データベースシステムの並行処理制御に関する研究

この論文をさがす

著者

    • 木庭, 淳 キニワ, ジュン

書誌事項

タイトル

Studies on concurrency control for database systems

タイトル別名

データベースシステムの並行処理制御に関する研究

著者名

木庭, 淳

著者別名

キニワ, ジュン

学位授与大学

京都大学

取得学位

博士 (工学)

学位授与番号

乙第8240号

学位授与年月日

1993-05-24

注記・抄録

博士論文

目次

  1. 論文目録 / (0001.jp2)
  2. Contents / p4 (0006.jp2)
  3. 1 INTRODUCTION / p1 (0007.jp2)
  4. 1.1 CONCURRENCY CONTROL / p1 (0007.jp2)
  5. 1.2 BACKGROUND ABOUT THE THESIS / p7 (0010.jp2)
  6. 1.3 SUMMARY OF RESULTS / p13 (0013.jp2)
  7. 2 DEFINITIONS AND BASIC CONCEPTS / p16 (0015.jp2)
  8. 2.1 DATABASE SYSTEM MODEL / p16 (0015.jp2)
  9. 2.2 SERIALIZABILITY PROBLEM / p18 (0016.jp2)
  10. 2.3 CAUTIOUS SCHEDULERS / p22 (0018.jp2)
  11. 2.4 RECOVERY PROBLEM / p30 (0022.jp2)
  12. 3 SEVERAL SERIALIZABLE CLASSES / p36 (0025.jp2)
  13. 3.1 SEVERAL SERIALIZABLE CLASSES / p36 (0025.jp2)
  14. 3.2 EXTENSION OF DITS / p39 (0026.jp2)
  15. 3.3 USEFULNESS OF γ-SERIALIZABILITY / p41 (0027.jp2)
  16. 3.4 COMPLEXITY OF MEMBERSHIP TEST FOR SERIALIZABLE CLASSES / p47 (0030.jp2)
  17. 3.5 INCLUSION RELATIONSHIP OF κ-VERSION SERIALIZABLE CLASSES / p48 (0031.jp2)
  18. 3.6 CONCLUSION / p59 (0036.jp2)
  19. 4 PREPARATION FOR OUR MODEL / p61 (0037.jp2)
  20. 4.1 REVIEW OF CAUTIOUS SCHEDULERS / p61 (0037.jp2)
  21. 4.2 NUMERICAL EXPERIMENTS / p64 (0039.jp2)
  22. 5 ONE-VERSION CAUTIOUS SCHEDULER WITH DYNAMIC VERSION SELECTION / p70 (0042.jp2)
  23. 5.1 INTRODUCTION / p70 (0042.jp2)
  24. 5.2 ONE-VERSION CAUTIOUS SCHEDULER [数式] / p70 (0042.jp2)
  25. 5.3 CORRECTNESS OF THE PROCEDURE / p72 (0043.jp2)
  26. 5.4 EVALUATION / p78 (0046.jp2)
  27. 5.5 CONCLUSION / p87 (0050.jp2)
  28. 6 K-VERSION CAUTIOUS SCHEDULER WITH DYNAMIC VERSION SELECTION / p88 (0051.jp2)
  29. 6.1 INTRODUCTION / p88 (0051.jp2)
  30. 6.2 K-VERSION CAUTIOUS SCHEDULER [数式] / p89 (0051.jp2)
  31. 6.3 CORRECTNESS OF THE PROCEDURE / p96 (0055.jp2)
  32. 6.4 EVALUATION / p99 (0056.jp2)
  33. 6.5 CONCLUSION / p108 (0061.jp2)
  34. 7 SINGLE-VERSION CAUTIOUS SCHEDULER SUITABLE FOR RECOVERY CONTROL / p109 (0061.jp2)
  35. 7.1 INTRODUCTION / p109 (0061.jp2)
  36. 7.2 CAUTIOUS SCHEDULER SUITABLE FOR RECOVERY CONTROL / p110 (0062.jp2)
  37. 7.3 EVALUATION / p118 (0066.jp2)
  38. 7.4 CONCLUSION / p121 (0067.jp2)
  39. 8 MULTIVERSION CAUTIOUS SCHEDULERS SUITABLE FOR RECOVERY CONTROL / p126 (0070.jp2)
  40. 8.1 INTRODUCTION / p126 (0070.jp2)
  41. 8.2 CAUTIOUS SCHEDULERS WITHOUT CASCADING ABORTS / p126 (0070.jp2)
  42. 8.3 CORRECTNESS OF THE SCHEDULERS / p131 (0072.jp2)
  43. 8.4 ANOTHER ALTERNATIVE SCHEDULER / p134 (0074.jp2)
  44. 8.5 EVALUATION / p137 (0075.jp2)
  45. 8.6 CONCLUSION / p142 (0078.jp2)
  46. 9 CONCLUDING REMARKS / p147 (0080.jp2)
  47. 9.1 RELATED WORK / p147 (0080.jp2)
  48. 9.2 CONCLUSION / p149 (0081.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000096223
  • NII著者ID(NRID)
    • 8000000096449
  • DOI(NDL)
  • NDL書誌ID
    • 000000260537
  • データ提供元
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ