Search results

Composition of interface implementations as high-level abstractions (traits)

priority: medium

type: feature

Status: Open.

#327 In typedb/typeql;

· james-whiteside opened on Apr 9, 2024

Introduce syntax for interface covariance

priority: medium

type: feature

Status: Open.

#325 In typedb/typeql;

· james-whiteside opened on Mar 15, 2024

Give relation and value constraints explicit keywords

priority: medium

type: refactor

Status: Open.

#301 In typedb/typeql;

· flyingsilverfin opened on Sep 14, 2023

Unary negation

priority: medium

type: feature

Status: Open.

#293 In typedb/typeql;

· dmikhalin opened on Jul 5, 2023

Allow negations and disjunctions without an exterior binding

priority: medium

type: feature

Status: Open.

#292 In typedb/typeql;

· james-whiteside opened on Jun 27, 2023

Allow nested negation and universal quantification in rules

priority: medium

type: feature

Status: Open.

#277 In typedb/typeql;

· james-whiteside opened on Apr 25, 2023

Add an ability to query rules from a schema

priority: medium

type: feature

Status: Open.

#267 In typedb/typeql;

· izmalk opened on Feb 21, 2023

Insert independently of match and delete

priority: medium

type: bug

Status: Open.

#254 In typedb/typeql;

· nikolaimerritt opened on Nov 23, 2022

Type variable isAbstract setter is ambiguous

priority: medium

type: refactor

Status: Open.

#241 In typedb/typeql;

· dmitrii-ubskii opened on Oct 26, 2022

Split type variables from definables in grammar

priority: medium

type: refactor

Status: Open.

#234 In typedb/typeql;

· dmitrii-ubskii opened on Oct 3, 2022

Allow disjoint types in type labels

priority: medium

type: feature

Status: Open.

#232 In typedb/typeql;

· flyingsilverfin opened on Sep 30, 2022

Introduce plays! and relates! and owns! to query direct connections

priority: medium

type: bug

type: feature

Status: Open.

#68 In typedb/typeql;

· kim-tno opened on Jun 7, 2019