datalog

2зной

1ответ

Работает ли datalog на наборах или мультимножествах? То же самое относится и к прологу? Я не смог найти никаких документов по этому поводу.

3зной

1ответ

Как не работает статья в Datomic?

Я пытаюсь найти широты, которые падают между двумя входами. Мой запрос: (defn- latlngs-within-new-bounds [db a w] (d/q '[:find ?lat :in $ ?a ?w :where [ ?e :location/lat ?l

3зной

1ответ

Эффективного Datomic запроса выполнить фильтрацию страничных наборов

Учитывая, что Datomic does not support pagination я задаюсь вопросом, как эффективно поддерживать такой запрос: Возьмите первые 30 объектов на :history/body, найти лицо, чьих :history/body матчей неко

1зной

1ответ

Почему этот совокупность данных для регистрации данных?

From https://github.com/tonsky/datascript (-> (d/q '[:find ?color (max ?amount ?x) (min ?amount ?x) :in [[?color ?x]] ?amount] [[:red 10] [:red 20] [:red 30] [:red 40] [:red 50] [:b

1зной

1ответ

Датомный запрос для максимального агрегированного значения

Предположим, у меня есть объект author со многими связанными объектами book. Каков запрос, чтобы получить автора с большим количеством книг?

2зной

1ответ

фиксированные точки в Z3

Может ли кто-то любезно указать, почему окончательный запрос не имеет выхода? В основном я говорю Z3, если vs-) vd и vs-> ss и vd-> sd, то sd получается из ss. (set-option :fixedpoint.engine datalog)

2зной

1ответ

Datomic применить предикат для атрибута с мощностью много

Скажем, у меня есть объект Datomic с многозначным атрибутом (например, чисел). Как мне вернуть список объектов, значение которых не содержит определенного номера? В качестве примера, {:db/id #db/id [: