typedb
typedb copied to clipboard
vaticle
TypeDB: the polymorphic database powered by types
**For the title of this PR:** please follow the grammatical rules of a usual publication title, without capitalisation (except for the first letter). Thus, the title should NOT CONTAIN CODE:...
## Description Trying to run `typedb server` after installing it on Mac OS as instructed by https://docs.vaticle.com/docs/running-typedb/install-and-run#using-homebrew results in the error described below. Possibly related to #6255 ## Environment 1....
## Problem to Solve We require much more advanced planning for reasoner query execution. We will frame this as the task of minimising the total amount of work that needs...
## Problem to Solve To solve both the issue of not having explainable inferred concepts (for example when querying `match $x has $y`, where $x is inferred as well but...
## Problem to Solve The reasoner can consume a very large amount of memory and at present doesn't defend against this, such that Out-of_memory errors (OOM) can occur. Below are...
## Description The BDD scenario "converting a fixed role to a variable bound with 'sub role' (?)(Variable Role Resolution)" fails non-deterministically with `error java.lang.AssertionError: Expected [27] answers, but got [24]...
## Description I am in database::schema::write. I have established a schema in .tql and the concepts have been successfully defined (source ../shema.tql) however, upon 'commit' the console throws back "RST_STREAM...
## Description The variable `$relation` is declared twice, one in the then clause and one in the when clause ## Environment 1. MacOS Cataline 10.15.7 2. typedb-all-mac-2.5.0 3. TypeDB client:...
## Description Undefining of a rule takes over a minute. ## Environment 1. OS: MacOS 11.2.3 2. TypeDB version: 2.5.0 on a local machine 3. TypeDB client: console ## Reproducible...
## Description When given a schema with rules about two related attributes and some test data, only Workbase infers the attributes correctly. Console / client-java read transaction returns unexpected values...
