core.logic

• Type: Defect
• Status: Resolved
• Priority: Minor
• Resolution: Completed
• Affects Version/s: None
• Fix Version/s: None
• Component/s: None
• Labels:

  None

If a duplicate tuple is retracted from a rel, the rel indexes get corrupted, resulting in a NullPointerException when the following query is run:

(defrel rel2 ^:index e ^:index a ^:index v)
(facts rel2 [[:e1 :a1 :v1]
             [:e1 :a2 :v2]])
(retractions rel2 [[:e1 :a1 :v1]
                   [:e1 :a1 :v1]
                   [:e1 :a2 :v2]])

(deftest rel2-dup-retractions
  (is (= (run* [out]
               (fresh [e a v]
                      (rel2 e :a1 :v1)
                      (rel2 e a v)
                      (== [e a v] out))))
      '()))

1. 

   0001-fix-for-corrupted-rel-indexes-if-retracting-duplicat.patch

   30/Oct/12 12:33 PM

   2 kB

   Jeff Dik

• Assignee:

  David Nolen

  Reporter:

  Jeff Dik

• Created:

  30/Oct/12 12:33 PM

  Updated:

  30/Oct/12 6:37 PM

  Resolved:

  30/Oct/12 6:37 PM