@crvouga/mockingbird-service-postgres 3.4.1 → 3.6.0

package/dist/index.js

@@ -254,6 +254,13 @@ function isPostgresError(err) {
   return typeof sqlState === "string" && /^[0-9A-Z]{5}$/.test(sqlState);
 }
 
+// src/storage/guc.ts
+function validateStorageSetting(name, value) {
+  if (name === "default_table_access_method" && value !== "heap" || name === "default_tablespace" && value !== "" && value !== "pg_default") {
+    throw pgError("invalid_parameter_value", `invalid value for parameter "${name}": "${value}"`, "22023");
+  }
+}
+
 // src/runtime/prng.ts
 var Prng = class _Prng {
   state;
@@ -3708,6 +3715,9 @@ var DatabaseState = class _DatabaseState {
   changes = 0;
   oidCounter = 16384;
   inTransaction = false;
+  /** Transaction-only events: included in rollback clones, never in exported snapshots. */
+  pendingTriggers = [];
+  constraintModes = /* @__PURE__ */ new Map();
   /** most recent sequence touched by nextval/setval, for lastval() */
   lastSequence = null;
   /** Session currval per sequence; absent entry means currval is undefined. */
@@ -3750,6 +3760,8 @@ var DatabaseState = class _DatabaseState {
     this.settings.set("row_security", "on");
     this.settings.set("array_nulls", "on");
     this.settings.set("backslash_quote", "safe_encoding");
+    this.settings.set("default_tablespace", "");
+    this.settings.set("default_table_access_method", "heap");
   }
   nextOid() {
     return this.oidCounter++;
@@ -3909,6 +3921,8 @@ var DatabaseState = class _DatabaseState {
     s.prepared = new Map(this.prepared);
     s.changes = this.changes;
     s.inTransaction = this.inTransaction;
+    s.pendingTriggers = this.pendingTriggers.slice();
+    s.constraintModes = new Map(this.constraintModes);
     s.lastSequence = this.lastSequence ? { ...this.lastSequence } : null;
     s.sequenceCurrval = new Map(this.sequenceCurrval);
     s.tableStats = new Map(this.tableStats);
@@ -3926,6 +3940,8 @@ var DatabaseState = class _DatabaseState {
     s.prepared = new Map(this.prepared);
     s.changes = this.changes;
     s.inTransaction = this.inTransaction;
+    s.pendingTriggers = this.pendingTriggers.slice();
+    s.constraintModes = new Map(this.constraintModes);
     s.lastSequence = this.lastSequence ? { ...this.lastSequence } : null;
     s.sequenceCurrval = new Map(this.sequenceCurrval);
     s.tableStats = new Map(this.tableStats);
@@ -3998,6 +4014,8 @@ var DatabaseState = class _DatabaseState {
     this.settings = other.settings;
     this.localSettings = other.localSettings;
     this.prepared = other.prepared;
+    this.pendingTriggers = other.pendingTriggers.slice();
+    this.constraintModes = new Map(other.constraintModes);
     this.changes = other.changes;
     this.lastSequence = other.lastSequence;
     this.sequenceCurrval = other.sequenceCurrval;
@@ -4014,90 +4032,189 @@ var DatabaseState = class _DatabaseState {
   }
 };
 
-// src/transactions/manager.ts
-var TransactionManager = class {
-  constructor(state) {
-    this.state = state;
+// src/types/timezone.ts
+var intlCache = /* @__PURE__ */ new Map();
+function intlFor(zone) {
+  const cached = intlCache.get(zone);
+  if (cached) return cached;
+  try {
+    const fmt = new Intl.DateTimeFormat("en-US", {
+      timeZone: zone,
+      timeZoneName: "longOffset",
+      year: "numeric"
+    });
+    intlCache.set(zone, fmt);
+    return fmt;
+  } catch {
+    return null;
+  }
+}
+function parseFixedOffset(zone) {
+  const m = /^([+-]?)(\d{1,2})(?::(\d{2}))?(?::(\d{2}))?$/.exec(zone.trim());
+  if (!m) return null;
+  const sign = m[1] === "-" ? -1 : 1;
+  return sign * (Number(m[2]) * 3600 + Number(m[3] ?? 0) * 60 + Number(m[4] ?? 0));
+}
+function parsePosixOffset(zone) {
+  const m = /^(?:utc|gmt)([+-])(\d{1,2})(?::(\d{2}))?$/i.exec(zone.trim());
+  if (!m) return null;
+  const sign = m[1] === "-" ? 1 : -1;
+  return sign * (Number(m[2]) * 3600 + Number(m[3] ?? 0) * 60);
+}
+function pgMicrosToUnixMs(utcMicros) {
+  return Number((utcMicros - UNIX_EPOCH_MICROS_FROM_PG) / 1000n);
+}
+function zoneOffsetAtUtc(zone, utcMicros) {
+  const z = zone.trim();
+  const lower = z.toLowerCase();
+  if (lower === "utc" || lower === "gmt" || lower === "z" || lower === "zulu" || lower === "universal") return 0;
+  const posix = parsePosixOffset(z);
+  if (posix !== null) return posix;
+  const fixed = parseFixedOffset(z);
+  if (fixed !== null) return fixed;
+  const fmt = intlFor(z);
+  if (fmt) {
+    const ms = clampDateMs(pgMicrosToUnixMs(utcMicros));
+    const parts = fmt.formatToParts(new Date(ms));
+    const tzName = parts.find((p) => p.type === "timeZoneName")?.value ?? "GMT";
+    const m = /GMT([+-])(\d{2}):(\d{2})(?::(\d{2}))?/.exec(tzName);
+    if (!m) return 0;
+    const sign = m[1] === "-" ? -1 : 1;
+    return sign * (Number(m[2]) * 3600 + Number(m[3]) * 60 + Number(m[4] ?? 0));
   }
+  throw pgError("invalid_parameter_value", `time zone "${zone}" not recognized`);
+}
+function clampDateMs(ms) {
+  const MAX = 864e13;
+  return Math.max(-MAX, Math.min(MAX, ms));
+}
+function zoneOffsetForNaive(zone, naiveMicros) {
+  const first = zoneOffsetAtUtc(zone, naiveMicros);
+  const second = zoneOffsetAtUtc(zone, naiveMicros - BigInt(first) * 1000000n);
+  return second;
+}
+
+// src/expressions/context.ts
+var EngineCtx = class {
   state;
-  base = null;
-  savepoints = [];
-  freezeDepth = 0;
-  get inTransaction() {
-    return this.base !== null;
+  /** transaction timestamp (now(), current_timestamp) — UTC micros since PG epoch */
+  txNow;
+  /** statement timestamp */
+  stmtNow;
+  constructor(state, txNow) {
+    this.state = state;
+    const nowMs = state.clock().getTime();
+    const nowMicros = BigInt(Math.round(nowMs)) * 1000n + UNIX_EPOCH_MICROS_FROM_PG;
+    this.txNow = txNow ?? nowMicros;
+    this.stmtNow = nowMicros;
   }
-  takeSnapshot() {
-    this.state.freezeShared();
-    this.freezeDepth++;
-    return { state: this.state.cloneShallow(), prngState: this.state.prng.getState() };
+  timezone() {
+    return this.state.getSetting("timezone") ?? "UTC";
   }
-  restore(snap) {
-    this.state.restoreFrom(snap.state);
-    this.state.prng.setState(snap.prngState);
+  namespaceOid(name) {
+    const oid = builtinNamespaceOid(name) ?? this.state.schemas.get(name)?.oid;
+    if (oid === void 0) throw pgError("undefined_object", `schema "${name}" does not exist`, "3F000");
+    return oid;
   }
-  thawOnce() {
-    if (this.freezeDepth > 0) {
-      this.state.thawShared();
-      this.freezeDepth--;
+  namespaceName(oid) {
+    const builtin = builtinNamespaceName(oid);
+    if (builtin !== void 0) return builtin;
+    for (const schema of this.state.schemas.values()) {
+      if (schema.oid === oid) return schema.name;
     }
+    return null;
   }
-  begin() {
-    if (this.base !== null) {
-      return;
-    }
-    this.base = this.takeSnapshot();
-    this.state.inTransaction = true;
-    assert(this.freezeDepth === 1, "BEGIN freeze depth");
+  zoneOffsetAt(utcMicros) {
+    return zoneOffsetAtUtc(this.timezone(), utcMicros);
   }
-  commit() {
-    this.base = null;
-    this.savepoints = [];
-    this.state.inTransaction = false;
-    this.state.localSettings.clear();
-    while (this.freezeDepth > 0) this.thawOnce();
+  zoneOffsetForNaive(naiveMicros) {
+    return zoneOffsetForNaive(this.timezone(), naiveMicros);
   }
-  rollback() {
-    if (this.base !== null) {
-      this.restore(this.base);
-    }
-    this.base = null;
-    this.savepoints = [];
-    this.state.inTransaction = false;
-    this.state.localSettings.clear();
-    while (this.freezeDepth > 0) this.thawOnce();
+  enumLabels(enumType) {
+    if (!isEnumType(enumType)) return null;
+    const e = this.state.findEnumByKey(enumType.slice(5));
+    return e?.labels ?? null;
   }
-  savepoint(name) {
-    if (this.base === null) {
-      throw pgError("transaction_state", "SAVEPOINT can only be used in transaction blocks", "25P01");
-    }
-    this.savepoints.push({ name, snap: this.takeSnapshot() });
+  enumHasLabel(enumType, label) {
+    const labels = this.enumLabels(enumType);
+    return labels === null ? true : labels.includes(label);
   }
-  releaseSavepoint(name) {
-    const idx = this.findSavepoint(name);
-    this.savepoints.splice(idx);
+  enumOrder(enumType, label) {
+    const labels = this.enumLabels(enumType);
+    if (!labels) return 0;
+    const idx = labels.indexOf(label);
+    return idx === -1 ? labels.length : idx;
   }
-  rollbackToSavepoint(name) {
-    const idx = this.findSavepoint(name);
-    const sp = this.savepoints[idx];
-    this.restore(sp.snap);
-    this.savepoints.splice(idx + 1);
+  requireEnum(enumType) {
+    const labels = this.enumLabels(enumType);
+    if (!labels) throw pgError("undefined_object", `type "${enumType.slice(5)}" does not exist`);
+    return labels;
   }
-  findSavepoint(name) {
-    if (this.base === null) {
-      throw pgError("transaction_state", `SAVEPOINT can only be used in transaction blocks`, "25P01");
-    }
-    for (let i = this.savepoints.length - 1; i >= 0; i--) {
-      if (this.savepoints[i].name === name) return i;
+};
+
+// src/api/bind.ts
+var INT4_MIN2 = -2147483648;
+var INT4_MAX2 = 2147483647;
+function bindValueToTyped(value, index) {
+  if (value === null || value === void 0) return tv(UNKNOWN, null);
+  switch (typeof value) {
+    case "boolean":
+      return tv("bool", value);
+    case "number":
+      if (Number.isInteger(value) && value >= INT4_MIN2 && value <= INT4_MAX2) {
+        return tv("int4", value);
+      }
+      if (Number.isInteger(value) && Number.isSafeInteger(value)) {
+        return tv("int8", BigInt(value));
+      }
+      return tv("float8", value);
+    case "bigint":
+      if (value < -9223372036854775808n || value > 9223372036854775807n) {
+        throw pgError("numeric_value_out_of_range", `bigint parameter $${index + 1} out of int8 range`, "22003");
+      }
+      return tv("int8", value);
+    case "string":
+      return tv(UNKNOWN, value);
+    case "object": {
+      if (value instanceof Uint8Array) return tv("bytea", value);
+      if (value instanceof Date) {
+        const ms = value.getTime();
+        if (Number.isNaN(ms)) {
+          throw pgError("invalid_datetime", `invalid Date parameter $${index + 1}`, "22008");
+        }
+        return tv("timestamptz", BigInt(Math.round(ms)) * 1000n + UNIX_EPOCH_MICROS_FROM_PG);
+      }
+      break;
     }
-    throw pgError("invalid_savepoint_specification", `savepoint "${name}" does not exist`, "3B001");
+    default:
+      break;
   }
-  reset() {
-    this.base = null;
-    this.savepoints = [];
-    this.state.inTransaction = false;
-    this.freezeDepth = 0;
+  throw pgError("misuse", `unsupported parameter type for $${index + 1}: ${typeof value}`, "XX000");
+}
+function datumToJs(t, v, ctx, int8 = "bigint") {
+  if (v === null) return null;
+  switch (t) {
+    case "bool":
+      return v;
+    case "int2":
+    case "int4":
+    case "oid":
+      return typeof v === "bigint" ? Number(v) : v;
+    case "int8": {
+      const n = typeof v === "bigint" ? v : BigInt(v);
+      if (int8 === "string") return n.toString();
+      if (int8 === "number") return Number(n);
+      return n;
+    }
+    case "float4":
+    case "float8":
+      return v;
+    case "bytea":
+      return v;
+    default:
+      return datumText(t === UNKNOWN ? "text" : t, v, ctx);
   }
-};
+}
 
 // src/types/cast.ts
 var UTC_CAST_ENV = {
@@ -4575,259 +4692,6 @@ function unifyTypes(a, b) {
   return null;
 }
 
-// src/types/resolve.ts
-var SERIALS = {
-  smallserial: "int2",
-  serial2: "int2",
-  serial: "int4",
-  serial4: "int4",
-  bigserial: "int8",
-  serial8: "int8"
-};
-function modOf(t, mods) {
-  if (mods.length === 0) return null;
-  if (t === "numeric") return { a: mods[0], b: mods[1] ?? 0 };
-  return { a: mods[0] };
-}
-function resolveTypeName(state, tn) {
-  const joined = tn.parts.join(".");
-  const bare = tn.parts.length === 1 ? tn.parts[0] : tn.parts.length === 2 && tn.parts[0] === "pg_catalog" ? tn.parts[1] : null;
-  if (bare !== null) {
-    const serial = SERIALS[bare];
-    if (serial !== void 0 && tn.arrayDims === 0) {
-      return { column: { id: serial, mod: null }, domain: null, serial };
-    }
-    const builtin = normalizeTypeName(bare);
-    if (builtin !== null) {
-      const id = tn.arrayDims > 0 ? arrayTypeOf(builtin) : builtin;
-      return { column: { id, mod: modOf(builtin, tn.mods) }, domain: null, serial: null };
-    }
-  }
-  const enumData = state.findEnum(tn.parts);
-  if (enumData) {
-    const elem = `enum:${enumData.schema}.${enumData.name}`;
-    const id = tn.arrayDims > 0 ? arrayTypeOf(elem) : elem;
-    return { column: { id, mod: null }, domain: null, serial: null };
-  }
-  const domainData = state.findDomain(tn.parts);
-  if (domainData) {
-    if (tn.arrayDims > 0) {
-      const id = arrayTypeOf(domainData.baseType.id);
-      return { column: { id, mod: domainData.baseType.mod }, domain: null, serial: null };
-    }
-    return {
-      column: domainData.baseType,
-      domain: `${domainData.schema}.${domainData.name}`,
-      serial: null
-    };
-  }
-  throw pgError("undefined_object", `type "${joined}" does not exist`);
-}
-
-// src/executor/relation.ts
-var RowScope = class {
-  constructor(columns, row, parent = null, rangeVars = /* @__PURE__ */ new Set()) {
-    this.columns = columns;
-    this.row = row;
-    this.parent = parent;
-    this.rangeVars = rangeVars;
-  }
-  columns;
-  row;
-  parent;
-  rangeVars;
-  /** Resolve a (possibly qualified) column reference. undefined = not found. */
-  lookup(parts) {
-    if (parts.length === 1) {
-      const name2 = parts[0];
-      let found2;
-      let count2 = 0;
-      for (let i = 0; i < this.columns.length; i++) {
-        const c = this.columns[i];
-        if (c.name === name2 && !c.hidden) {
-          count2++;
-          if (count2 > 1) {
-            throw pgError("ambiguous_column", `column reference "${name2}" is ambiguous`);
-          }
-          found2 = tv(c.type, this.row[i] ?? null);
-        }
-      }
-      if (found2 !== void 0) return found2;
-      if (this.rangeVars.has(name2)) {
-        return this.wholeRow(name2);
-      }
-      return this.parent?.lookup(parts);
-    }
-    const table = parts[parts.length - 2];
-    const name = parts[parts.length - 1];
-    let found;
-    let count = 0;
-    for (let i = 0; i < this.columns.length; i++) {
-      const c = this.columns[i];
-      if (c.table === table && c.name === name) {
-        count++;
-        if (count > 1) {
-          throw pgError("ambiguous_column", `column reference "${name}" is ambiguous`);
-        }
-        found = tv(c.type, this.row[i] ?? null);
-      }
-    }
-    if (found !== void 0) return found;
-    return this.parent?.lookup(parts);
-  }
-  /** Build a record value from all columns belonging to a range variable. */
-  wholeRow(rangeVar) {
-    const types = [];
-    const values = [];
-    const names = [];
-    for (let i = 0; i < this.columns.length; i++) {
-      const c = this.columns[i];
-      if (c.table === rangeVar) {
-        types.push(c.type);
-        values.push(this.row[i] ?? null);
-        names.push(c.name);
-      }
-    }
-    if (types.length === 0) return void 0;
-    return tv("record", { kind: "pgrecord", types, values, names });
-  }
-  hasRangeVar(name) {
-    if (this.rangeVars.has(name)) return true;
-    return this.parent?.hasRangeVar(name) ?? false;
-  }
-};
-function childEnv(env, outer) {
-  return {
-    ctx: env.ctx,
-    params: env.params,
-    ctes: env.ctes,
-    outer,
-    allowUnpopulatedMatviews: env.allowUnpopulatedMatviews
-  };
-}
-function relationResult(rel3, command) {
-  const visible = rel3.columns.map((c, i) => ({ i, c })).filter(({ c }) => !c.hidden);
-  return {
-    columns: visible.map(({ c }) => ({ name: c.name, type: c.type })),
-    rows: rel3.rows.map((r) => visible.map(({ i }) => r[i] ?? null)),
-    command,
-    rowCount: rel3.rows.length
-  };
-}
-function commandResult(command, rowCount) {
-  return { columns: [], rows: [], command, rowCount };
-}
-function inferColumnName(e) {
-  switch (e.type) {
-    case "colref":
-      return e.parts[e.parts.length - 1];
-    case "func":
-      return e.name[e.name.length - 1];
-    case "cast": {
-      const inner = inferColumnName(e.expr);
-      if (inner !== "?column?") return inner;
-      return e.target.parts[e.target.parts.length - 1];
-    }
-    case "collate":
-      return inferColumnName(e.expr);
-    case "case":
-      return "case";
-    case "array_ctor":
-    case "array_query":
-      return "array";
-    case "row":
-      return "row";
-    case "subquery_expr":
-      return e.kind === "exists" ? "exists" : "?column?";
-    case "bool_lit":
-      return "bool";
-    case "extract":
-      return "extract";
-    case "position":
-      return "position";
-    case "substring_sql":
-      return "substring";
-    case "overlay":
-      return "overlay";
-    case "trim":
-      return e.side === "leading" ? "ltrim" : e.side === "trailing" ? "rtrim" : "btrim";
-    case "field_select":
-      return e.field === "*" ? "?column?" : e.field;
-    case "at_time_zone":
-      return "timezone";
-    case "grouping_func":
-      return "grouping";
-    case "subscript":
-      return inferColumnName(e.base);
-    default:
-      return "?column?";
-  }
-}
-
-// src/api/bind.ts
-var INT4_MIN2 = -2147483648;
-var INT4_MAX2 = 2147483647;
-function bindValueToTyped(value, index) {
-  if (value === null || value === void 0) return tv(UNKNOWN, null);
-  switch (typeof value) {
-    case "boolean":
-      return tv("bool", value);
-    case "number":
-      if (Number.isInteger(value) && value >= INT4_MIN2 && value <= INT4_MAX2) {
-        return tv("int4", value);
-      }
-      if (Number.isInteger(value) && Number.isSafeInteger(value)) {
-        return tv("int8", BigInt(value));
-      }
-      return tv("float8", value);
-    case "bigint":
-      if (value < -9223372036854775808n || value > 9223372036854775807n) {
-        throw pgError("numeric_value_out_of_range", `bigint parameter $${index + 1} out of int8 range`, "22003");
-      }
-      return tv("int8", value);
-    case "string":
-      return tv(UNKNOWN, value);
-    case "object": {
-      if (value instanceof Uint8Array) return tv("bytea", value);
-      if (value instanceof Date) {
-        const ms = value.getTime();
-        if (Number.isNaN(ms)) {
-          throw pgError("invalid_datetime", `invalid Date parameter $${index + 1}`, "22008");
-        }
-        return tv("timestamptz", BigInt(Math.round(ms)) * 1000n + UNIX_EPOCH_MICROS_FROM_PG);
-      }
-      break;
-    }
-    default:
-      break;
-  }
-  throw pgError("misuse", `unsupported parameter type for $${index + 1}: ${typeof value}`, "XX000");
-}
-function datumToJs(t, v, ctx, int8 = "bigint") {
-  if (v === null) return null;
-  switch (t) {
-    case "bool":
-      return v;
-    case "int2":
-    case "int4":
-    case "oid":
-      return typeof v === "bigint" ? Number(v) : v;
-    case "int8": {
-      const n = typeof v === "bigint" ? v : BigInt(v);
-      if (int8 === "string") return n.toString();
-      if (int8 === "number") return Number(n);
-      return n;
-    }
-    case "float4":
-    case "float8":
-      return v;
-    case "bytea":
-      return v;
-    default:
-      return datumText(t === UNKNOWN ? "text" : t, v, ctx);
-  }
-}
-
 // src/functions/datetime-fns.ts
 function extractDatePart(ctx, field0, src0, asNumeric) {
   const field = field0.toLowerCase();
@@ -5742,68 +5606,6 @@ function getArrayFunctions() {
   return m;
 }
 
-// src/types/timezone.ts
-var intlCache = /* @__PURE__ */ new Map();
-function intlFor(zone) {
-  const cached = intlCache.get(zone);
-  if (cached) return cached;
-  try {
-    const fmt = new Intl.DateTimeFormat("en-US", {
-      timeZone: zone,
-      timeZoneName: "longOffset",
-      year: "numeric"
-    });
-    intlCache.set(zone, fmt);
-    return fmt;
-  } catch {
-    return null;
-  }
-}
-function parseFixedOffset(zone) {
-  const m = /^([+-]?)(\d{1,2})(?::(\d{2}))?(?::(\d{2}))?$/.exec(zone.trim());
-  if (!m) return null;
-  const sign = m[1] === "-" ? -1 : 1;
-  return sign * (Number(m[2]) * 3600 + Number(m[3] ?? 0) * 60 + Number(m[4] ?? 0));
-}
-function parsePosixOffset(zone) {
-  const m = /^(?:utc|gmt)([+-])(\d{1,2})(?::(\d{2}))?$/i.exec(zone.trim());
-  if (!m) return null;
-  const sign = m[1] === "-" ? 1 : -1;
-  return sign * (Number(m[2]) * 3600 + Number(m[3] ?? 0) * 60);
-}
-function pgMicrosToUnixMs(utcMicros) {
-  return Number((utcMicros - UNIX_EPOCH_MICROS_FROM_PG) / 1000n);
-}
-function zoneOffsetAtUtc(zone, utcMicros) {
-  const z = zone.trim();
-  const lower = z.toLowerCase();
-  if (lower === "utc" || lower === "gmt" || lower === "z" || lower === "zulu" || lower === "universal") return 0;
-  const posix = parsePosixOffset(z);
-  if (posix !== null) return posix;
-  const fixed = parseFixedOffset(z);
-  if (fixed !== null) return fixed;
-  const fmt = intlFor(z);
-  if (fmt) {
-    const ms = clampDateMs(pgMicrosToUnixMs(utcMicros));
-    const parts = fmt.formatToParts(new Date(ms));
-    const tzName = parts.find((p) => p.type === "timeZoneName")?.value ?? "GMT";
-    const m = /GMT([+-])(\d{2}):(\d{2})(?::(\d{2}))?/.exec(tzName);
-    if (!m) return 0;
-    const sign = m[1] === "-" ? -1 : 1;
-    return sign * (Number(m[2]) * 3600 + Number(m[3]) * 60 + Number(m[4] ?? 0));
-  }
-  throw pgError("invalid_parameter_value", `time zone "${zone}" not recognized`);
-}
-function clampDateMs(ms) {
-  const MAX = 864e13;
-  return Math.max(-MAX, Math.min(MAX, ms));
-}
-function zoneOffsetForNaive(zone, naiveMicros) {
-  const first = zoneOffsetAtUtc(zone, naiveMicros);
-  const second = zoneOffsetAtUtc(zone, naiveMicros - BigInt(first) * 1000000n);
-  return second;
-}
-
 // src/functions/datetime-registry.ts
 function getDatetimeFunctions() {
   const m = /* @__PURE__ */ new Map();
@@ -7403,6 +7205,28 @@ function exactDegTan(x) {
   return Math.tan(x * Math.PI / 180);
 }
 
+// src/storage/indexable-relation.ts
+function materializedTable(view) {
+  const table = new TableData(
+    view.schema,
+    view.name,
+    (view.matColumns ?? []).map((c) => ({
+      name: c.name,
+      type: { id: c.type, mod: null },
+      notNull: false,
+      defaultExpr: null,
+      identity: null,
+      generated: null,
+      collate: null,
+      domain: null
+    })),
+    view.oid,
+    view.temp
+  );
+  table.rows = view.matRows ?? [];
+  return table;
+}
+
 // src/schema/index-catalog.ts
 var isKeyConstraint = (constraint) => constraint.kind === "primary_key" || constraint.kind === "unique";
 var ACCESS_METHODS = /* @__PURE__ */ new Map([
@@ -7431,6 +7255,8 @@ function syncIndexCatalog(state) {
   const tables = /* @__PURE__ */ new Map();
   for (const schema of state.schemas.values()) {
     for (const table of schema.tables.values()) tables.set(table.oid, { schema, table });
+    for (const view of schema.views.values())
+      if (view.materialized) tables.set(view.oid, { schema, table: materializedTable(view) });
   }
   const backing = /* @__PURE__ */ new Map();
   for (const { table } of tables.values()) {
@@ -7628,6 +7454,55 @@ function deparseExpr(e) {
   }
 }
 
+// src/types/resolve.ts
+var SERIALS = {
+  smallserial: "int2",
+  serial2: "int2",
+  serial: "int4",
+  serial4: "int4",
+  bigserial: "int8",
+  serial8: "int8"
+};
+function modOf(t, mods) {
+  if (mods.length === 0) return null;
+  if (t === "numeric") return { a: mods[0], b: mods[1] ?? 0 };
+  return { a: mods[0] };
+}
+function resolveTypeName(state, tn) {
+  const joined = tn.parts.join(".");
+  const bare = tn.parts.length === 1 ? tn.parts[0] : tn.parts.length === 2 && tn.parts[0] === "pg_catalog" ? tn.parts[1] : null;
+  if (bare !== null) {
+    const serial = SERIALS[bare];
+    if (serial !== void 0 && tn.arrayDims === 0) {
+      return { column: { id: serial, mod: null }, domain: null, serial };
+    }
+    const builtin = normalizeTypeName(bare);
+    if (builtin !== null) {
+      const id = tn.arrayDims > 0 ? arrayTypeOf(builtin) : builtin;
+      return { column: { id, mod: modOf(builtin, tn.mods) }, domain: null, serial: null };
+    }
+  }
+  const enumData = state.findEnum(tn.parts);
+  if (enumData) {
+    const elem = `enum:${enumData.schema}.${enumData.name}`;
+    const id = tn.arrayDims > 0 ? arrayTypeOf(elem) : elem;
+    return { column: { id, mod: null }, domain: null, serial: null };
+  }
+  const domainData = state.findDomain(tn.parts);
+  if (domainData) {
+    if (tn.arrayDims > 0) {
+      const id = arrayTypeOf(domainData.baseType.id);
+      return { column: { id, mod: domainData.baseType.mod }, domain: null, serial: null };
+    }
+    return {
+      column: domainData.baseType,
+      domain: `${domainData.schema}.${domainData.name}`,
+      serial: null
+    };
+  }
+  throw pgError("undefined_object", `type "${joined}" does not exist`);
+}
+
 // src/sql/ruleutils.ts
 var BOOL = "bool";
 var TEXT = "text";
@@ -8422,7 +8297,11 @@ function getMiscFunctions() {
     }
     const name = argText(ctx, args[0]).toLowerCase();
     const value = args[1].v === null ? "" : argText(ctx, args[1]);
-    ctx.state.settings.set(name, value);
+    if (!ctx.state.settings.has(name) && !name.includes("."))
+      throw pgError("undefined_object", `unrecognized configuration parameter "${name}"`, "42704");
+    validateStorageSetting(name, value);
+    const local = args[2]?.v === true;
+    if (!local || ctx.state.inTransaction) (local ? ctx.state.localSettings : ctx.state.settings).set(name, value);
     return tv("text", value);
   });
   m.set(
@@ -8488,10 +8367,7 @@ function getMiscFunctions() {
       if (!col)
         throw pgError("undefined_column", `column "${column}" of relation "${table.name}" does not exist`, "42703");
       if (!col.identity) return tv("text", null);
-      return tv(
-        "text",
-        col.identity.sequence.split(".").map(quoteIdent).join(".")
-      );
+      return tv("text", col.identity.sequence.split(".").map(quoteIdent).join("."));
     })
   );
   m.set("format_type", (ctx, args) => {
@@ -13415,6 +13291,146 @@ function isSrfName(name) {
   return SRFS.has(name);
 }
 
+// src/executor/relation.ts
+var RowScope = class {
+  constructor(columns, row, parent = null, rangeVars = /* @__PURE__ */ new Set()) {
+    this.columns = columns;
+    this.row = row;
+    this.parent = parent;
+    this.rangeVars = rangeVars;
+  }
+  columns;
+  row;
+  parent;
+  rangeVars;
+  /** Resolve a (possibly qualified) column reference. undefined = not found. */
+  lookup(parts) {
+    if (parts.length === 1) {
+      const name2 = parts[0];
+      let found2;
+      let count2 = 0;
+      for (let i = 0; i < this.columns.length; i++) {
+        const c = this.columns[i];
+        if (c.name === name2 && !c.hidden) {
+          count2++;
+          if (count2 > 1) {
+            throw pgError("ambiguous_column", `column reference "${name2}" is ambiguous`);
+          }
+          found2 = tv(c.type, this.row[i] ?? null);
+        }
+      }
+      if (found2 !== void 0) return found2;
+      if (this.rangeVars.has(name2)) {
+        return this.wholeRow(name2);
+      }
+      return this.parent?.lookup(parts);
+    }
+    const table = parts[parts.length - 2];
+    const name = parts[parts.length - 1];
+    let found;
+    let count = 0;
+    for (let i = 0; i < this.columns.length; i++) {
+      const c = this.columns[i];
+      if (c.table === table && c.name === name) {
+        count++;
+        if (count > 1) {
+          throw pgError("ambiguous_column", `column reference "${name}" is ambiguous`);
+        }
+        found = tv(c.type, this.row[i] ?? null);
+      }
+    }
+    if (found !== void 0) return found;
+    return this.parent?.lookup(parts);
+  }
+  /** Build a record value from all columns belonging to a range variable. */
+  wholeRow(rangeVar) {
+    const types = [];
+    const values = [];
+    const names = [];
+    for (let i = 0; i < this.columns.length; i++) {
+      const c = this.columns[i];
+      if (c.table === rangeVar) {
+        types.push(c.type);
+        values.push(this.row[i] ?? null);
+        names.push(c.name);
+      }
+    }
+    if (types.length === 0) return void 0;
+    return tv("record", { kind: "pgrecord", types, values, names });
+  }
+  hasRangeVar(name) {
+    if (this.rangeVars.has(name)) return true;
+    return this.parent?.hasRangeVar(name) ?? false;
+  }
+};
+function childEnv(env, outer) {
+  return {
+    ctx: env.ctx,
+    params: env.params,
+    ctes: env.ctes,
+    outer,
+    allowUnpopulatedMatviews: env.allowUnpopulatedMatviews
+  };
+}
+function relationResult(rel3, command) {
+  const visible = rel3.columns.map((c, i) => ({ i, c })).filter(({ c }) => !c.hidden);
+  return {
+    columns: visible.map(({ c }) => ({ name: c.name, type: c.type })),
+    rows: rel3.rows.map((r) => visible.map(({ i }) => r[i] ?? null)),
+    command,
+    rowCount: rel3.rows.length
+  };
+}
+function commandResult(command, rowCount) {
+  return { columns: [], rows: [], command, rowCount };
+}
+function inferColumnName(e) {
+  switch (e.type) {
+    case "colref":
+      return e.parts[e.parts.length - 1];
+    case "func":
+      return e.name[e.name.length - 1];
+    case "cast": {
+      const inner = inferColumnName(e.expr);
+      if (inner !== "?column?") return inner;
+      return e.target.parts[e.target.parts.length - 1];
+    }
+    case "collate":
+      return inferColumnName(e.expr);
+    case "case":
+      return "case";
+    case "array_ctor":
+    case "array_query":
+      return "array";
+    case "row":
+      return "row";
+    case "subquery_expr":
+      return e.kind === "exists" ? "exists" : "?column?";
+    case "bool_lit":
+      return "bool";
+    case "extract":
+      return "extract";
+    case "position":
+      return "position";
+    case "substring_sql":
+      return "substring";
+    case "overlay":
+      return "overlay";
+    case "trim":
+      return e.side === "leading" ? "ltrim" : e.side === "trailing" ? "rtrim" : "btrim";
+    case "field_select":
+      return e.field === "*" ? "?column?" : e.field;
+    case "at_time_zone":
+      return "timezone";
+    case "grouping_func":
+      return "grouping";
+    case "subscript":
+      return inferColumnName(e.base);
+    default:
+      return "?column?";
+  }
+}
+
 // src/indexes/index.ts
 var IndexStore = class _IndexStore {
   name;
@@ -13477,53 +13493,228 @@ function ensureIndexStores(env, table) {
       const key = uniqueKeyOf(env, table, spec, table.rowAt(i));
       if (key !== null) store.insert(key, i);
     }
-    stores.set(spec.name, store);
-  }
-  const schema = env.ctx.state.schemas.get(table.schema);
-  if (schema) {
-    for (const idx of schema.indexes.values()) {
-      if (idx.table !== table.name || idx.unique) continue;
-      stores.set(idx.name, new IndexStore(idx.name, false));
+    stores.set(spec.name, store);
+  }
+  const schema = env.ctx.state.schemas.get(table.schema);
+  if (schema) {
+    for (const idx of schema.indexes.values()) {
+      if (idx.table !== table.name || idx.unique) continue;
+      stores.set(idx.name, new IndexStore(idx.name, false));
+    }
+  }
+  table.indexStores = stores;
+  return stores;
+}
+function indexStoreFor(env, table, spec) {
+  const stores = ensureIndexStores(env, table);
+  let store = stores.get(spec.name);
+  if (!store) {
+    store = new IndexStore(spec.name, true);
+    for (let i = 0; i < table.rowCount(); i++) {
+      const key = uniqueKeyOf(env, table, spec, table.rowAt(i));
+      if (key !== null) store.insert(key, i);
+    }
+    stores.set(spec.name, store);
+  }
+  return store;
+}
+function indexInsertRow(env, table, rowIdx, row) {
+  for (const spec of uniqueSpecsFor(env, table)) {
+    const key = uniqueKeyOf(env, table, spec, row);
+    if (key === null) continue;
+    indexStoreFor(env, table, spec).insert(key, rowIdx);
+  }
+}
+function indexRemoveRow(env, table, rowIdx, row) {
+  if (!table.indexStores) return;
+  for (const spec of uniqueSpecsFor(env, table)) {
+    const key = uniqueKeyOf(env, table, spec, row);
+    if (key === null) continue;
+    table.indexStores.get(spec.name)?.remove(key, rowIdx);
+  }
+}
+function indexUpdateRow(env, table, rowIdx, oldRow, newRow) {
+  indexRemoveRow(env, table, rowIdx, oldRow);
+  indexInsertRow(env, table, rowIdx, newRow);
+}
+function rebuildTableIndexes(env, table) {
+  table.indexStores = null;
+  ensureIndexStores(env, table);
+}
+
+// src/constraints/enforce.ts
+function tableScope(table, row) {
+  const cols = table.columns.map((c) => ({ name: c.name, type: c.type.id, table: table.name }));
+  return new RowScope(cols, row, null, /* @__PURE__ */ new Set([table.name]));
+}
+function checkNotNull(env, table, row) {
+  void env;
+  for (let i = 0; i < table.columns.length; i++) {
+    const c = table.columns[i];
+    if (c.notNull && (row[i] ?? null) === null) {
+      throw pgError(
+        "not_null_violation",
+        `null value in column "${c.name}" of relation "${table.name}" violates not-null constraint`,
+        "23502"
+      );
+    }
+  }
+}
+function checkChecks(env, table, row) {
+  for (const con of table.constraints) {
+    if (con.kind !== "check") continue;
+    const scope = makeEvalScope(env, tableScope(table, row));
+    const v = evalExpr(env.ctx, scope, con.expr);
+    if (v.v === null) continue;
+    const b = castTo(env.ctx, v, "bool", {});
+    if (b.v !== true) {
+      throw pgError(
+        "check_violation",
+        `new row for relation "${table.name}" violates check constraint "${con.name}"`,
+        "23514"
+      );
+    }
+  }
+}
+function uniqueSpecsFor(env, table) {
+  const specs = [];
+  for (const con of table.constraints) {
+    if (con.kind !== "primary_key" && con.kind !== "unique") continue;
+    specs.push({
+      name: con.name,
+      keys: con.columns.map((c) => ({ colIdx: table.columnIndex(c), expr: null })),
+      columnNames: con.columns,
+      nullsNotDistinct: con.kind === "unique" ? con.nullsNotDistinct : false,
+      where: null,
+      isPrimary: con.kind === "primary_key"
+    });
+  }
+  const schema = env.ctx.state.schemas.get(table.schema);
+  if (schema) {
+    for (const idx of schema.indexes.values()) {
+      if (idx.table !== table.name || !idx.unique || idx.isConstraint || idx.valid === false) continue;
+      specs.push(uniqueSpecOfIndex(table, idx));
+    }
+  }
+  return specs;
+}
+function uniqueSpecOfIndex(table, idx) {
+  return {
+    name: idx.name,
+    keys: idx.columns.map((c) => ({
+      colIdx: c.column !== null ? table.columnIndex(c.column) : -1,
+      expr: c.expr
+    })),
+    columnNames: idx.columns.map((c) => c.column ?? "expr"),
+    nullsNotDistinct: idx.nullsNotDistinct,
+    where: idx.where,
+    isPrimary: false
+  };
+}
+function uniqueKeyOf(env, table, spec, row) {
+  if (spec.where) {
+    const scope = makeEvalScope(env, tableScope(table, row));
+    const v = evalExpr(env.ctx, scope, spec.where);
+    if (v.v !== true) return null;
+  }
+  const parts = [];
+  let hasNull = false;
+  for (const k of spec.keys) {
+    let value;
+    let type;
+    if (k.expr) {
+      const scope = makeEvalScope(env, tableScope(table, row));
+      const v = evalExpr(env.ctx, scope, k.expr);
+      value = v.v;
+      type = v.t === "unknown" ? "text" : v.t;
+    } else {
+      value = row[k.colIdx] ?? null;
+      type = table.columns[k.colIdx].type.id;
+    }
+    if (value === null) {
+      hasNull = true;
+      parts.push("\0N");
+    } else {
+      parts.push(datumKey(type, value));
+    }
+  }
+  if (hasNull && !spec.nullsNotDistinct) return null;
+  return parts.join("
");
+}
+function checkUnique(env, table, row, selfIdx) {
+  for (const spec of uniqueSpecsFor(env, table)) {
+    const key = uniqueKeyOf(env, table, spec, row);
+    if (key === null) continue;
+    indexStoreFor(env, table, spec).checkUnique(key, selfIdx);
+  }
+}
+function findConflict(env, table, spec, row) {
+  const key = uniqueKeyOf(env, table, spec, row);
+  if (key === null) return null;
+  const hits = indexStoreFor(env, table, spec).lookup(key);
+  return hits.length > 0 ? hits[0] : null;
+}
+function checkForeignKeys(env, table, row) {
+  const state = env.ctx.state;
+  for (const con of table.constraints) {
+    if (con.kind !== "foreign_key") continue;
+    const values = con.columns.map((c) => row[table.columnIndex(c)] ?? null);
+    const nulls = values.filter((v) => v === null).length;
+    if (con.match === "simple" && nulls > 0) continue;
+    if (con.match === "full") {
+      if (nulls === values.length) continue;
+      if (nulls > 0) {
+        throw pgError(
+          "constraint_foreign_key",
+          `insert or update on table "${table.name}" violates foreign key constraint "${con.name}"`,
+          "23503"
+        );
+      }
+    }
+    const refTable = state.schemas.get(con.refSchema)?.tables.get(con.refTable);
+    if (!refTable) {
+      throw pgError("undefined_table", `relation "${con.refSchema}.${con.refTable}" does not exist`, "42P01");
+    }
+    const refIdxs = con.refColumns.map((c) => refTable.columnIndex(c));
+    const keyTypes = con.refColumns.map((_c, i) => refTable.columns[refIdxs[i]].type.id);
+    const wanted = values.map((v, i) => {
+      const localT = table.columns[table.columnIndex(con.columns[i])].type.id;
+      const cast = castTo(env.ctx, tv(localT, v), keyTypes[i], {});
+      return cast.v === null ? "\0N" : datumKey(keyTypes[i], cast.v);
+    }).join("
");
+    let found = false;
+    for (let i = 0; i < refTable.rowCount(); i++) {
+      const r = refTable.rowAt(i);
+      const key = refIdxs.map((ri, j) => {
+        const v = r[ri] ?? null;
+        return v === null ? "\0N" : datumKey(keyTypes[j], v);
+      }).join("
");
+      if (key === wanted) {
+        found = true;
+        break;
+      }
+    }
+    if (!found) {
+      throw pgError(
+        "constraint_foreign_key",
+        `insert or update on table "${table.name}" violates foreign key constraint "${con.name}"`,
+        "23503"
+      );
     }
   }
-  table.indexStores = stores;
-  return stores;
 }
-function indexStoreFor(env, table, spec) {
-  const stores = ensureIndexStores(env, table);
-  let store = stores.get(spec.name);
-  if (!store) {
-    store = new IndexStore(spec.name, true);
-    for (let i = 0; i < table.rowCount(); i++) {
-      const key = uniqueKeyOf(env, table, spec, table.rowAt(i));
-      if (key !== null) store.insert(key, i);
+function referencingConstraints(env, table) {
+  const out = [];
+  for (const schema of env.ctx.state.schemas.values()) {
+    for (const t of schema.tables.values()) {
+      for (const con of t.constraints) {
+        if (con.kind === "foreign_key" && con.refSchema === table.schema && con.refTable === table.name) {
+          out.push({ table: t, constraint: con });
+        }
+      }
     }
-    stores.set(spec.name, store);
-  }
-  return store;
-}
-function indexInsertRow(env, table, rowIdx, row) {
-  for (const spec of uniqueSpecsFor(env, table)) {
-    const key = uniqueKeyOf(env, table, spec, row);
-    if (key === null) continue;
-    indexStoreFor(env, table, spec).insert(key, rowIdx);
-  }
-}
-function indexRemoveRow(env, table, rowIdx, row) {
-  if (!table.indexStores) return;
-  for (const spec of uniqueSpecsFor(env, table)) {
-    const key = uniqueKeyOf(env, table, spec, row);
-    if (key === null) continue;
-    table.indexStores.get(spec.name)?.remove(key, rowIdx);
   }
-}
-function indexUpdateRow(env, table, rowIdx, oldRow, newRow) {
-  indexRemoveRow(env, table, rowIdx, oldRow);
-  indexInsertRow(env, table, rowIdx, newRow);
-}
-function rebuildTableIndexes(env, table) {
-  table.indexStores = null;
-  ensureIndexStores(env, table);
+  return out;
 }
 
 // src/planner/access.ts
@@ -15409,10 +15600,9 @@ var Parser = class {
       return this.parseCreateFunction(orReplace);
     }
     if (this.atKw("trigger") || this.atKw("constraint") && this.atKw("trigger", 1)) {
-      if (this.eatKw("constraint")) {
-      }
+      const constraint = this.eatKw("constraint");
       this.expectKw("trigger");
-      return this.parseCreateTrigger(orReplace);
+      return this.parseCreateTrigger(orReplace, constraint);
     }
     if (this.atKw("extension")) {
       this.pos++;
@@ -16233,7 +16423,7 @@ var Parser = class {
       strict: strict2
     };
   }
-  parseCreateTrigger(orReplace) {
+  parseCreateTrigger(orReplace, constraint) {
     const name = this.ident();
     let timing;
     if (this.eatKw("before")) timing = "before";
@@ -16263,9 +16453,18 @@ var Parser = class {
     this.expectKw("on");
     const table = this.qualifiedName();
     if (this.eatKw("referencing")) throw unsupported("trigger transition tables");
-    while (this.atKw("not") || this.atKw("deferrable") || this.atKw("initially")) {
-      this.pos++;
-    }
+    let deferrable = false;
+    let initiallyDeferred = false;
+    if (this.eatKw("not")) this.expectKw("deferrable");
+    else if (this.eatKw("deferrable")) deferrable = true;
+    if (this.eatKw("initially")) {
+      if (this.eatKw("deferred")) initiallyDeferred = true;
+      else this.expectKw("immediate");
+    }
+    if ((deferrable || initiallyDeferred) && !constraint)
+      this.errorAt(this.peek(), "only constraint triggers can be deferred");
+    if (initiallyDeferred && !deferrable)
+      this.errorAt(this.peek(), "constraint declared INITIALLY DEFERRED must be DEFERRABLE");
     let forEachRow = false;
     if (this.eatKw("for")) {
       this.eatKw("each");
@@ -16290,7 +16489,21 @@ var Parser = class {
       } while (this.eatPunct(","));
     }
     this.expectPunct(")");
-    return { type: "create_trigger", orReplace, name, timing, events, table, forEachRow, when, funcName, funcArgs };
+    return {
+      type: "create_trigger",
+      constraint,
+      deferrable,
+      initiallyDeferred,
+      orReplace,
+      name,
+      timing,
+      events,
+      table,
+      forEachRow,
+      when,
+      funcName,
+      funcArgs
+    };
   }
   // --- ALTER --------------------------------------------------------------------
   parseAlter() {
@@ -16635,9 +16848,15 @@ var Parser = class {
       this.skipToStatementEnd();
       return { type: "no_op", what: "SET TRANSACTION" };
     }
-    if (this.atKw("constraints")) {
-      this.skipToStatementEnd();
-      return { type: "no_op", what: "SET CONSTRAINTS" };
+    if (this.eatKw("constraints")) {
+      const names = this.eatKw("all") ? null : [];
+      if (names)
+        do {
+          names.push(this.qualifiedName());
+        } while (this.eatPunct(","));
+      const deferred = this.eatKw("deferred");
+      if (!deferred) this.expectKw("immediate");
+      return { type: "set_constraints", names, deferred };
     }
     if (this.atKw("role") || this.atKw("session", 0) && this.atKw("authorization", 1)) {
       this.skipToStatementEnd();
@@ -19012,12 +19231,12 @@ function executeRecursiveCte(env, cte, query) {
     table: null
   }));
   const seen = /* @__PURE__ */ new Set();
-  const keyOf = (row) => row.map((v, i) => v === null ? "\0N" : datumKey(columns[i].type, v)).join("
");
+  const keyOf2 = (row) => row.map((v, i) => v === null ? "\0N" : datumKey(columns[i].type, v)).join("
");
   let result = [];
   let working = [];
   for (const row of base.rows) {
     if (!body.all) {
-      const k = keyOf(row);
+      const k = keyOf2(row);
       if (seen.has(k)) continue;
       seen.add(k);
     }
@@ -19050,7 +19269,7 @@ function executeRecursiveCte(env, cte, query) {
         return castTo(env.ctx, tv(srcT === UNKNOWN ? "text" : srcT, v), columns[i].type, {}).v;
       });
       if (!body.all) {
-        const k = keyOf(row);
+        const k = keyOf2(row);
         if (seen.has(k)) continue;
         seen.add(k);
       }
@@ -20230,7 +20449,7 @@ function setOpRelation(env, op) {
   );
   const lrows = normalize(left);
   const rrows = normalize(right);
-  const keyOf = (row) => row.map((v, i) => v === null ? "\0N" : datumKey(types[i], v)).join("
");
+  const keyOf2 = (row) => row.map((v, i) => v === null ? "\0N" : datumKey(types[i], v)).join("
");
   let rows;
   switch (op.op) {
     case "union": {
@@ -20238,7 +20457,7 @@ function setOpRelation(env, op) {
       if (!op.all) {
         const seen = /* @__PURE__ */ new Set();
         rows = rows.filter((r) => {
-          const k = keyOf(r);
+          const k = keyOf2(r);
           if (seen.has(k)) return false;
           seen.add(k);
           return true;
@@ -20249,13 +20468,13 @@ function setOpRelation(env, op) {
     case "intersect": {
       const rightCounts = /* @__PURE__ */ new Map();
       for (const r of rrows) {
-        const k = keyOf(r);
+        const k = keyOf2(r);
         rightCounts.set(k, (rightCounts.get(k) ?? 0) + 1);
       }
       rows = [];
       const emitted = /* @__PURE__ */ new Set();
       for (const r of lrows) {
-        const k = keyOf(r);
+        const k = keyOf2(r);
         const avail = rightCounts.get(k) ?? 0;
         if (avail <= 0) continue;
         if (op.all) {
@@ -20271,13 +20490,13 @@ function setOpRelation(env, op) {
     case "except": {
       const rightCounts = /* @__PURE__ */ new Map();
       for (const r of rrows) {
-        const k = keyOf(r);
+        const k = keyOf2(r);
         rightCounts.set(k, (rightCounts.get(k) ?? 0) + 1);
       }
       rows = [];
       const emitted = /* @__PURE__ */ new Set();
       for (const r of lrows) {
-        const k = keyOf(r);
+        const k = keyOf2(r);
         if (op.all) {
           const avail = rightCounts.get(k) ?? 0;
           if (avail > 0) {
@@ -20725,207 +20944,54 @@ function executeCore(env0, core, orderBy, opts) {
         }).join("
");
         if (seen.has(k)) return false;
         seen.add(k);
-        return true;
-      });
-    }
-  }
-  rel3 = stripHidden(rel3);
-  return rel3;
-}
-function executeSelectStmt(env0, stmt) {
-  const env = applyWith(env0, stmt.with);
-  let rel3;
-  if (stmt.body.type === "select_core") {
-    rel3 = executeCore(env, stmt.body, stmt.orderBy, { hasLimit: stmt.limit !== null });
-  } else {
-    rel3 = executeBody(env, stmt.body);
-    const specs = outputOrderSpecs(env, rel3, stmt.orderBy);
-    if (specs.length > 0) sortRows(env, rel3, specs);
-    rel3 = stripHidden(rel3);
-  }
-  if (stmt.limitWithTies) {
-    if (stmt.orderBy.length === 0) {
-      throw pgError("syntax", "WITH TIES cannot be specified without ORDER BY clause", "42601");
-    }
-    const tieSpecs = outputOrderSpecs(env, rel3, stmt.orderBy);
-    return stripHidden(applyLimitOffset(env, rel3, stmt.limit, stmt.offset, tieSpecs));
-  }
-  return applyLimitOffset(env, rel3, stmt.limit, stmt.offset);
-}
-
-// src/constraints/enforce.ts
-function tableScope(table, row) {
-  const cols = table.columns.map((c) => ({ name: c.name, type: c.type.id, table: table.name }));
-  return new RowScope(cols, row, null, /* @__PURE__ */ new Set([table.name]));
-}
-function checkNotNull(env, table, row) {
-  void env;
-  for (let i = 0; i < table.columns.length; i++) {
-    const c = table.columns[i];
-    if (c.notNull && (row[i] ?? null) === null) {
-      throw pgError(
-        "not_null_violation",
-        `null value in column "${c.name}" of relation "${table.name}" violates not-null constraint`,
-        "23502"
-      );
-    }
-  }
-}
-function checkChecks(env, table, row) {
-  for (const con of table.constraints) {
-    if (con.kind !== "check") continue;
-    const scope = makeEvalScope(env, tableScope(table, row));
-    const v = evalExpr(env.ctx, scope, con.expr);
-    if (v.v === null) continue;
-    const b = castTo(env.ctx, v, "bool", {});
-    if (b.v !== true) {
-      throw pgError(
-        "check_violation",
-        `new row for relation "${table.name}" violates check constraint "${con.name}"`,
-        "23514"
-      );
-    }
-  }
-}
-function uniqueSpecsFor(env, table) {
-  const specs = [];
-  for (const con of table.constraints) {
-    if (con.kind !== "primary_key" && con.kind !== "unique") continue;
-    specs.push({
-      name: con.name,
-      keys: con.columns.map((c) => ({ colIdx: table.columnIndex(c), expr: null })),
-      columnNames: con.columns,
-      nullsNotDistinct: con.kind === "unique" ? con.nullsNotDistinct : false,
-      where: null,
-      isPrimary: con.kind === "primary_key"
-    });
-  }
-  const schema = env.ctx.state.schemas.get(table.schema);
-  if (schema) {
-    for (const idx of schema.indexes.values()) {
-      if (idx.table !== table.name || !idx.unique || idx.isConstraint || idx.valid === false) continue;
-      specs.push(uniqueSpecOfIndex(table, idx));
-    }
-  }
-  return specs;
-}
-function uniqueSpecOfIndex(table, idx) {
-  return {
-    name: idx.name,
-    keys: idx.columns.map((c) => ({
-      colIdx: c.column !== null ? table.columnIndex(c.column) : -1,
-      expr: c.expr
-    })),
-    columnNames: idx.columns.map((c) => c.column ?? "expr"),
-    nullsNotDistinct: idx.nullsNotDistinct,
-    where: idx.where,
-    isPrimary: false
-  };
-}
-function uniqueKeyOf(env, table, spec, row) {
-  if (spec.where) {
-    const scope = makeEvalScope(env, tableScope(table, row));
-    const v = evalExpr(env.ctx, scope, spec.where);
-    if (v.v !== true) return null;
-  }
-  const parts = [];
-  let hasNull = false;
-  for (const k of spec.keys) {
-    let value;
-    let type;
-    if (k.expr) {
-      const scope = makeEvalScope(env, tableScope(table, row));
-      const v = evalExpr(env.ctx, scope, k.expr);
-      value = v.v;
-      type = v.t === "unknown" ? "text" : v.t;
-    } else {
-      value = row[k.colIdx] ?? null;
-      type = table.columns[k.colIdx].type.id;
-    }
-    if (value === null) {
-      hasNull = true;
-      parts.push("\0N");
-    } else {
-      parts.push(datumKey(type, value));
-    }
-  }
-  if (hasNull && !spec.nullsNotDistinct) return null;
-  return parts.join("
");
-}
-function checkUnique(env, table, row, selfIdx) {
-  for (const spec of uniqueSpecsFor(env, table)) {
-    const key = uniqueKeyOf(env, table, spec, row);
-    if (key === null) continue;
-    indexStoreFor(env, table, spec).checkUnique(key, selfIdx);
-  }
-}
-function findConflict(env, table, spec, row) {
-  const key = uniqueKeyOf(env, table, spec, row);
-  if (key === null) return null;
-  const hits = indexStoreFor(env, table, spec).lookup(key);
-  return hits.length > 0 ? hits[0] : null;
-}
-function checkForeignKeys(env, table, row) {
-  const state = env.ctx.state;
-  for (const con of table.constraints) {
-    if (con.kind !== "foreign_key") continue;
-    const values = con.columns.map((c) => row[table.columnIndex(c)] ?? null);
-    const nulls = values.filter((v) => v === null).length;
-    if (con.match === "simple" && nulls > 0) continue;
-    if (con.match === "full") {
-      if (nulls === values.length) continue;
-      if (nulls > 0) {
-        throw pgError(
-          "constraint_foreign_key",
-          `insert or update on table "${table.name}" violates foreign key constraint "${con.name}"`,
-          "23503"
-        );
-      }
-    }
-    const refTable = state.schemas.get(con.refSchema)?.tables.get(con.refTable);
-    if (!refTable) {
-      throw pgError("undefined_table", `relation "${con.refSchema}.${con.refTable}" does not exist`, "42P01");
-    }
-    const refIdxs = con.refColumns.map((c) => refTable.columnIndex(c));
-    const keyTypes = con.refColumns.map((_c, i) => refTable.columns[refIdxs[i]].type.id);
-    const wanted = values.map((v, i) => {
-      const localT = table.columns[table.columnIndex(con.columns[i])].type.id;
-      const cast = castTo(env.ctx, tv(localT, v), keyTypes[i], {});
-      return cast.v === null ? "\0N" : datumKey(keyTypes[i], cast.v);
-    }).join("
");
-    let found = false;
-    for (let i = 0; i < refTable.rowCount(); i++) {
-      const r = refTable.rowAt(i);
-      const key = refIdxs.map((ri, j) => {
-        const v = r[ri] ?? null;
-        return v === null ? "\0N" : datumKey(keyTypes[j], v);
-      }).join("
");
-      if (key === wanted) {
-        found = true;
-        break;
-      }
-    }
-    if (!found) {
-      throw pgError(
-        "constraint_foreign_key",
-        `insert or update on table "${table.name}" violates foreign key constraint "${con.name}"`,
-        "23503"
-      );
+        return true;
+      });
     }
   }
+  rel3 = stripHidden(rel3);
+  return rel3;
 }
-function referencingConstraints(env, table) {
-  const out = [];
-  for (const schema of env.ctx.state.schemas.values()) {
-    for (const t of schema.tables.values()) {
-      for (const con of t.constraints) {
-        if (con.kind === "foreign_key" && con.refSchema === table.schema && con.refTable === table.name) {
-          out.push({ table: t, constraint: con });
-        }
-      }
+function executeSelectStmt(env0, stmt) {
+  const env = applyWith(env0, stmt.with);
+  let rel3;
+  if (stmt.body.type === "select_core") {
+    rel3 = executeCore(env, stmt.body, stmt.orderBy, { hasLimit: stmt.limit !== null });
+  } else {
+    rel3 = executeBody(env, stmt.body);
+    const specs = outputOrderSpecs(env, rel3, stmt.orderBy);
+    if (specs.length > 0) sortRows(env, rel3, specs);
+    rel3 = stripHidden(rel3);
+  }
+  if (stmt.limitWithTies) {
+    if (stmt.orderBy.length === 0) {
+      throw pgError("syntax", "WITH TIES cannot be specified without ORDER BY clause", "42601");
     }
+    const tieSpecs = outputOrderSpecs(env, rel3, stmt.orderBy);
+    return stripHidden(applyLimitOffset(env, rel3, stmt.limit, stmt.offset, tieSpecs));
   }
-  return out;
+  return applyLimitOffset(env, rel3, stmt.limit, stmt.offset);
+}
+
+// src/executor/triggers-scope.ts
+function triggerScope(table, newRow, oldRow) {
+  const cols = [];
+  const row = [];
+  const rangeVars = /* @__PURE__ */ new Set();
+  if (newRow) {
+    rangeVars.add("new");
+    for (let i = 0; i < table.columns.length; i++) {
+      cols.push({ name: table.columns[i].name, type: table.columns[i].type.id, table: "new" });
+      row.push(newRow[i] ?? null);
+    }
+  }
+  if (oldRow) {
+    rangeVars.add("old");
+    for (let i = 0; i < table.columns.length; i++) {
+      cols.push({ name: table.columns[i].name, type: table.columns[i].type.id, table: "old" });
+      row.push(oldRow[i] ?? null);
+    }
+  }
+  return new RowScope(cols, row, null, rangeVars);
 }
 
 // src/executor/triggers.ts
@@ -20941,6 +21007,18 @@ function fireRowTriggers(env, table, timing, event, oldRow, newRow) {
   for (const t of table.triggers) {
     if (t.timing !== timing || !matches(t, event) || !t.forEachRow) continue;
     if (!executor) throw unsupported(`trigger "${t.name}" execution`);
+    if (t.constraint && timing === "after") {
+      if (t.when && !evalPredicate(env, triggerScope(table, newRow, oldRow), t.when)) continue;
+      env.ctx.state.pendingTriggers.push({
+        schema: table.schema,
+        table: table.name,
+        trigger: t.name,
+        event,
+        oldRow: oldRow?.slice() ?? null,
+        newRow: newRow?.slice() ?? null
+      });
+      continue;
+    }
     const result = executor(env, table, t, event, oldRow, timing === "before" ? row : newRow);
     if (timing === "before") {
       if (result === null) return { row: null };
@@ -20949,6 +21027,167 @@ function fireRowTriggers(env, table, timing, event, oldRow, newRow) {
   }
   return { row };
 }
+var keyOf = (schema, name) => JSON.stringify([schema, name]);
+function flushConstraintTriggers(state, all = false) {
+  const env = { ctx: new EngineCtx(state), params: null, ctes: /* @__PURE__ */ new Map(), outer: null };
+  for (let i = 0; i < state.pendingTriggers.length; ) {
+    const pending = state.pendingTriggers[i];
+    const table = state.schemas.get(pending.schema)?.tables.get(pending.table);
+    const trigger = table?.triggers.find((t) => t.name === pending.trigger);
+    if (!table || !trigger) {
+      state.pendingTriggers.splice(i, 1);
+      continue;
+    }
+    const deferred = trigger.deferrable && (state.constraintModes.get(keyOf(table.schema, trigger.name)) ?? trigger.initiallyDeferred);
+    if (!all && state.inTransaction && deferred) {
+      i++;
+      continue;
+    }
+    if (!executor) throw unsupported(`trigger "${trigger.name}" execution`);
+    state.pendingTriggers.splice(i, 1);
+    const changes = state.changes;
+    try {
+      executor(env, table, { ...trigger, when: null }, pending.event, pending.oldRow, pending.newRow);
+    } catch (error) {
+      state.pendingTriggers.splice(i, 0, pending);
+      throw error;
+    } finally {
+      state.changes = changes;
+    }
+  }
+}
+function setConstraints(state, stmt) {
+  if (!state.inTransaction) return;
+  const matches2 = [];
+  if (stmt.names) {
+    for (const name of stmt.names) {
+      const schemas = name.length > 1 ? [name[name.length - 2]] : state.effectiveSearchPath();
+      let found = false;
+      for (const schema of schemas) {
+        const items = [...state.schemas.get(schema)?.tables.values() ?? []].flatMap(
+          (table) => table.triggers.filter((t) => t.constraint && t.name === name[name.length - 1])
+        );
+        if (items.length) {
+          for (const trigger of items) matches2.push({ schema, trigger });
+          found = true;
+          break;
+        }
+      }
+      if (!found) throw pgError("undefined_object", `constraint "${name.join(".")}" does not exist`, "42704");
+    }
+  } else {
+    for (const schema of state.schemas.values())
+      for (const table of schema.tables.values())
+        for (const trigger of table.triggers)
+          if (trigger.constraint && trigger.deferrable) matches2.push({ schema: schema.name, trigger });
+  }
+  for (const { trigger } of matches2)
+    if (stmt.deferred && !trigger.deferrable)
+      throw pgError("misuse", `constraint "${trigger.name}" is not deferrable`, "55000");
+  const previous = new Map(state.constraintModes);
+  for (const { schema, trigger } of matches2) state.constraintModes.set(keyOf(schema, trigger.name), stmt.deferred);
+  try {
+    if (!stmt.deferred) flushConstraintTriggers(state);
+  } catch (error) {
+    state.constraintModes = previous;
+    throw error;
+  }
+}
+
+// src/transactions/manager.ts
+var TransactionManager = class {
+  constructor(state) {
+    this.state = state;
+  }
+  state;
+  base = null;
+  savepoints = [];
+  freezeDepth = 0;
+  get inTransaction() {
+    return this.base !== null;
+  }
+  takeSnapshot() {
+    this.state.freezeShared();
+    this.freezeDepth++;
+    return { state: this.state.cloneShallow(), prngState: this.state.prng.getState() };
+  }
+  restore(snap) {
+    this.state.restoreFrom(snap.state);
+    this.state.prng.setState(snap.prngState);
+  }
+  thawOnce() {
+    if (this.freezeDepth > 0) {
+      this.state.thawShared();
+      this.freezeDepth--;
+    }
+  }
+  begin() {
+    if (this.base !== null) {
+      return;
+    }
+    this.base = this.takeSnapshot();
+    this.state.inTransaction = true;
+    assert(this.freezeDepth === 1, "BEGIN freeze depth");
+  }
+  commit() {
+    try {
+      flushConstraintTriggers(this.state, true);
+    } catch (error) {
+      this.rollback();
+      throw error;
+    }
+    this.base = null;
+    this.savepoints = [];
+    this.state.inTransaction = false;
+    this.state.localSettings.clear();
+    this.state.pendingTriggers = [];
+    this.state.constraintModes.clear();
+    while (this.freezeDepth > 0) this.thawOnce();
+  }
+  rollback() {
+    if (this.base !== null) {
+      this.restore(this.base);
+    }
+    this.base = null;
+    this.savepoints = [];
+    this.state.inTransaction = false;
+    this.state.localSettings.clear();
+    this.state.pendingTriggers = [];
+    this.state.constraintModes.clear();
+    while (this.freezeDepth > 0) this.thawOnce();
+  }
+  savepoint(name) {
+    if (this.base === null) {
+      throw pgError("transaction_state", "SAVEPOINT can only be used in transaction blocks", "25P01");
+    }
+    this.savepoints.push({ name, snap: this.takeSnapshot() });
+  }
+  releaseSavepoint(name) {
+    const idx = this.findSavepoint(name);
+    this.savepoints.splice(idx);
+  }
+  rollbackToSavepoint(name) {
+    const idx = this.findSavepoint(name);
+    const sp = this.savepoints[idx];
+    this.restore(sp.snap);
+    this.savepoints.splice(idx + 1);
+  }
+  findSavepoint(name) {
+    if (this.base === null) {
+      throw pgError("transaction_state", `SAVEPOINT can only be used in transaction blocks`, "25P01");
+    }
+    for (let i = this.savepoints.length - 1; i >= 0; i--) {
+      if (this.savepoints[i].name === name) return i;
+    }
+    throw pgError("invalid_savepoint_specification", `savepoint "${name}" does not exist`, "3B001");
+  }
+  reset() {
+    this.base = null;
+    this.savepoints = [];
+    this.state.inTransaction = false;
+    this.freezeDepth = 0;
+  }
+};
 
 // src/executor/dml.ts
 function withStatementRollback(env, fn) {
@@ -21638,6 +21877,7 @@ function executeSet(env, stmt) {
     else target.delete(name);
     return commandResult("SET", 0);
   }
+  validateStorageSetting(name, stmt.value);
   target.set(name, stmt.value);
   return commandResult("SET", 0);
 }
@@ -21943,64 +22183,6 @@ function executeCopyFromData(env, stmt, data) {
   };
 }
 
-// src/expressions/context.ts
-var EngineCtx = class {
-  state;
-  /** transaction timestamp (now(), current_timestamp) — UTC micros since PG epoch */
-  txNow;
-  /** statement timestamp */
-  stmtNow;
-  constructor(state, txNow) {
-    this.state = state;
-    const nowMs = state.clock().getTime();
-    const nowMicros = BigInt(Math.round(nowMs)) * 1000n + UNIX_EPOCH_MICROS_FROM_PG;
-    this.txNow = txNow ?? nowMicros;
-    this.stmtNow = nowMicros;
-  }
-  timezone() {
-    return this.state.getSetting("timezone") ?? "UTC";
-  }
-  namespaceOid(name) {
-    const oid = builtinNamespaceOid(name) ?? this.state.schemas.get(name)?.oid;
-    if (oid === void 0) throw pgError("undefined_object", `schema "${name}" does not exist`, "3F000");
-    return oid;
-  }
-  namespaceName(oid) {
-    const builtin = builtinNamespaceName(oid);
-    if (builtin !== void 0) return builtin;
-    for (const schema of this.state.schemas.values()) {
-      if (schema.oid === oid) return schema.name;
-    }
-    return null;
-  }
-  zoneOffsetAt(utcMicros) {
-    return zoneOffsetAtUtc(this.timezone(), utcMicros);
-  }
-  zoneOffsetForNaive(naiveMicros) {
-    return zoneOffsetForNaive(this.timezone(), naiveMicros);
-  }
-  enumLabels(enumType) {
-    if (!isEnumType(enumType)) return null;
-    const e = this.state.findEnumByKey(enumType.slice(5));
-    return e?.labels ?? null;
-  }
-  enumHasLabel(enumType, label) {
-    const labels = this.enumLabels(enumType);
-    return labels === null ? true : labels.includes(label);
-  }
-  enumOrder(enumType, label) {
-    const labels = this.enumLabels(enumType);
-    if (!labels) return 0;
-    const idx = labels.indexOf(label);
-    return idx === -1 ? labels.length : idx;
-  }
-  requireEnum(enumType) {
-    const labels = this.enumLabels(enumType);
-    if (!labels) throw pgError("undefined_object", `type "${enumType.slice(5)}" does not exist`);
-    return labels;
-  }
-};
-
 // src/runtime/clock.ts
 var DEFAULT_NOW = /* @__PURE__ */ new Date("2000-01-01T00:00:00.000Z");
 function fixedClock(instant = DEFAULT_NOW) {
@@ -22968,7 +23150,7 @@ function pgClass(ctx) {
         v.materialized ? "m" : "v",
         v.columns?.length ?? 0,
         v.matRows?.length ?? 0,
-        false,
+        v.materialized && [...schemaData.indexes.values()].some((i) => i.tableOid === v.oid),
         !v.materialized || v.matRows !== null,
         relPersistence(v)
       );
@@ -23234,7 +23416,7 @@ function pgIndex(ctx) {
       const valid = i.valid !== false;
       rows.push([
         i.oid ?? 0,
-        table?.oid ?? 0,
+        table?.oid ?? i.tableOid ?? 0,
         indexAttributeCount(i),
         i.columns.length,
         i.unique,
@@ -23406,7 +23588,7 @@ function pgStatUserIndexes(ctx) {
     for (const index of schema.indexes.values()) {
       const table = schema.tables.get(index.table);
       rows.push([
-        table?.oid ?? 0,
+        table?.oid ?? index.tableOid ?? 0,
         index.oid ?? 0,
         schema.name,
         index.table,
@@ -24001,26 +24183,6 @@ function runTriggerBody(env, table, stmts, vars) {
     }
   }
 }
-function triggerScope(table, newRow, oldRow) {
-  const cols = [];
-  const row = [];
-  const rangeVars = /* @__PURE__ */ new Set();
-  if (newRow) {
-    rangeVars.add("new");
-    for (let i = 0; i < table.columns.length; i++) {
-      cols.push({ name: table.columns[i].name, type: table.columns[i].type.id, table: "new" });
-      row.push(newRow[i] ?? null);
-    }
-  }
-  if (oldRow) {
-    rangeVars.add("old");
-    for (let i = 0; i < table.columns.length; i++) {
-      cols.push({ name: table.columns[i].name, type: table.columns[i].type.id, table: "old" });
-      row.push(oldRow[i] ?? null);
-    }
-  }
-  return new RowScope(cols, row, null, rangeVars);
-}
 function executeTrigger(env, table, trigger, _event, oldRow, newRow) {
   const state = env.ctx.state;
   if (trigger.when !== null && !evalPredicate(env, triggerScope(table, newRow, oldRow), trigger.when)) {
@@ -24987,7 +25149,8 @@ function executeCreateTableAs(env, stmt) {
 }
 function executeCreateIndex(env, stmt) {
   const state = env.ctx.state;
-  const table = state.findTable(stmt.table);
+  const view = state.findView(stmt.table);
+  const table = state.findTable(stmt.table) ?? (view?.materialized ? materializedTable(view) : void 0);
   if (!table) {
     throw pgError("undefined_table", `relation "${stmt.table.join(".")}" does not exist`, "42P01");
   }
@@ -25099,13 +25262,22 @@ function executeRefreshMatView(env, stmt) {
   if (!found?.materialized) {
     throw pgError("undefined_table", `materialized view "${stmt.name.join(".")}" does not exist`, "42P01");
   }
+  const rel3 = executeSelectStmt(matviewQueryEnv(env, !stmt.withData), found.query);
+  const next = {
+    ...found,
+    matColumns: rel3.columns.map((c, i) => ({
+      name: found.columns?.[i] ?? c.name,
+      type: c.type === UNKNOWN ? "text" : c.type
+    })),
+    matRows: stmt.withData ? rel3.rows : null
+  };
+  const table = materializedTable(next);
+  for (const index of env.ctx.state.getSchema(found.schema).indexes.values()) {
+    if (index.tableOid === found.oid && index.valid !== false) assertUniqueIndexBuildable(env, table, index);
+  }
   const view = env.ctx.state.ensureWritableView(found);
-  const rel3 = executeSelectStmt(matviewQueryEnv(env, !stmt.withData), view.query);
-  view.matColumns = rel3.columns.map((c, i) => ({
-    name: view.columns?.[i] ?? c.name,
-    type: c.type === UNKNOWN ? "text" : c.type
-  }));
-  view.matRows = stmt.withData ? rel3.rows : null;
+  view.matColumns = next.matColumns;
+  view.matRows = next.matRows;
   return commandResult("REFRESH MATERIALIZED VIEW", 0);
 }
 function executeCreateSchema(env, stmt) {
@@ -25247,6 +25419,8 @@ function executeCreateFunction(env, stmt) {
   return commandResult("CREATE FUNCTION", 0);
 }
 function executeCreateTrigger(env, stmt) {
+  if (stmt.constraint && (stmt.timing !== "after" || !stmt.forEachRow))
+    throw pgError("syntax", "constraint triggers must be AFTER ROW triggers", "42601");
   const state = env.ctx.state;
   const found = state.findTable(stmt.table);
   if (!found) {
@@ -25265,6 +25439,9 @@ function executeCreateTrigger(env, stmt) {
   }
   const meta = {
     name: stmt.name,
+    constraint: stmt.constraint,
+    deferrable: stmt.deferrable,
+    initiallyDeferred: stmt.initiallyDeferred,
     timing: stmt.timing,
     events: stmt.events,
     forEachRow: stmt.forEachRow,
@@ -26033,7 +26210,16 @@ function alterTableIsSelfContained(stmt) {
   return stmt.actions.length === 1 && action !== void 0 && SELF_CONTAINED_ALTER_ACTIONS.has(action.kind);
 }
 function executeStatement(env, stmt) {
-  if (!RESHAPES_TABLES.has(stmt.type)) return dispatchStatement(env, stmt);
+  if (!RESHAPES_TABLES.has(stmt.type)) {
+    if ((stmt.type === "insert" || stmt.type === "update" || stmt.type === "delete") && (env.ctx.state.pendingTriggers.length > 0 || env.ctx.state.findTable(stmt.table)?.triggers.some((t) => t.constraint))) {
+      return withStatementRollback(env, () => {
+        const result = dispatchStatement(env, stmt);
+        flushConstraintTriggers(env.ctx.state);
+        return result;
+      });
+    }
+    return dispatchStatement(env, stmt);
+  }
   try {
     return dispatchStatement(env, stmt);
   } finally {
@@ -26092,6 +26278,9 @@ function dispatchStatement(env, stmt) {
       return executeRefreshMatView(env, stmt);
     case "transaction":
       return executeTransaction(env, stmt);
+    case "set_constraints":
+      setConstraints(env.ctx.state, stmt);
+      return commandResult("SET CONSTRAINTS", 0);
     case "set":
       return executeSet(env, stmt);
     case "show":