Interface: ChaseRunRequest

@kortexya/reasoninglayer / Chase / ChaseRunRequest

Interface: ChaseRunRequest

Defined in: src/types/chase.ts:118

Request body for running the existential-rule (TGD) chase to fixpoint.

Remarks

Operates entirely on name-keyed ground facts — no tenant context and no Psi-term decoding are involved.

Example

const request: ChaseRunRequest = {
  facts: [{ predicate: 'employee', args: [{ type: 'Constant', name: 'alice' }] }],
  rules: [{
    body: [{ predicate: 'employee', args: [{ type: 'Variable', name: 'X' }] }],
    head: [{
      predicate: 'manager',
      args: [{ type: 'Variable', name: 'X' }, { type: 'Variable', name: 'M' }],
    }],
  }],
  maxSteps: 1000,
  stepKind: 'Restricted',
};

Properties

facts

facts: ChaseAtomDto[]

Defined in: src/types/chase.ts:120

Initial ground facts seeding the chase.

maxSteps?

optional maxSteps: number

Defined in: src/types/chase.ts:127

Maximum number of rule firings before stopping (regardless of fixpoint). Defaults to 100 000.

rules

rules: SimpleTgdDto[]

Defined in: src/types/chase.ts:122

TGD rules to apply.

stepKind?

optional stepKind: ChaseStepKindDto

Defined in: src/types/chase.ts:129

Step discipline. Defaults to "Restricted".