Infinite loop in rule solver

Aperta
#277 1 commento 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
4/5
Tempo stimato
3-5 giorni
Idoneità per principianti
35/100
Tipo di issue
Bug
Chiarezza
Abbastanza chiara
Stato di attività
Ferma
Stack tecnologico
clojure, javascript
Ambito
databases

Direzione di ricerca

Inizia eseguendo la riproduzione fornita di ds.db_with, ds.q e rules, quindi confrontala con l’esempio di chiusura transitiva nel README. Segui il risolutore di regole raggiunto da ds.q e verifica che questa query di regola ricorsiva termini e restituisca i risultati friends attesi.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

The following code will result in the query hanging

var ds = require("datascript")

var db = ds.db_with(ds.empty_db(), [
    {
        "left": "aaron",
        "right": "barbara"
    },
    {
        "left": "aaron",
        "right": "chris"
    }
])

var rules = `[
    [
        (friends ?a ?b)
        [?i "left" ?a]
        [?i "right" ?b]
    ]
    [
        (friends ?a ?b)
        (friends ?a ?c)
        (friends ?c ?b)
    ]
]`

console.log(ds.q(`[:find ?a ?b :in $ % :where (friends ?a ?b)]`, db, rules))

It's fairly similar to the transitive closure example in the README, but it uses an additional call to the rule in the non-base case. My understanding is that datalog queries should always terminate, so apologies if this isn't actually a bug.

Lingua principale
Clojure
Stelle
5.8k
Fork
318
Nessuna PR unita negli ultimi 30g

Guida per i contributori

Nessuna guida per i contributori indicizzata per questo repository

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di tonsky/datascript

Tutte le issue di tonsky/datascript

Issue simili

Altre issue su Clojure

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.