Evict with Crux – The secret mission.

Introduction

This is the evict installment of the Crux tutorial.

Setup

You need to get Crux running before you can use it.

{:deps
 {org.clojure/clojure {:mvn/version "1.10.0"}
  org.clojure/tools.deps.alpha
  {:git/url "https://github.com/clojure/tools.deps.alpha.git"
   :sha "f6c080bd0049211021ea59e516d1785b08302515"}
  juxt/crux-core {:mvn/version "RELEASE"}}}
deps.edn
Extensible Data Notation
(require '[crux.api :as crux])
0.0s
Clojure

Arrival

You arrive at the comet 'Oumuamua and pull along side, asking for permission to land. A voice comes over the communications system

"How did you find us? Who sent you??"
 Mysterious person  
Top secret security
Clojure

Choose your path:

"Kaarlang sent me" : You have permission to land, continue to the space port.

"I'm not sure how I got here, I found you by mistake": You are sent away. You must return to Jupiter and find Kaarlang.

Space Port

You land on the space port and are ushered inside. The ships captain, Ilex, greets you.

"Hello, it’s good to have you with us.
We are set to leave the solar system right away and as part of our service we offer people the right to be forgotten. Some are not worried that their information is kept here, however others want there to be no personal data left behind.
You may not have been told this yet, but this comet is actually a transportation vessel. It will take us to the star system Gilese 667C which is home to intelligent life far superior to our own. We all are hoping to find opportunities beyond our wildest dreams. All records of this transportation vessel and any life outside of the solar system are heavily monitored and wiped in the interest of preserving the normal technological advancement of the Human race. This means we know little of the beings we are going to meet.
Our task for you is to remove the records of the people who have chosen to be forgotten here."
 Ilex
Ship Captain
Clojure

You are excited by the prospect and agree to help. First you read the manual entry for evict as this will be the perfect tool.

Currently there are only four transaction operations in Crux: put, delete, cas and evict.
		Transaction 	(Description)
    put    		   	(Writes a version of a document)
    delete    		(Deletes a version of a document)
    cas       		(Writes new version of a document if the old version is as expected)
    evict    			(Removes an document entirely)
Evict:
Crux supports eviction of active and historical data to assist with technical compliance for information privacy regulations.
The main transaction log contains only hashes and is immutable. All document content is stored in a dedicated document log that can be evicted by compaction.
evict removes a document from Crux. The transaction history will be available, but all versions at or within the provided valid time window are evicted.
A complete evict transaction has the form:
[:crux.tx/put eid]
- Crux manual
Crux Manual
(Custom)

Read More.

You are happy with what you have read, and in anticipation of the assignment you define the standalone system.

(def crux
  (crux/start-node
               {:crux.node/topology :crux.standalone/topology
                :crux.node/kv-store "crux.kv.memdb/kv"
                :crux.standalone/event-log-dir "data/eventlog-1"
                :crux.kv/db-dir "data/db-dir-1"
                :crux.standalone/event-log-kv-store "crux.kv.memdb/kv"}))
0.1s
Clojure
user/crux

Data Removal

You are given the data for the people on the ship and sync up your Crux node. You decide that you are going to embark on this adventure along with them so you add your name to the list.

(crux/submit-tx crux
                [[:crux.tx/put
                  {:crux.db/id :person/kaarlang
                   :full-name "Kaarlang"
                   :origin-planet "Mars"
                   :identity-tag :KA01299242093
                   :DOB #inst "2040-11-23"}]
                 [:crux.tx/put
                  {:crux.db/id :person/ilex
                   :full-name "Ilex Jefferson"
                   :origin-planet "Venus"
                   :identity-tag :IJ01222212454
                   :DOB #inst "2061-02-17"}]
                 [:crux.tx/put
                  {:crux.db/id :person/thadd
                   :full-name "Thad Christover"
                   :origin-moon "Titan"
                   :identity-tag :IJ01222212454
                   :DOB #inst "2101-01-01"}]
                 [:crux.tx/put
                  {:crux.db/id :person/johanna
                   :full-name "Johanna"
                   :origin-planet "Earth"
                   :identity-tag :JA012992129120
                   :DOB #inst "2090-12-07"}]])
0.1s
Clojure
Map {:crux.tx/tx-id: 1616181967376386, :crux.tx/tx-time: #inst "2020-01-06T09:25:02.516Z"}

Before you start the eviction process you make a query function so you can see the full results of anything stored in Crux:

(defn full-query
  [node]
  (crux/q
   (crux/db node)
   '{:find [id]
     :where [[e :crux.db/id id]]
     :full-results? true}))
0.1s
Clojure
user/full-query

You show the others the result:

(full-query crux)
0.0s
Clojure
Set(4) #{Vector(1), Vector(1), Vector(1), Vector(1)}

The Crux manual said that the evict operation will remove a document entirely. Ilex tells you the only person who whishes to exercise their right to be forgotten is Kaarlang.

  (crux/submit-tx crux [[:crux.tx/evict :person/kaarlang]])
0.1s
Clojure
Map {:crux.tx/tx-id: 1616181967527937, :crux.tx/tx-time: #inst "2020-01-06T09:25:02.664Z"}

You use your function and see that the transaction was a success.

(full-query crux)
0.1s
Clojure
Set(3) #{Vector(1), Vector(1), Vector(1)}

All the data associated with the the specified :crux.db/id has been removed from the Crux along with the eid itself.

The transaction history is immutable. This means the transactions will never be removed. You assure Ilex that the documents are completely removed from Crux, you can show this by looking at the history-descending information for each person.

(crux/history-descending (crux/db crux)
                           (crux/new-snapshot (crux/db crux))
                           :person/kaarlang)
0.1s
Clojure
List(1) (Map)

You show the results to Kaarlang who is happy that there his details are no longer a part of the ships logs.

Departure

The ship starts to shake as the engines are fired up.

Ilex thanks you and takes you to the Cryogenics department. You must be put into stasis as the journey will take around 25 years, even at the near light speeds of the ship.

You are astonished with the amount that you have done in one short week. How did little old you end up with an opportunity as big as this?

Your eyes get heavy as the cryogenicist initiates the hibernation process. As they do, you wonder if you’ll ever come back to the solar system.

This is not The End

I hope you enjoyed learning about the basics of Crux. Although this is the final installment for the main tutorial series it is not the end of the Crux tutorial. Watch this space for more tutorial releases of the tutorial where you will be sent on assignments to solve more specific and complex tasks using Crux.

I’d love to hear any ideas for enhancements so don’t hesitate to get in touch.

Runtimes (1)