Renaming concepts throws various errors
Description
When trying to rename concepts in the Bio project after making changes to the schema, several different errors were thrown by Studio, and also by Client Python:
TypeDBClientException: [SRV27] Invalid Server Operation: Concept does not exist.
TypeDBClientException: [TYR03] Invalid Type Read: The type 'gene-gene-interaction' does not exist.
TypeDBClientException: [TYR04] Invalid Type Read: There are no role types of label 'interacting-gene' in the scope of 'gene-gene-interaction'
SRV27 was thrown on call when trying to rename a relation via the Studio UI.
SRV27 was thrown on call when trying to rename a relation and a role in a single transaction via the Python API.
TYR03 was thrown on commit when trying to rename a relation via the Python API.
TYR04 was thrown on commit when trying to rename a role via the Python API.
Environment
- OS (where TypeDB server runs): MacOS 12.6.1
- TypeDB version (and platform): 2.19.0
- Studio version: 2.18.1
- Client Python version: 2.18.1
Reproducible Steps
Steps to create the smallest reproducible scenario:
- Clone TypeDB Bio from https://github.com/typedb-osi/typedb-bio/commit/fd1e171477d3f829c14805934a7d49d516edc512
- Run
python loader.py -f Truefrom repo root. - Wait an hour or two.
- Attempt to rename the relation
gene-gene-interactionand/or its roleinteracting-gene.
This might be possible to reproduce without actually running the whole loader. The schema can be found from the repo root under schema/schema.tql. Probably worth manually committing the schema first and attempting to rename then.
Update with TypeDB Cloud 2.24.17 and Studio / Python 2.24.15
-
SRV27is no longer thrown by either Studio or Python API. - No errors are thrown with Python API.
- Studio continues to throw
TYR03when renaming a relation, but only when the type browser is open. If it is closed on commit, then no error is thrown.TYR04not re-tested. - It looks like
SRV27was inadvertently solved at some point. The type browser in Studio now appears to be the only remaining problem.