Interface: SimpleTgdDto

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Chase / SimpleTgdDto

Interface: SimpleTgdDto

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

A tuple-generating dependency (TGD): a rule whose body, when matched by a homomorphism, derives its head.

Remarks

Head-only variables are existential: each distinct binding mints a fresh witness rather than a named constant.

Example

// employee(X) → ∃M manager(X, M)
const rule: SimpleTgdDto = {
  body: [{ predicate: 'employee', args: [{ type: 'Variable', name: 'X' }] }],
  head: [{
    predicate: 'manager',
    args: [{ type: 'Variable', name: 'X' }, { type: 'Variable', name: 'M' }],
  }],
};

Properties

body

body: ChaseAtomDto[]

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

Body atoms — must all be matched by homomorphism for the rule to fire.

---

head

head: ChaseAtomDto[]

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

Head atoms — derived when the body matches; existential head-only variables get fresh witnesses.