Krishnan Govindraj
Krishnan Govindraj
We have upgraded our package hosting infrastructure - moving from our self-hosted repository at repo.vaticle.com to a cloud-native solution at **repo.typedb.com**. This should provide scalability and reliability beyond what we'd...
## What is the goal of this PR? This PR introduces a 'connectivity-graph' abstraction to simplify how the reasoner planner's answer count estimator models the effect of constraints in a...
## Description In an update operation, if the same concept binds to both - a variable is involved in an inserted (role) edge, and - a variable of a vertex...
## Description The subgraph plan search assumes that the subgraph is small enough to brute-force the planning. This assumption is brittle, and exposed by the schema & data linked to...
## Description Occasionally, handling an exception in reasoner will lead to the following exception: ``` 13:49:28.894 [typedb-actor::1] ERROR com.vaticle.typedb.core.reasoner.controller.AbstractController - Actor exception java.util.NoSuchElementException: null at java.base/java.util.AbstractQueue.remove(AbstractQueue.java:117) at com.vaticle.typedb.core.concurrent.producer.ProducerIterator$Queue.done(ProducerIterator.java:184) at com.vaticle.typedb.core.reasoner.ReasonerProducer.exception(ReasonerProducer.java:143)...
## Problem to Solve The reasoner planner estimates the number of answers to a constraint based on the statistics (counts) TypeDB collects for each vertices and edges. If the count...
## Problem to Solve ( A slightly different version of #6792 ) Often, the way users write rules leads to the reasoner proving more facts than required. The classic example...
## Problem to Solve Currently, concludables which share a variable are combined into a single retrievable before the reasoner-planner is invoked. This means the planner can must plan the whole...
## Description Extremely long rule chains causes a stack-overflow in the monitor. ## Environment 1. OS (where TypeDB server runs): Mac OS 13.1 2. TypeDB version (and platform): 2.14.3, Mac...
## What is the goal of this PR? Introduces a docker image which downloads a config file from GitHub and loads the datasets into a typedb version specified in the...