【12/14(木)17時より】CiNiiの常時SSL化(HTTPS接続)について

Database state manipulation in lazy functional programming languages 遅延評価式関数型言語におけるデータベース状態の操作に関する研究

この論文をさがす

著者

    • 市川, 哲彦 イチカワ, ヨシヒコ

書誌事項

タイトル

Database state manipulation in lazy functional programming languages

タイトル別名

遅延評価式関数型言語におけるデータベース状態の操作に関する研究

著者名

市川, 哲彦

著者別名

イチカワ, ヨシヒコ

学位授与大学

京都大学

取得学位

博士 (工学)

学位授与番号

乙第10124号

学位授与年月日

1999-03-23

注記・抄録

博士論文

目次

  1. 論文目録 / (0001.jp2)
  2. Contents / p1 (0004.jp2)
  3. Abstract / p11 (0009.jp2)
  4. 1 Introduction / p1 (0010.jp2)
  5. 1.1 Advanced database applications / p5 (0012.jp2)
  6. 1.2 Persistent programming languages / p6 (0013.jp2)
  7. 1.3 Functional persistent programming languages / p7 (0013.jp2)
  8. 1.4 Outline / p9 (0014.jp2)
  9. 2 Background:Notable Haskell Features and the Running Example / p11 (0015.jp2)
  10. 2.1 Data types,expressions, and bindings / p12 (0016.jp2)
  11. 2.2 Monadic I/O / p15 (0017.jp2)
  12. 2.3 Classes and overloaded functions / p16 (0018.jp2)
  13. 2.4 Constructor classes and do-notation / p17 (0018.jp2)
  14. 2.5 Expression grammar / p18 (0019.jp2)
  15. 3 Database State Monad / p21 (0020.jp2)
  16. 3.1 Database state and entities / p22 (0021.jp2)
  17. 3.2 State transformers and basic combinators / p24 (0022.jp2)
  18. 3.3 Primitive operations and transactions / p26 (0023.jp2)
  19. 3.4 Examples / p27 (0023.jp2)
  20. 4 Models of Persistence / p31 (0025.jp2)
  21. 4.1 Persistent root declaration / p32 (0026.jp2)
  22. 4.2 Ground type restriction / p34 (0027.jp2)
  23. 4.3 Avoiding illegal root manipulation / p40 (0030.jp2)
  24. 5 Lazy Retrieval and Imperative Update / p45 (0032.jp2)
  25. 5.1 State capture / p47 (0033.jp2)
  26. 5.2 On-the-fly location access / p49 (0034.jp2)
  27. 5.3 The"what-if"semantics / p50 (0035.jp2)
  28. 5.4 Non-materialized views / p51 (0035.jp2)
  29. 5.5 Formalization and relationship to array freezing / p54 (0037.jp2)
  30. 5.6 Related work on database state updating / p56 (0038.jp2)
  31. 6 Triggers for Integrity Enforcement / p61 (0040.jp2)
  32. 6.1 Active database technology / p62 (0041.jp2)
  33. 6.2 Simulating the type-extent model of persistency / p63 (0041.jp2)
  34. 6.3 Relationship management / p65 (0042.jp2)
  35. 6.4 Materialized views / p67 (0043.jp2)
  36. 6.5 Exception handling / p70 (0045.jp2)
  37. 7 Generalization to Active Rules / p73 (0046.jp2)
  38. 7.1 Transaction boundary rule execution / p73 (0046.jp2)
  39. 7.2 Fixed point iteration / p77 (0048.jp2)
  40. 7.3 Extension level rule specification / p79 (0049.jp2)
  41. 7.4 Further generalization and performance issues / p84 (0052.jp2)
  42. 7.5 Advantages and further research issues / p86 (0053.jp2)
  43. 8 Implementation Issues / p89 (0054.jp2)
  44. 8.1 A sample interaction with the prototype / p91 (0055.jp2)
  45. 8.2 Implementing persistent roots / p95 (0057.jp2)
  46. 8.3 Implementing versions / p101 (0060.jp2)
  47. 9 An Example:the Train Database / p107 (0063.jp2)
  48. 9.1 Designing Data types and persistent roots / p109 (0064.jp2)
  49. 9.2 Designing entities and triggers / p112 (0066.jp2)
  50. 9.3 Populating the database / p116 (0068.jp2)
  51. 9.4 Searching routes between two stations / p121 (0070.jp2)
  52. 10 Summary and Future Work / p127 (0073.jp2)
  53. 10.1 Summary / p127 (0073.jp2)
  54. 10.2 Further research issues / p129 (0074.jp2)
  55. Bibliography / p135 (0077.jp2)
  56. A Notes on the Implementation Details / p147 (0083.jp2)
  57. A.1 Internal storage structure of Hugs / p147 (0083.jp2)
  58. A.2 Using persistent store / p150 (0085.jp2)
  59. A.3 Transaction management / p153 (0086.jp2)
  60. B Scripts for the Train Database / p157 (0088.jp2)
  61. B.1 Initialization for the Train Database / p157 (0088.jp2)
  62. B.2 Searching Routes in the Train Database / p164 (0092.jp2)
1アクセス

各種コード

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