GitHub / solidlabresearch 3 projects
SolidLab
Projects
Updated 11 months ago
rspql-containment-checker
Extending the SPeCS solver to determine query containment relation in between RSP-QL queries.
Updated 11 months ago
hive-thought-rewriter
Rewriting different RSP-QL queries (thoughts) by combining or decomposing in a Hive.