vaticle/typedb 2.0.0-alpha-7 on GitHub

New Features

Type resolving nested conjunctions uses scoping conjunctions
Negations and nested conjunctions in general have less information than their scoping conjunctions. We can include the outer scopes into the nested conjunctions when resolving types in the inner conjunction. Making nested conjunctions more strict in their resolved types means negation queries that are repeatedly excuted for each substitution can be more efficient. This PR recursively includes scoping conjunctions in the type resolution of a nested conjunction.
Update RocksDB to 6.15.2
We have upgraded RocksDB from version 6.11.4 to 6.15.2.

Do not acquire schema lock from data read transaction
Currently, we erroneously acquired schema lock for a data read transaction, but only unlock for data write transaction. This causes sometimes schema lock is acquired and never unlocked, hence causing the database to unable to open transactions.
Use hex representation to display IID string
The display IID string should be using hex representation, instead of internal string representation.

Remove avoidable toString costs
To improve performance, we only perform costly toString() operations when the appropriate log level is set.

Update protocol (for Grakn Cluster)
We updated the protobuf definitions for use by Grakn Cluster.

Please refer to full release notes of 2.0.0-alpha to see the changes in 2.0.0.