what are you trying to build with TypeDB
what are you trying to build with TypeDB @cam ? if you don't mind sharing
we're looking to go to prod in ~6-8
we're looking to go to prod in ~6-8 weeks, and kinda need to lock in on a DB soon - can't get too far without the driver
Docs erratas
perhaps we need a channel for errata as there are some small spelling mistakes and i dont want to dominate this channel?
querying typedb schema
You're probably looking for the statements docs! It has
match examples on the individual pages. For example,
match user sub $t; will return all the transitive supertypes of user (including supertypes of its supertype)
match user sub! $t; will return only defined supertypes of user
You can also try match $t sub user; for the reversed purpose!...Hi! Do you have trouble accessing these
Hi! Do you have trouble accessing these pages? It still contains all the latest 2.x language docs and drivers API references.
For instance, here is the TypeQL Update page with references to Academy and Manual: https://typedb.com/docs/typeql/queries/update...
CentOS 7.9.2009 with openjdk 11.0.11
Hello everyone, I have a rather strange question. I would like to install the latest TypeDB core 2.28.0 on a CentOS 7.9.2009 with openjdk 11.0.11 but I have two issues. The main one is that the TypeDB console is not working. When I started it I get the greeting message and after few seconds it quits wihtout any message or error. The second problem is that when I start the server it boots for more than a 2 minutes which normally happens in seconds. The machine has also the resources to run the Ty...
Specifying total relation match
This is an interesting question! As relations currently go, I think we do something like:
```
match
$r (role-1: $x, role-2: $y) isa relation;
not { $r ($z); };...
Performance Best Practices Question
Not a domain expert on cybersec unfortunately. But in general, the most "intuitive" model is the best way to express a complex schema - and being minimal is strongly correlated with being intuitive, so the 2nd model looks better at a glance.
Are you finding that similar sized schemas are just generally more performant when the queries operate on entities and attributes only, without relations involved? Because if so then there could be a scaling issue there. If you have a couple of sample schemas and queries - as minimal as possible - that look like they should run in similar times but don't, that could be valuable info....
This one? https://www.youtube.com/watch?
This one? https://www.youtube.com/watch?v=BJlZlpBDRTs
It's an unlisted video, but I could find the link through an internet archive: https://web.archive.org/web/20230528181633/https://www.youtube.com/@typedb...
Conditional rules
The user selects an option and that option is translated to a construct in the database that needs to be used as a conditional check beford conclusions can be drawn. Ex: depending on the criticality of something for a specific project at certain stages, a stakeholder might want to include reworked items in the conclusion (reports).
is it possible to have transitive rules
is it possible to have transitive rules for certain verbs if all verb are the same type but i distinguish on id? in the "then" part of my transitivity rule, it won't let me have:
(arg0: $x0, arg1: $x2) isa ul-verb, has id "IsA"; because i can't attach the id