dendrite

strata query compiler

strata

FROM "./providers/facebook.strata"
FROM "./providers/instagram.strata"
FROM "./providers/meta.strata"

EDGE is_fb (s:session)-[]->(fb:fb_account)
  ON fb.id = s.user_id

EDGE is_ig (s:session)-[]->(ig:ig_account)
  ON ig.id = s.user_id

EDGE fb_content (fb:fb_account)-[]->(d:fb_posts)
  ON d.fb_account_id = fb.id

EDGE ig_content (ig:ig_account)-[]->(d:ig_posts)
  ON d.ig_account_id = ig.id

EDGE fb_link (fb:fb_account)-[]->(l:links)
  ON l.fb_account_id = fb.id

EDGE link_ig (l:links)-[]->(ig:ig_account)
  ON ig.id = l.ig_account_id

EDGE ig_link (ig:ig_account)-[]->(l:links)
  ON l.ig_account_id = ig.id

EDGE link_fb (l:links)-[]->(fb:fb_account)
  ON fb.id = l.fb_account_id

RULE fb_identity
  WALK (s:session)-[:is_fb]->(fb:fb_account)
  PROPAGATES "fb_self" IMPLICITLY

RULE ig_identity
  WALK (s:session)-[:is_ig]->(ig:ig_account)
  PROPAGATES "ig_self" IMPLICITLY

RULE fb_link_access
  WALK (fb:fb_account)-[:fb_link]->(l:links)
  PROPAGATES "fb_self" AS "select" IMPLICITLY

RULE ig_link_access
  WALK (ig:ig_account)-[:ig_link]->(l:links)
  PROPAGATES "ig_self" AS "select" IMPLICITLY

RULE read_own_fb
  WALK (fb:fb_account)-[:fb_content]->(d:fb_posts)
  PROPAGATES "fb_self" AS "select" IMPLICITLY

RULE read_own_ig
  WALK (ig:ig_account)-[:ig_content]->(d:ig_posts)
  PROPAGATES "ig_self" AS "select" IMPLICITLY

RULE fb_reads_ig
  WALK (fb:fb_account)-[:fb_link]->(l:links)-[:link_ig]->(ig:ig_account)-[:ig_content]->(d:ig_posts)
  PROPAGATES "fb_self" AS "select_via_fb" IMPLICITLY

RULE ig_reads_fb
  WALK (ig:ig_account)-[:ig_link]->(l:links)-[:link_fb]->(fb:fb_account)-[:fb_content]->(d:fb_posts)
  PROPAGATES "ig_self" AS "select_via_ig" IMPLICITLY

cypher

Ctrl+Enter to compile

sql

compile to see SQL

walk dag

Run walk to inspect the transducer DAG.