summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* README: add reference to more implementationsHEADmainpukkamustard2020-10-01
|
* (datalog relational-algebra2): notes on how to improve (datalogpukkamustard2020-09-28
| | | | relational-algebra)
* (datalog): naive -> semi-naive evaluationpukkamustard2020-09-28
|
* (schemantic rdf datalog): add ρdf fragment of RDF from Simple andpukkamustard2020-09-27
| | | | Efficient Minimal RDFS
* README: add Simple and Efficient Minimal RDFSpukkamustard2020-09-27
|
* README: TODOs and links to further readingpukkamustard2020-09-27
|
* (schemantic datalog) -> (datalog): move Datalog modulespukkamustard2020-09-27
|
* (schemantic datalog rdf): include RDF Graph into the EDB of a Datlog programpukkamustard2020-09-27
|
* (schemantic datalog): export datalog-eval and add an example to testspukkamustard2020-09-27
|
* (schemantic datalog): Naive Datalog evaluationpukkamustard2020-09-26
|
* (schematic datalog relation-algebra): more functional push-downpukkamustard2020-09-26
|
* (schemantic datalog relational-algebra): unions and a whole big messpukkamustard2020-09-25
|
* (schemantic datalog relational-algebra): push-down, or how I learned topukkamustard2020-09-25
| | | | stop worrying and love Relational Algebra.
* (schemantic datalog vhash-set): use a vhash based setpukkamustard2020-09-23
| | | | (schemantic datalog relational-algebra): clean up structure of expressions
* (schemantic datalog relational-algebra): move relational-algebra stuffpukkamustard2020-09-23
| | | | to its own module
* add copyright headerspukkamustard2020-09-23
|
* (schemantic datalog) cartesian-productpukkamustard2020-09-23
|
* (schemantic datalog): translate clause to relational algebra expressionpukkamustard2020-09-23
|
* (schemantic lvar): rename slot to symbolpukkamustard2020-09-23
|
* (schemantic lvar): use gensym for lvar names (if none other provided)pukkamustard2020-09-22
|
* (schemantic datalog): first steps toward relational algebrapukkamustard2020-09-22
|
* (schemantic lvar): fix writing of unnamed lvarpukkamustard2020-09-22
|
* (schemantic datalog): normalize-head - the T algorithm from "Logicpukkamustard2020-09-21
| | | | Programming and Databases"
* (schemantic lvar): move logical variables to own module and allow named ↵pukkamustard2020-09-21
| | | | variables
* (schemantic datalog): implement Elementary Production rulepukkamustard2020-09-18
|
* (schemantic datalog): init with some nice syntax helpers and MGU algorithmpukkamustard2020-09-18
|
* (schemantic fragment-graph): Fix graph-query methodspukkamustard2020-09-08
|
* (schemantic rdf lang-string): fix write methodpukkamustard2020-09-08
|
* add schemantic/blank-node.scm to hall.scmpukkamustard2020-09-07
|
* (schemantic fragment-graph): add CSexp encodingpukkamustard2020-09-07
|
* (schemantic fragment-graph): add query helperspukkamustard2020-09-07
|
* ignore *.trs filespukkamustard2020-09-07
|
* (schemantic fragment-graph): fix query logic by transforming match termspukkamustard2020-09-07
| | | | to fragment-references
* (schemantic fragment-graph): add a fragment graph implementation forpukkamustard2020-09-07
| | | | content-addressable rdf
* (schemantic rdf): add generic graph-add method that unpacks triplepukkamustard2020-09-07
|
* (schematic rdf): add <graph-query>pukkamustard2020-09-04
|
* run hall dist -xpukkamustard2020-09-04
|
* (schemantic blank-node): add support for blank-nodespukkamustard2020-09-04
|
* (schemantic serialization turtle): use the Turtle parser from guile-rdfpukkamustard2020-09-04
|
* (schemantic graph vhash): a vhash index based in-memory graphpukkamustard2020-09-04
|
* (schemantic rdf lang-string): add datatype for rdf:langStringpukkamustard2020-09-03
|
* (schemantic literal): goops based datatypespukkamustard2020-09-03
|
* initial commitpukkamustard2020-09-03