Я все еще думаю о том, как перевести рекурсивность программы Datalog в SQL, например P(x,y) <- Q(x,y). Q(x,y) <- P(x,z), A(y). где A/1 — предикат EDB. Это, есть взаимозависимость между P и Q . Для более длинных запросов, как...

У меня есть следующие факты и правила: % frequents(D,P) % D=drinker, P=pub % serves(P,B) % B=beer % likes(D,B) frequents(janus, godthaab). frequents(janus, goldenekrone). frequents(yanai, goldenekrone). frequents(dimi, schlosskeller)....

Я рассматриваю возможность использования журнала данных в качестве серверной части базы данных для приложения, которое я пишу, потому что я вижу возможность легкого переключения между представлениями без необходимости жертвовать собранными данными или...

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

Мне нужна помощь со следующим запросом: С заданными отношениями: hiker(HN, Name), mountain(MN, Height), climbed(HN, MN, Date). В. : Дайте безопасные правила журнала данных (с отрицанием, если необходимо) для следующих запросов: (a)...

Журнал данных — прекрасный язык для запросов реляционных данных. Он простой, понятный, хорошо скомпонован и поддерживает рекурсивные запросы без дополнительного синтаксиса. SQLite  — это фантастическая встроенная база данных с тем, что кажется...

Предположим, у меня есть сущность entry с атрибутом :entry/groups ссылки на многие. Как создать запрос для поиска сущностей, чей атрибут :entry/groups содержит все мои входные внешние идентификаторы? Следующий псевдокод лучше...

Предположим, я определил несколько значений для функции: +(value[1] == "cats") +(value[2] == "mice") Можно ли определить функцию, подобную следующей? (undefined[X] == False) <= (value[X] == Y) (undefined[X] == True) <= (value[X]...

Существует ли компактный способ подсчета количества битов, для которых установлено значение 1 в BitVec в Z3, с использованием формата ввода Datalog? $ z3 -h # most of the lines below omited for clarity Input format: -dl use parser for...

Попытка создать новый атрибут, значение которого является результатом преобразования другого атрибута для той же сущности. Итак, скажем, у меня есть база данных, в которой каждый объект имеет атрибут :content . Я хочу иметь дополнительный атрибут...

Я изучаю Datalog/DataScript/Datomic. Для этого я настроил простую базу данных реестра на DataScript. На данный момент он в основном состоит из набора учетных записей и списка записей с атрибутами :entry.record/account и :entry.record/amount ....