comnik

(s/def :db/id (s/with-gen number? #(gen/fmap (fn [_] (clojure.lang.RT/nextID)) (gen/int))))

(s/def :entity/name (s/and string? #(< 3 (count %) 10)))
(s/def :entity/shareholder :db/id)

(s/def :person/id (s/with-gen string? #(s/gen #{"Alice" "Bob" "Eve" "Mabel" "Dipper"})))
(s/def :person/alias :db/id)

(s/def :company/name (s/with-gen string? #(s/gen #{"Alice" "Bob" "Eve" "Mabel" "Dipper"})))
(s/def :company/subsidiary :db/id)

comnik

;; the BTset namespace needs has to be extended by the
;; following helper

(defn iter-seek 
  "Returns iterator for all X where key-from <= X."
  [^Iter iter key-from]
  (let [path (-seek (.-set iter) key-from)]
    (when-not (neg? path)
      (Iter. (.-set iter) path (.-right iter) (keys-for (.-set iter) path) (path-get path 0)))))

comnik

#[macro_use]
extern crate abomonation_derive;
extern crate abomonation;
extern crate timely;
extern crate differential_dataflow;

use std::fs::File;
use std::io::{BufRead,BufReader};

use timely::dataflow::*;

comnik

<script src="https://github.com/tonsky/datascript/releases/download/0.18.2/datascript-0.18.2.min.js"></script>
<script type="text/javascript">

const d = datascript;

const schema = {
  "db/ident":          {":db/unique": ":db.unique/identity"},
  
  "operator/name":     {":db/cardinality": ":db.cardinality/one"},
  "operator/address":  {":db/unique": ":db.unique/identity"},