add rawQuery for reference

uwescience · Aug 10, 2015 · c6b169f · c6b169f · senderista · Aug 11, 2015
1 parent 6cf871f
commit c6b169f
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/jsonQueries/connected_components_jwang/connected_components.json b/jsonQueries/connected_components_jwang/connected_components.json
@@ -180,5 +180,6 @@
 		}
 	],
 	"logicalRa": "",
-	"rawQuery": ""
+	"rawQuery": "CC(x, x) :- Edge(x, y); CC(y, MIN(v)) :- CC(x, v), Edge(x, y); CC(y, MIN(v)) :- CC(y, v);",
+	"language": "datalog"
 }
diff --git a/jsonQueries/transitive_closure_jwang/transitive_closure.json b/jsonQueries/transitive_closure_jwang/transitive_closure.json
@@ -167,6 +167,7 @@
 		}
 	],
 	"logicalRa": "",
-	"rawQuery": "",
+	"rawQuery": "TC(x, y) :- TC(x, v), Edges(v, y);",
+	"language": "datalog",
 	"ftMode": "REJOIN"
 }