Datomicについて

http://www.datomic.com/

Transcript

1. Datomic
   (Ͱ͍ͨʔͬΈͬ͘) ึੵ (@fatrow)
2. Datomicͱ͸ • σʔλϕʔε • Rich Hickey ࡞ • 2012೥3݄ʙ • ϓϩϓϥΠΤλϦ
3. Կ͕ҧ͏ʁ • ࣄ࣮ͷσʔλϕʔε
4. ैདྷͷ͸ʁ • ৔ॴࢦ޲ͷσʔλϕʔε
5. • ࣄ࣮ͷσʔλϕʔε • ৔ॴࢦ޲ͷσʔλϕʔε
6. ৔ॴʁ • ৽৘ใ͸چ৘ใͷ৔ॴʹ্ॻ͖ • ঢ়ଶ
7. ৔ॴࢦ޲DB • σʔλ͸৔ॴʹඥ͍͍ͮͯΔ • ৔ॴ؅ཧ໾(DBαʔό)ʹ࢓ࣄΛҰ೚
9. Կ͕໰୊ʁ
10. ݹ͍৘ใ͸ফ͑Δ • ্ॻ͖ͨ͠Β΋͏໭Εͳ͍
11. ཉ͍͠෺͸޲͜͏ଆ • ৔ॴ͸ڞ༗Ͱ͖ͳ͍ • ԟ෮ίετͷ৺഑ • αʔόʔͷෛՙͷ৺഑
12. Ұ؏ੑͱεέʔϧ • ΩϟογϡɺϨϓϦέʔγϣϯͷಋೖ
    => ৽ͨͳ৔ॴ
    => શମͷ؅ཧऀෆࡏ
13. ໰୊ͷࠜݯ
14. ৔ॴࢦ޲ϓϩάϥϛϯά • Place-Oriented Programming (PLOP)
    ϛϡʔλϒϧΦϒδΣΫτ etc
15. ৔ॴࢦ޲ϓϩάϥϛϯά • Ϧιʔε͕رগͳ࣌୅ʹੜ·Εͨ • ΋͸΍ͦΜͳ੍ݶ͸ͳ͘ͳͬͨ • ৘ใ͸ຊདྷ৔ॴͱ͸ؔ܎ͳ͍
16. Datomic • ࣄ࣮ͷσʔλϕʔε • ࣄ࣮͸มΘΒͳ͍ɺফ͑ͳ͍
17. ྫ: Ҿӽ͠ • ଠ࿠ͷॅॴ: ਆಸ઒ݝ
    (Ҿӽ͠) • ଠ࿠ͷॅॴ: ઍ༿ݝ
18. ྫ: Ҿӽ͠ • ଠ࿠ͷॅॴ: ਆಸ઒ݝ
    (Ҿӽ͠) • ଠ࿠ͷॅॴ: ઍ༿ݝ ଠ࿠ͷॅॴ͕ਆಸ઒ͩͬͨࣄ࣮͸มΘΒͳ͍
19. ௥هܕDB • ৽͍͠ࣄ࣮(৘ใ)͸৽͍͠৔ॴʹ • աڈͷࣄ࣮͕׬શʹอ؅ • όοΫΞοϓ͕ͱͯ΋؆୯
20. ଞͷ௥هܕDB • CouchDBɺPosgreSQLɺRethinkDBͳͲ • ࣅ͍ͯΔ఺΋ଟ͍͕ҟͳΔ఺΋ଟ͍ • ҧ͍͸ଟذʹ౉ΔͷͰ͜͜Ͱ͸ରൺ͠ ͳ͍
21. ৔ॴ͔Βͷղ์ • ࣄ࣮͸޷͖ͳ͚ͩڞ༗Ͱ͖Δ • ΋͏ෳࡶͳ৔ॴͷ؅ཧ͸ඞཁͳ͍
22. ࢓ࣄͷ෼ղ • ৔ॴ؅ཧ໾͕എෛ͍ͬͯͨ࢓ࣄ • σΟεΫIOɺ ΫΤϦʔɺτϥϯβΫ γϣϯɺΠϯσοΫε • ̏ͭͷ໾ऀʹ࢓ࣄΛ෼୲
23. ετϨʔδαʔϏε • ࣄ࣮อ؅ݿ • ୯७ͳग़͠ೖΕॲཧ • Ұఆ୯ҐͰ·ͱΊͯ
24. ϐΞʔ(Peer) • ΫΤϦʔΤϯδϯ͕ΫϥΠΞϯτ(ΞϓϦ) ଆʹຒΊࠐ·Εͨ • ετϨʔδαʔϏε͔Β௚઀σʔλऔಘ
25. τϥϯβΫλʔ • ࣄ࣮ͷ௥ՃΛ୲͏ • ௥Ճ͸શͯ௚ྻʹ • ୯Ұϊʔυ • Peer΁ͷ௨஌
27. Կ͕خ͍͠ͷ͔ • ετϨʔδαʔϏε • ϐΞʔ • τϥϯβΫλʔ
28. όοΫΤϯυ͕ࣗ༝ • In-Memory • Local Storage (H2) • Amazon DynamoDB ※ • PostgreSQL ※ • Riak ※ • Infinispan ※ ※ Pro Edition
29. ͜ΕԿ͔Ͱݟͨ
30. ͜ΕԿ͔Ͱݟͨ • Java • .NET • Javascript, ... Clojure
31. ޮ཰తͳΫΤϦʔ • PeerͷϝϞϦͷڐ͢ݶΓΩϟογϡ
    ԟ෮ίετθϩʹ
32. ΫΤϦʔ͸εέʔϥϒϧ • ࣗવʹ෼ࢄॲཧʹ • ଞʹ໎࿭Λ͔͚ͳ͍
    ߴෛՙͳΫΤϦʔ΋ࣗ༝
33. શ෦τϥϯβΫγϣϯ • ΞϓϦଆͷෳࡶੑ͕ݮΔ • աڈͷͲͷॠؒʹ΋໭ͬͯΫΤϦʔͰ ͖Δ
34. ޮ཰తͳॻ͖ࠐΈ • ॻ͖ࠐΈ͸εέʔϧ͸͠ͳ͍ɻ͕ • τϥϯβΫλʔ͸ϩοΫɺΫΤϦʔɺ σΟεΫIOΛ͠ͳ͍෼͍ܰ
35. ͓͞Β͍ • όοΫΤϯυ͕ࣗ༝ • ޮ཰తͰεέʔϥϒϧͳΫΤϦʔ • શ͕ͯτϥϯβΫγϣϯ • Ϧʔυͱ੾Γ཭͞Εͨ
    ޮ཰తͳϥΠτ
37. σʔλϞσϧ
38. RDB User id name age 1 “taro” 14 2 “john” 36 3 “mike” 25
39. Comment id body book 1 “good” 3 2 “bad” 2 3 “not bad” 2 Book id isbn title 1 123456 “abc” 2 789101 “foo” 3 987654 “hello” RDB User id name age 1 “taro” 14 2 “john” 36 3 “mike” 25
40. υΩϡϝϯτܕ(Mongodb) User { "_id" : ObjectId("509f41b38626d09726e978ed"), "name" : "taro", "tel" : "123-4567-8901", "address": { "zip": 123-4567, "city": "tokyo" } }
41. Comment { "_id" : ObjectId("509f41b38626d09726e978ed"), "name" : "taro", "tel" : "123-4567-8901", "address": { "zip": 123-4567, "city": "tokyo" } } Book { "_id" : ObjectId("509f41b38626d09726e978ed"), "name" : "taro", "tel" : "123-4567-8901", "address": { "zip": 123-4567, "city": "tokyo" } } υΩϡϝϯτܕ(Mongodb) User { "_id" : ObjectId("509f41b38626d09726e978ed"), "name" : "taro", "tel" : "123-4567-8901", "address": { "zip": 123-4567, "city": "tokyo" } }
42. Datomic ࣮ମ Entity ଐੑ Attribute ஋ Value ࣌ؒ Time • ࣄ࣮ͷ࠷খ୯Ґ Datom • ྫ) ଠ࿠ͷॅॴ͸ਆಸ઒ݝɻڈ೥͸ɻ
43. Datom Entity Attribute Value Time 7 :address “ਆಸ઒” T123
44. Datom Entity Attribute Value Time 7 :address “ਆಸ઒” T123 ࣮ମͷࣝผࢠɻ࣮૷্͸Long஋͕ࣗಈͰৼΒΕΔ
45. Datom Entity Attribute Value Time 7 :address “ਆಸ઒” T123 ࣮ମͷࣝผࢠɻ࣮૷্͸Long஋͕ࣗಈͰৼΒΕΔ keyword
46. Datom Entity Attribute Value Time 7 :address “ਆಸ઒” T123 ࣮ମͷࣝผࢠɻ࣮૷্͸Long஋͕ࣗಈͰৼΒΕΔ keyword τϥϯβΫγϣϯ൪߸
47. Datom Entity Attribute Value Time 7 :name “taro” T123 7 :address “ਆಸ઒” T124 2 :name “foo” T125
48. Datom • ςʔϒϧ͸ͳ͍ Entity Attribute Value Time 7 :name “taro” T123 7 :address “ਆಸ઒” T124 2 :name “foo” T125
49. Datom • ςʔϒϧ͸ͳ͍ • ଐੑ໊͕িಥ͢ΔΜ͡Όʁ Entity Attribute Value Time 7 :name “taro” T123 7 :address “ਆಸ઒” T124 2 :name “foo” T125
50. Datom • ໊લۭؒͰিಥ͠ͳ͍ Entity Attribute Value Time 7 :user/name “taro” T123 7 :user/address “ਆಸ઒” T124 2 :book/name “foo” T125
51. Datom • σʔλϕʔε: Datomͷू߹ɺϩά • DatomΛ଍͔͢Ҿ͔͘ (add, retract) • Ҿ͘͸ফڈͰ͸ͳ͍㲈ଧͪফ͠
52. API ͸จࣈྻͰ͸ͳ͘σʔλ (d/transact connection
    [[:db/add 7 :user/address “ਆಸ઒”]
    [:db/add 7 :user/name “taro”]
    [:db/retract 8 :book/name “foo”]])
53. API ͸จࣈྻͰ͸ͳ͘σʔλ (d/transact connection
    [[:db/add 7 :user/address “ਆಸ઒”]
    [:db/add 7 :user/name “taro”]
    [:db/retract 8 :book/name “foo”]]) DatomͷϕΫλ
54. γϣʔτΧοτ (d/transact connection
    [{:db/id 7,
    :user/address “ਆಸ઒”,
    :user/name “taro”}
    [:db/retract 8 :book/name “foo”]])
55. γϣʔτΧοτ (d/transact connection
    [{:db/id 7,
    :user/address “ਆಸ઒”,
    :user/name “taro”}
    [:db/retract 8 :book/name “foo”]]) :db/id͸Entityͷࣄ
56. Schema͋Γ • ଐੑ͸࢖͏લʹఆٛ • ଐੑͷఆٛ΋ී௨ͷDatomͰɻ
    SQLͷalter tableΈ͍ͨʹಛผ͡Όͳ͍
57. Schemaఆٛྫ {:db/id #db/id[:db.part/db]
    :db/ident :user/address
    :db/valueType :db.type/string
    :db/cardinality :db.cardinality/one
    :db/unique :db.unique/value
    :db/index true
    :db/doc "A user's address"}
58. Schemaఆٛྫ {:db/id #db/id[:db.part/db]
    :db/ident :user/address
    :db/valueType :db.type/string
    :db/cardinality :db.cardinality/one
    :db/unique :db.unique/value
    :db/index true
    :db/doc "A user's address"} ଐੑ໊
59. Schemaఆٛྫ {:db/id #db/id[:db.part/db]
    :db/ident :user/address
    :db/valueType :db.type/string
    :db/cardinality :db.cardinality/one
    :db/unique :db.unique/value
    :db/index true
    :db/doc "A user's address"} ଐੑ໊ ܕ
60. Schemaఆٛྫ {:db/id #db/id[:db.part/db]
    :db/ident :user/address
    :db/valueType :db.type/string
    :db/cardinality :db.cardinality/one
    :db/unique :db.unique/value
    :db/index true
    :db/doc "A user's address"} ଐੑ໊ ܕ Ұ͔ଟ͔
61. Schemaఆٛྫ {:db/id #db/id[:db.part/db]
    :db/ident :user/address
    :db/valueType :db.type/string
    :db/cardinality :db.cardinality/one
    :db/unique :db.unique/value
    :db/index true
    :db/doc "A user's address"} ଐੑ໊ ܕ Ұ͔ଟ͔ ϢχʔΫ ಛੑ
62. Schemaఆٛྫ {:db/id #db/id[:db.part/db]
    :db/ident :user/address
    :db/valueType :db.type/string
    :db/cardinality :db.cardinality/one
    :db/unique :db.unique/value
    :db/index true
    :db/doc "A user's address"} ଐੑ໊ ܕ Ұ͔ଟ͔ ϢχʔΫ ಛੑ ΠϯσοΫε
63. Schemaఆٛྫ {:db/id #db/id[:db.part/db]
    :db/ident :user/address
    :db/valueType :db.type/string
    :db/cardinality :db.cardinality/one
    :db/unique :db.unique/value
    :db/index true
    :db/doc "A user's address"} ଐੑ໊ ܕ Ұ͔ଟ͔ ϢχʔΫ ಛੑ ΠϯσοΫε આ໌
64. ଞʹ΋ • ஋ͷςΩετݕࡧ
    :db/fulltext true • ݹ͍஋Λ࢒͞ͳ͍ࢦఆ
    :db/noHistory true
65. Կ͕خ͍͠ͷ͔ • ଐੑͷ૊Έ߹Θ͕ͤࣗ༝
    :book/title ͱ :item/id Λ࣋ͨͤͯ΋͍͍
    => ௕ظతͳॊೈੑ • ͕࣌ؒϑΝʔετΫϥε
    ࣌ؒʹඥ෇͚ͨΫΤϦʔ͕Մೳʹ
66. ΫΤϦʔ
67. Datalog • PrologͷαϒηοτDatalog • એݴత • จࣈྻͰ͸ͳ͘σʔλͰ • ҉໧తͳδϣΠϯ
68. ΫΤϦʔ [:find ?e
    :in $
    :where [$ ?e :user/address “ਆಸ઒”]]
69. ΫΤϦʔ [:find ?e
    :in $
    :where [$ ?e :user/address “ਆಸ઒”]] SQLͷSELECTΈ͍ͨͳɻฦͯ͠ཉ͍͠෺
70. ΫΤϦʔ [:find ?e
    :in $
    :where [$ ?e :user/address “ਆಸ઒”]] SQLͷSELECTΈ͍ͨͳɻฦͯ͠ཉ͍͠෺ ֎͔Β༩͑Δೖྗ
71. ΫΤϦʔ [:find ?e
    :in $
    :where [$ ?e :user/address “ਆಸ઒”]] SQLͷSELECTΈ͍ͨͳɻฦͯ͠ཉ͍͠෺ ֎͔Β༩͑Δೖྗ SQLͷwhereΈ͍ͨͳɻߜΓࠐΈ
72. ΫΤϦʔ [:find ?e
    :in $
    :where [$ ?e :user/address “ਆಸ઒”]] SQLͷSELECTΈ͍ͨͳɻฦͯ͠ཉ͍͠෺ ֎͔Β༩͑Δೖྗ SQLͷwhereΈ͍ͨͳɻߜΓࠐΈ ม਺ɻ ಉ໊͡લͳΒࣗಈతʹରԠɻ $͸σʔλϕʔεΛද͢
73. ΫΤϦʔ [:find ?e
    :in $
    :where [$ ?e :user/address “ਆಸ઒”]] SQLͷSELECTΈ͍ͨͳɻฦͯ͠ཉ͍͠෺ ֎͔Β༩͑Δೖྗ SQLͷwhereΈ͍ͨͳɻߜΓࠐΈ ม਺ɻ ಉ໊͡લͳΒࣗಈతʹରԠɻ $͸σʔλϕʔεΛද͢ ఆ਺ɻݻఆ͞Εͨ஋
74. ΫΤϦʔ [:find ?e
    :in $
    :where [ ?e :user/address “ਆಸ઒”]] $͚ͩಛघͰ:where͔ΒলུͰ͖Δ
75. ఆ਺ͰߜΓࠐΈ [:find ?e
    :in $
    :where [?e :user/address “ਆಸ઒”] [?e :user/name “taro”]]
76. ఆ਺ͰߜΓࠐΈ [:find ?e
    :in $
    :where [?e :user/address “ਆಸ઒”] [?e :user/name “taro”]] ਆಸ઒͔ͭtaroͰߜΓࠐΈ
77. ೖྗ஋ͰߜΓࠐΈ [:find ?e
    :in $ ?addr ?name
    :where [?e :user/address ?addr] [?e :user/name ?name]]
78. ೖྗ஋ͰߜΓࠐΈ [:find ?e
    :in $ ?addr ?name
    :where [?e :user/address ?addr] [?e :user/name ?name]] ೖྗ஋͕όΠϯυ͞ΕΔ
79. ͜Ε͸ߜΓࠐΈ͡Όͳ͍ [:find ?e ?name
    :in $
    :where [?e :user/address “ਆಸ઒”] [?e :user/name ?name]]
80. ͜Ε͸ߜΓࠐΈ͡Όͳ͍ [:find ?e ?name
    :in $
    :where [?e :user/address “ਆಸ઒”] [?e :user/name ?name]] ਆಸ઒ͷਓશһͷ໊લ΋ฦ͢
81. ҉໧తͳδϣΠϯ [:find ?book-e
    :in $
    :where [?e :user/address “ਆಸ઒”] [?book-e :book/author ?e]]
82. ҉໧తͳδϣΠϯ [:find ?book-e
    :in $
    :where [?e :user/address “ਆಸ઒”] [?book-e :book/author ?e]] ਆಸ઒ʹஶऀ͕͍Δຊ
83. ଓ͖ • ެࣜͷνϡʔτϦΞϧ͕ॆ࣮ • Ұ೔͔͔ΔΑ
84. ࠓ͸ۤखͳ͜ͱ • ιʔτΛΞϓϦଆͰ΍Βͳ͍ͱ͍͚ͳ͍ • ΞϓϦʹΑͬͯ͸݁ߏக໋త
85. ઃܭ఩ֶ(1) • Out of the Tar Pit
    ࿦จ: Ben Moseley, Peter Marks 2006
86. ઃܭ఩ֶ(2) • The Value of Values (஋ͷՁ஋)
    Rich Hickey keynote • ʮ஋(σʔλ)͸࠷ߴͩʂ͋Ε΋͜Ε΋͍ ͍͜ͱͣ͘ΊɻPLOPɺ܅͸ͩΊͩʯ
87. ઃܭ఩ֶ(2) • The Value of Values (஋ͷՁ஋)
    Rich Hickey keynote • ʮ஋(σʔλ)͸࠷ߴͩʂ͋Ε΋͜Ε΋͍ ͍͜ͱͣ͘ΊɻPLOPɺ܅͸ͩΊͩʯ ͱͯ΋໘ന͍Α
88. ·ͱΊ • ৔ॴࢦ޲͔Βͷ୤٫ • Πϛϡʔλϒϧͳ஋͕σβΠϯΛಋ͘
89. ऴΘΓ Photo credit cover(universe) write_adam "IC443, the Jellyfish nebula" CC BY-NC 2.0 http://www.flickr.com/photos/astroporn/5234588981/ fact(lens)Raymond Larose "No Crop, No Edit" CC BY-NC-ND 2.0 http://www.flickr.com/photos/lenscrack/5165225746/ PLOP(musical chairs) rich "I guess this was for musical chairs?" CC BY 2.0 http://www.flickr.com/photos/spine/1009892593/ PLOP(paint) ALL CHROME "SUPER SUNDAY" CC BY-NC-SA 2.0 http://www.flickr.com/photos/allchrome/5423888378/ information disappear(footprint) Jeff Kubina "Footprints" CC BY-ND 2.0 http://www.flickr.com/photos/kubina/21208990/ over there(monkey) Adn! "Worst than jail" CC BY-NC-ND 2.0 http://www.flickr.com/photos/hojas_cayendo/5549137958/ PLOP(musical chairs) niiicedave "IMGP0670cr - Kampout Fresno 2011 - Saturday - Kamptown Races - musical chairs" CC BY-SA 2.0 http:// www.flickr.com/photos/33671002@N00/6144480939/ PLOP(musical chairs) Takahiro Hozumi "musical_chairs" CC BY-SA 2.0 http://www.flickr.com/photos/87914538@N06/8594162617 limited resource era(cat) lincolndisplayimages.com "Arran cat (2)" CC BY-NC 2.0 http://www.flickr.com/photos/robdray/1118614948/ fact(water) Chaval Brasil "Drop in a Dime" CC BY-NC-ND 2.0 http://www.flickr.com/photos/chavals/2869153410/ liberty from place(jump) blinkingidiot "Jump for Joy" CC BY-ND 2.0 http://www.flickr.com/photos/45325473@N04/4910647166/ append only db(library) Thomas Hawk "And I Saw Your Hand With a Loose Grip on a Very Tight Ship" CC BY-NC 2.0 http://www.flickr.com/photos/ thomashawk/85441961/ decompose jobs(lego) Jez Page"257/365 - LEGO" CC BY-NC-SA 2.0 http://www.flickr.com/photos/jezpage/4990873353/ storage service(cast) Paco CT "It is Friday, let's have a drink, or two" CC BY-NC-SA 2.0 http://www.flickr.com/photos/paco_calvino/3513790048/ peer(book) Marwa Morgan "Oldies are Goldies :D" CC BY-NC-ND 2.0 http://www.flickr.com/photos/marwamorgan/2602038800/ transactor(sewing-machine-needle) Theen ... "Stitching Machine" CC BY-NC-SA 2.0 http://www.flickr.com/photos/theenmoy/8407089950/ review(book-cat)raider of gin "cat reading" CC BY 2.0 http://www.flickr.com/photos/fairerdingo/2320356661/ backend variety(colorful-sewing-machine) Hellsgeriatric "Singer Sewing Machine" CC BY-NC-ND 2.0 http://www.flickr.com/photos/hellsgeriatric/ 2037304681/ efficient query(fish) SteveD. "Big Eye Scad, Kona Hawaii" CC BY 2.0 http://www.flickr.com/photos/42507736@N02/6022657611/ time travel(clock) Roby Ferrari "SAF#2" CC BY-SA 2.0 http://www.flickr.com/photos/roberto_ferrari/281640001/ efficient write(car) Design By Zouny "Geneva Car Show 2010" CC BY 2.0 http://www.flickr.com/photos/zouny/5054816002/ schema(book-shelf) Swamibu "Iqra: Read" CC BY-NC 2.0 http://www.flickr.com/photos/swamibu/2868288357/ the design philophy(inner-clock) GuySie "Photo365 #5 - Pretty on the inside" CC BY-SA 2.0 http://www.flickr.com/photos/guysie/5327472911/ the design philophy(blue-pattern) Alex Abian "Alien Technology" CC BY-NC-ND 2.0 http://www.flickr.com/photos/xtyler/3629765611/