Skip to content

Instantly share code, notes, and snippets.

@flyingsilverfin

flyingsilverfin/strong_typing_in_typedb_match_org_contractors_inference.tql

Created November 28, 2022 17:02
Show Gist options
  • Save flyingsilverfin/42dece577d438362da78dfb20ea5d8b7 to your computer and use it in GitHub Desktop.
Save flyingsilverfin/42dece577d438362da78dfb20ea5d8b7 to your computer and use it in GitHub Desktop.
Download ZIP
Strong Typing in TypeDB blog: match contractors inference
Raw
strong_typing_in_typedb_match_org_contractors_inference.tql
match
$org isa organisation;
(buyer: $org, seller: $contracted) isa contract;
$contracted has name $name;
===== after type inference =====
$org may be [non-profit, for-profit]
$contracted may be [non-profit, for-profit, person]
$name may be [name]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment