が届く。よさげ。Topology via Logic (Cambridge Tracts in Theoretical Computer Science)作者: Steven Vickers出版社/メーカー: Cambridge University Press発売日: 2008/08/21メディア: ペーパーバック購入: 1人 この商品を含むブログ (1件) を見る

Introduction to Lattices and Orderを読みながらだんだんと考えがまとまってきたので書く。 ・データフロー ・複数の種類の構造 ・制約 上記の３つを自由に組み合わせることができるようにすれば、かなり便利なDBモデルができるのではないか、ということだ…