Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/dropsnorz/datamink
Stratified datalog evaluation and SQL translation engine
https://github.com/dropsnorz/datamink
Last synced: about 1 month ago
JSON representation
Stratified datalog evaluation and SQL translation engine
- Host: GitHub
- URL: https://github.com/dropsnorz/datamink
- Owner: DropSnorz
- Created: 2017-05-13T17:14:10.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2017-06-09T16:41:52.000Z (over 7 years ago)
- Last Synced: 2024-10-29T22:49:49.254Z (3 months ago)
- Language: Java
- Homepage:
- Size: 1.57 MB
- Stars: 1
- Watchers: 4
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# dataMink
Stratified datalog evaluation and SQL translation engine. Deductive database school project.
Based on mif37-dex (University Lyon 1) and using [Spring-shell](https://projects.spring.io/spring-shell/).
## Run
All binaries are available [here](https://github.com/DropSnorz/dataMink/releases).
### Default engine
You can run all the engine by passing a file as parameter to the datamink binary.
```
java -jar datamink.jar yourFile
```
This will compute program type, stratification if needed, evaluation and sql translation.
### DataMink shell
DataMink provide a powerfull CLI running on all good shells. To start the shell simply run datamink without any parameters.
```
java -jar datamink.jar
```
Once the shell is started, you have access to several commands.
- `help`: Show all available commands
- `dm load --file yourFile`: Pre-load a file on datamink engine
- `dm parse [file]`: Parse the given or pre-loaded datalog file and prints the result
- `dm prgm-type [file]`: Compute program type for the given or pre-loaded datalog file and prints the result
- `dm stratify [file]`: Stratify the given or pre-loaded datalog file and prints all stratums
- `dm eval [file]`: Compute evaluation for the given or pre-loaded datalog file and prints inferred facts
- `dm tosql [file]`: Translate the given or pre-loaded datalog file to SQL and prints the result
- `exit`: Leave the shell
## Datalog files
As datamink is based on mif37-dex, it handles datalog programs written as the following example.
```
EDB
link(Charpennes,Perrache)
link(PartDieu,Charpennes)
link(Debourg,PartDieu)
link(PartDieu,Debourg)
IDB
metro($x)
reachable($x,$y)
unreachable($x,$y)
MAPPING
link($x,$y) -> metro($x).
link($x,$y) -> metro($y).
link($x,$y) -> reachable($x,$y).
link($x,$z), reachable($z,$y) -> reachable($x,$y).
metro($x), metro($y), NEG reachable($x,$y) -> unreachable($x,$y).
```
```
START : := "EDB" SCHEMA "IDB" SCHEMA "MAPPING" TGDS
SCHEMA : := RELATION SCHEMA | RELATION
RELATION : := NAME " ( " ATTS " ) "
ATTS : := NAME " , " ATTS | NAME
TGDS : := TGD | TGDS TGD
TGD : := QUERY "−>" ATOM " . "
LITERAL : := "NEG" ATOM | ATOM
QUERY : := LITERAL " , " QUERY | LITERAL
ATOM : := NAME " ( " ARGS " ) "
ARGS : := VALUE " , " ARGS | VALUE
VALUE : := VARIABLE | CONSTANT
VARIABLE : := " $ " NAME
NAME : := LETTER | LETTER NAME2
NAME2 : := LETTER_OR_DIGIT | LETTER_OR_DIGIT NAME2
CONSTANT : := DIGITS
DIGITS : := DIGIT DIGITS | DIGIT
LETTER_OR_DIGIT : := LETTER | DIGIT
LETTER : := " a " | "b" | " c " | "d" | " e " | " f " | " g " | "h" | " i " | " j "
| " k " | " l " | "m" | "n" | " o " | "p" | " q " | " r " | " s " | " t "
| "u" | " v " | "w" | " x " | " y " | " z "
| "A" | "B" | "C" | "D" | "E" | "F" | "G" | "H" | " I " | " J "
| "K" | "L" | "M" | "N" | "O" | "P" | "Q" | "R" | "S" | "T"
| "U" | "V" | "W" | "X" | "Y" | "Z"
| "_"
DIGIT : := " 0 " | " 1 " | " 2 " | " 3 " | " 4 " | " 5 " | " 6 " | " 7 " | " 8 " | " 9 "
```