datalevin

Mark S 2025-05-01T20:22:09.803839Z

Trying out datalevin k/v example. Is there a way to pull a random key/value from table? I saw there was rand in the built-ins but not sure how to use that or if it applies here.

Huahai 2025-05-01T20:23:37.706419Z

built-in functions are for Datalog query.

Huahai 2025-05-01T20:26:43.666509Z

You can file a GitHub issue for this.

Mark S 2025-05-01T20:27:18.610479Z

ok, will do. Thanks!

Huahai 2025-05-01T20:31:44.274449Z

Basically, we can expose the sample functionality for a DBI. Get a random key is just sampling one key.