~/talk

Enhancing Datalog for Datomic

Talkat Philly ETE 2015 · 2015-04-07..04-08· [databases]
slides:none on file

Datomic extends Datalog with concrete features: pull expressions let queries find an entity then navigate and recursively fetch nested attributes; 2015 adds inline or clauses and built-in negation so disjunction and subtraction work without extra rule plumbing; temporal APIs support as-of time travel plus history and speculative "dowi" views over immutable, indelible quints. Engine provides AVET/AEV/VAET indexes (AVET soon automatic), single-writer transactor ordering, async query futures, cross-database joins by passing multiple DBs, and a Java DSL planned for release.

AI-written summary · about

  1. 0:00Introduction
  2. 0:17Datomic and Datalog basics
  3. 16:21Java API and usage
  4. 20:06Querying and joining
  5. 24:46Advanced query features
  6. 30:50Rules and logic
  7. 33:17Time travel and history
  8. 42:49Conclusion and Q&A
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.