typedb

typedb copied to clipboard

Fix traversals of overlapping role players

1

## What is the goal of this PR? We fix the traversal behaviour under queries like `(friend: $x, friend: $y)` when the role players `$x` and `$y` actually are the...

flyingsilverfin

Checking whether a concludable unifies with a conclusion now considers value constraints

1

## What is the goal of this PR? The current rule-validation incorrectly flags valid & useful scenarios as a negative cycle, such as in #6538 These occur when the conclusion...

krishnangovindraj

Introduce Resolvable Conjunctions, Disjunctions ; Refactor resolvables

2

## What is the goal of this PR? The reasoner views Conjunctions as a set of Resolvables. Because conjunctions are concepts in the lower 'pattern' domain and Resolvables are concepts...

krishnangovindraj

## Description I was able to use the `setLabel` method on the `ThingType` concept (javascript client) to set the type's label to "1". I was then unable to change it...

AnzeBlaBla

## Description In the rule-validation logic, we have assertions which would fail in the presence of nested negations in rules. These would fail during testing but would not in prod...

krishnangovindraj

## Problem to Solve Forwardable iterators usually throw an exception when trying to seek forward to a target that is behind the last value returned. However, our storage iterators (`RocksIterator`)...

flyingsilverfin

Parameterization of query strings and bulk upload

3

## Problem to Solve A) An insert query may contain one or more double quotes in the attribute values. This is causing problems with inserting, requiring escaping the double quotes...

pw-ai

'Greedy' reasoner planner with dummy costs & Old planner emulator.

1

## What is the goal of this PR? We move the reasoner-planner to an architecture which enables recursive computation of costs through triggered rules. We also implement a version which...

krishnangovindraj

## Description Rarely, the graph iterator will not reach a completed state and keep querying the data until interrupted. ## Environment 1. OS (where TypeDB server runs): Ubuntu 22.04 LTS...

dmitrii-ubskii

Include attribute equality properties in planner costs

1

## What is the goal of this PR? We identify and correct a mismatch between the execution of a procedure and the planner cost functions - notably the presence of...

flyingsilverfin