ATProto Browser

Record data

{
  "uri": "at://did:plc:rvlyeda73kxm7l2weegk73pa/app.bsky.feed.post/3loor2dffjs2p",
  "cid": "bafyreieyjwmjttpu5t544vbfng33adtusxsiofvijbylhnyimsaxs6ko64",
  "value": {
    "text": "Examples of invariants:\n\n`price numeric CHECK (price > 0)` <=> `all i in Item: i.price > 0`\n\n`unit_id DISTINCT` <=> `all disj i1, i2 in Item: i1.unit_id != i2.unit_id`\n\nTriggers that prevent nullable value going back to null: `all i in Item: i1.field in Int => i1.field' != NULL`",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreihx3z6tcich34q5hom4t6nbhodsu34tz73gppxsxcdfiyzbtz2f3y",
        "uri": "at://did:plc:rvlyeda73kxm7l2weegk73pa/app.bsky.feed.post/3loor2df3rc2p"
      },
      "parent": {
        "cid": "bafyreietx7vx72arffwhwaky4zaphwg7mga7gelyzzt6m72wxrv5c4lyve",
        "uri": "at://did:plc:rvlyeda73kxm7l2weegk73pa/app.bsky.feed.post/3loor2dfekk2p"
      }
    },
    "createdAt": "2025-05-08T20:32:45.539Z"
  }
}