fluidB
/
fluidb
1
0
Fork 0
Code Pull Requests Activity

cosmetic changes

Browse Source
main
Ziyang Hu 2 years ago
parent 0e4f301d00
commit 55d2977a25
5 changed files with 127 additions and 126 deletions
Show Stats Download Patch File Download Diff File

2
jupyter/cozoscript-kernel/src/kernel.ts
Unescape Escape View File

@ -204,7 +204,7 @@ function displayTable(v: any) {
if (v.headers) { if (v.headers) {
ret += '<thead><tr>' ret += '<thead><tr>'
for (const head of v.headers) { for (const head of v.headers) {
ret += '<td>'; ret += '<td style="font-weight: bold">';
ret += displayValue(head); ret += displayValue(head);
ret += '</td>'; ret += '</td>';
} }

4
src/data/triple.rs
Unescape Escape View File

@ -12,8 +12,8 @@ pub(crate) enum StoreOp {
impl Display for StoreOp { impl Display for StoreOp {
fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result { fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
match self { match self {
StoreOp::Retract => write!(f, "-"), StoreOp::Retract => write!(f, "retract"),
StoreOp::Assert => write!(f, "+"), StoreOp::Assert => write!(f, "assert"),
} }
} }
} }

19
src/runtime/db.rs
Unescape Escape View File

@ -228,7 +228,8 @@ impl Db {
tx.commit_tx("", false)?; tx.commit_tx("", false)?;
Ok(json!({ Ok(json!({
"tx_id": tx_id, "tx_id": tx_id,
"results": res "headers": ["attr_id", "op"],
"rows": res
})) }))
} }
pub fn current_schema(&self) -> Result<JsonValue> { pub fn current_schema(&self) -> Result<JsonValue> {
@ -247,7 +248,7 @@ impl Db {
}) })
.try_collect()?; .try_collect()?;
Ok( Ok(
json!({"rows": rows, "headers": ["id", "name", "type", "cardinality", "index", "history"]}), json!({"rows": rows, "headers": ["attr_id", "name", "type", "cardinality", "index", "history"]}),
) )
} }
pub fn run_script<'a>( pub fn run_script<'a>(
@ -308,7 +309,7 @@ impl Db {
} }
} }
} }
Ok(json!({"status": "OK"})) Ok(json!({"headers": ["status"], "rows": [["OK"]]}))
} }
SysOp::ListSchema => self.current_schema(), SysOp::ListSchema => self.current_schema(),
SysOp::ListRelations => self.list_relations(), SysOp::ListRelations => self.list_relations(),
@ -316,22 +317,22 @@ impl Db {
for r in rs.iter() { for r in rs.iter() {
self.remove_relation(r)?; self.remove_relation(r)?;
} }
Ok(json!({"status": "OK"})) Ok(json!({"headers": ["status"], "rows": [["OK"]]}))
} }
SysOp::RemoveAttribute(name) => { SysOp::RemoveAttribute(name) => {
self.remove_attribute(&name)?; self.remove_attribute(&name)?;
Ok(json!({"status": "OK"})) Ok(json!({"headers": ["status"], "rows": [["OK"]]}))
} }
SysOp::ListRunning => self.list_running(), SysOp::ListRunning => self.list_running(),
SysOp::KillRunning(id) => { SysOp::KillRunning(id) => {
let queries = self.running_queries.lock().unwrap(); let queries = self.running_queries.lock().unwrap();
Ok(match queries.get(&id) { Ok(match queries.get(&id) {
None => { None => {
json!({"status": "NOT_FOUND"}) json!({"headers": ["status"], "rows": [["NOT_FOUND"]]})
} }
Some(handle) => { Some(handle) => {
handle.poison.0.store(true, Ordering::Relaxed); handle.poison.0.store(true, Ordering::Relaxed);
json!({"status": "KILLING"}) json!({"headers": ["status"], "rows": [["KILLING"]]})
} }
}) })
} }
@ -433,7 +434,7 @@ impl Db {
if let Some(c) = to_clear { if let Some(c) = to_clear {
clean_ups.push(c); clean_ups.push(c);
} }
Ok((json!({"relation": "OK"}), clean_ups)) Ok((json!({"headers": ["status"], "rows": [["OK"]]}), clean_ups))
} else { } else {
let ret: Vec<_> = tx.run_pull_on_query_results( let ret: Vec<_> = tx.run_pull_on_query_results(
sorted_iter, sorted_iter,
@ -459,7 +460,7 @@ impl Db {
if let Some(c) = to_clear { if let Some(c) = to_clear {
clean_ups.push(c); clean_ups.push(c);
} }
Ok((json!({"relation": "OK"}), clean_ups)) Ok((json!({"headers": ["status"], "rows": [["OK"]]}), clean_ups))
} else { } else {
let ret: Vec<_> = tx.run_pull_on_query_results( let ret: Vec<_> = tx.run_pull_on_query_results(
scan, scan,

154
tutorial/1-acrobatics.ipynb
Unescape Escape View File

@ -41,13 +41,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 5, "execution_count": 1,
"outputs": [ "outputs": [
{ {
"execution_count": 5, "execution_count": 1,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>a</td><td>b</td><td>c</td></tr></thead><tbody><tr><td>hello</td><td>world</td><td>Cozo!</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td style=\"font-weight: bold\">a</td><td style=\"font-weight: bold\">b</td><td style=\"font-weight: bold\">c</td></tr></thead><tbody><tr><td>hello</td><td>world</td><td>Cozo!</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 1ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -64,13 +64,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 6, "execution_count": 2,
"outputs": [ "outputs": [
{ {
"execution_count": 6, "execution_count": 2,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>a</td><td>b</td><td>c</td></tr></thead><tbody><tr><td>hello</td><td>world</td><td>Cozo!</td></tr><tr><td>hello</td><td>world</td><td>database!</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td style=\"font-weight: bold\">a</td><td style=\"font-weight: bold\">b</td><td style=\"font-weight: bold\">c</td></tr></thead><tbody><tr><td>hello</td><td>world</td><td>Cozo!</td></tr><tr><td>hello</td><td>world</td><td>database!</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -87,13 +87,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 7, "execution_count": 3,
"outputs": [ "outputs": [
{ {
"execution_count": 7, "execution_count": 3,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>a</td></tr></thead><tbody><tr><td>Cozo!</td></tr><tr><td>hello</td></tr><tr><td>world</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td style=\"font-weight: bold\">a</td></tr></thead><tbody><tr><td>Cozo!</td></tr><tr><td>hello</td></tr><tr><td>world</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -110,13 +110,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 8, "execution_count": 4,
"outputs": [ "outputs": [
{ {
"execution_count": 8, "execution_count": 4,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>a</td></tr></thead><tbody><tr><td>Cozo!</td></tr><tr><td>Cozo.</td></tr><tr><td>hello</td></tr><tr><td>world</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td style=\"font-weight: bold\">a</td></tr></thead><tbody><tr><td>Cozo!</td></tr><tr><td>Cozo.</td></tr><tr><td>hello</td></tr><tr><td>world</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -143,13 +143,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 18, "execution_count": 5,
"outputs": [ "outputs": [
{ {
"execution_count": 18, "execution_count": 5,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>a</td></tr></thead><tbody><tr><td><span style=\"color: #bf5b3d;\">null</span></td></tr><tr><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #bf5b3d;\">true</span></td></tr><tr><td><span style=\"color: #307fc1;\">-8e-99</span></td></tr><tr><td><span style=\"color: #307fc1;\">1</span></td></tr><tr><td><span style=\"color: #307fc1;\">3.14159</span></td></tr><tr><td><span style=\"color: #307fc1;\">1234567</span></td></tr><tr><td>A</td></tr><tr><td>Apple juice</td></tr><tr><td>apple</td></tr><tr><td><span style=\"color: #bf5b3d;\">[&quot;apple&quot;,1,[2,3]]</span></td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td style=\"font-weight: bold\">a</td></tr></thead><tbody><tr><td><span style=\"color: #bf5b3d;\">null</span></td></tr><tr><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #bf5b3d;\">true</span></td></tr><tr><td><span style=\"color: #307fc1;\">-8e-99</span></td></tr><tr><td><span style=\"color: #307fc1;\">1</span></td></tr><tr><td><span style=\"color: #307fc1;\">3.14159</span></td></tr><tr><td><span style=\"color: #307fc1;\">1234567</span></td></tr><tr><td>A</td></tr><tr><td>Apple juice</td></tr><tr><td>apple</td></tr><tr><td><span style=\"color: #bf5b3d;\">[&quot;apple&quot;,1,[2,3]]</span></td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -166,13 +166,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 76, "execution_count": 6,
"outputs": [ "outputs": [
{ {
"execution_count": 76, "execution_count": 6,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>i</td><td>a</td></tr></thead><tbody><tr><td><span style=\"color: #307fc1;\">1</span></td><td><span style=\"color: #307fc1;\">3</span></td></tr><tr><td><span style=\"color: #307fc1;\">2</span></td><td><span style=\"color: #307fc1;\">12</span></td></tr><tr><td><span style=\"color: #307fc1;\">3</span></td><td><span style=\"color: #307fc1;\">0.8333333333333334</span></td></tr><tr><td><span style=\"color: #307fc1;\">4</span></td><td><span style=\"color: #307fc1;\">1096.6331584284585</span></td></tr><tr><td><span style=\"color: #307fc1;\">5</span></td><td>NUMBER 10</td></tr><tr><td><span style=\"color: #307fc1;\">6</span></td><td><span style=\"color: #307fc1;\">3.141592653589793</span></td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td style=\"font-weight: bold\">i</td><td style=\"font-weight: bold\">a</td></tr></thead><tbody><tr><td><span style=\"color: #307fc1;\">1</span></td><td><span style=\"color: #307fc1;\">3</span></td></tr><tr><td><span style=\"color: #307fc1;\">2</span></td><td><span style=\"color: #307fc1;\">12</span></td></tr><tr><td><span style=\"color: #307fc1;\">3</span></td><td><span style=\"color: #307fc1;\">0.8333333333333334</span></td></tr><tr><td><span style=\"color: #307fc1;\">4</span></td><td><span style=\"color: #307fc1;\">1096.6331584284585</span></td></tr><tr><td><span style=\"color: #307fc1;\">5</span></td><td>NUMBER 10</td></tr><tr><td><span style=\"color: #307fc1;\">6</span></td><td><span style=\"color: #307fc1;\">3.141592653589793</span></td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -194,10 +194,10 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 67, "execution_count": 7,
"outputs": [ "outputs": [
{ {
"execution_count": 67, "execution_count": 7,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<pre style=\"font-size: small\"><span style='color:#a00'>eval::throw</span>\n\n <span style='color:#a00'>×</span> Evaluation of expression failed\n ╭────\n <span style='opacity:0.67'>1</span> │ ?[a] &lt;- [[!null]]\n · <span style='color:#a0a'><b> ─────</b></span>\n ╰────\n<span style='color:#0aa'> help: </span>&#39;negate&#39; requires booleans\n</pre>" "text/html": "<pre style=\"font-size: small\"><span style='color:#a00'>eval::throw</span>\n\n <span style='color:#a00'>×</span> Evaluation of expression failed\n ╭────\n <span style='opacity:0.67'>1</span> │ ?[a] &lt;- [[!null]]\n · <span style='color:#a0a'><b> ─────</b></span>\n ╰────\n<span style='color:#0aa'> help: </span>&#39;negate&#39; requires booleans\n</pre>"
@ -217,13 +217,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 68, "execution_count": 8,
"outputs": [ "outputs": [
{ {
"execution_count": 68, "execution_count": 8,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>a</td></tr></thead><tbody><tr><td><span style=\"color: #bf5b3d;\">false</span></td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td style=\"font-weight: bold\">a</td></tr></thead><tbody><tr><td><span style=\"color: #bf5b3d;\">false</span></td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -250,13 +250,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 78, "execution_count": 9,
"outputs": [ "outputs": [
{ {
"execution_count": 78, "execution_count": 9,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>loving</td><td>loved</td></tr></thead><tbody><tr><td>alice</td><td>eve</td></tr><tr><td>bob</td><td>alice</td></tr><tr><td>charlie</td><td>eve</td></tr><tr><td>david</td><td>george</td></tr><tr><td>eve</td><td>alice</td></tr><tr><td>eve</td><td>bob</td></tr><tr><td>eve</td><td>charlie</td></tr><tr><td>george</td><td>george</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td style=\"font-weight: bold\">loving</td><td style=\"font-weight: bold\">loved</td></tr></thead><tbody><tr><td>alice</td><td>eve</td></tr><tr><td>bob</td><td>alice</td></tr><tr><td>charlie</td><td>eve</td></tr><tr><td>david</td><td>george</td></tr><tr><td>eve</td><td>alice</td></tr><tr><td>eve</td><td>bob</td></tr><tr><td>eve</td><td>charlie</td></tr><tr><td>george</td><td>george</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -273,13 +273,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 80, "execution_count": 10,
"outputs": [ "outputs": [
{ {
"execution_count": 80, "execution_count": 10,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>loved_by_eve</td></tr></thead><tbody><tr><td>alice</td></tr><tr><td>bob</td></tr><tr><td>charlie</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td style=\"font-weight: bold\">loved_by_eve</td></tr></thead><tbody><tr><td>alice</td></tr><tr><td>bob</td></tr><tr><td>charlie</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -296,13 +296,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 27, "execution_count": 11,
"outputs": [ "outputs": [
{ {
"execution_count": 27, "execution_count": 11,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>loves_eve</td></tr></thead><tbody><tr><td>alice</td></tr><tr><td>charlie</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td style=\"font-weight: bold\">loves_eve</td></tr></thead><tbody><tr><td>alice</td></tr><tr><td>charlie</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -319,13 +319,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 39, "execution_count": 12,
"outputs": [ "outputs": [
{ {
"execution_count": 39, "execution_count": 12,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>loved_by_b_e</td></tr></thead><tbody><tr><td>alice</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 1ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td style=\"font-weight: bold\">loved_by_b_e</td></tr></thead><tbody><tr><td>alice</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -347,13 +347,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 75, "execution_count": 13,
"outputs": [ "outputs": [
{ {
"execution_count": 75, "execution_count": 13,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>loved_by_b_e</td></tr></thead><tbody><tr><td>alice</td></tr><tr><td>charlie</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 1ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td style=\"font-weight: bold\">loved_by_b_e</td></tr></thead><tbody><tr><td>alice</td></tr><tr><td>charlie</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -375,13 +375,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 44, "execution_count": 14,
"outputs": [ "outputs": [
{ {
"execution_count": 44, "execution_count": 14,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>loved_by_b_e</td></tr></thead><tbody><tr><td>alice</td></tr><tr><td>charlie</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td style=\"font-weight: bold\">loved_by_b_e</td></tr></thead><tbody><tr><td>alice</td></tr><tr><td>charlie</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -403,13 +403,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 33, "execution_count": 15,
"outputs": [ "outputs": [
{ {
"execution_count": 33, "execution_count": 15,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>person</td><td>loved</td></tr></thead><tbody><tr><td>bob</td><td>alice</td></tr><tr><td>david</td><td>george</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td style=\"font-weight: bold\">person</td><td style=\"font-weight: bold\">loved</td></tr></thead><tbody><tr><td>bob</td><td>alice</td></tr><tr><td>david</td><td>george</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -426,13 +426,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 34, "execution_count": 16,
"outputs": [ "outputs": [
{ {
"execution_count": 34, "execution_count": 16,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>loved</td></tr></thead><tbody><tr><td>alice</td></tr><tr><td>george</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td style=\"font-weight: bold\">loved</td></tr></thead><tbody><tr><td>alice</td></tr><tr><td>george</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -449,10 +449,10 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 35, "execution_count": 17,
"outputs": [ "outputs": [
{ {
"execution_count": 35, "execution_count": 17,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<pre style=\"font-size: small\"><span style='color:#a00'>eval::unbound_symb_in_head</span>\n\n <span style='color:#a00'>×</span> Symbol &#39;the_alien&#39; in rule head is unbound\n ╭─[9:1]\n <span style='opacity:0.67'> 9</span> │ \n <span style='opacity:0.67'>10</span> │ ?[the_alien, loved] := loves[person, loved], !ends_with(person, &#39;e&#39;)\n · <span style='color:#a0a'><b> ─────────</b></span>\n ╰────\n<span style='color:#0aa'> help: </span>Note that symbols occurring only in negated positions are not considered bound\n</pre>" "text/html": "<pre style=\"font-size: small\"><span style='color:#a00'>eval::unbound_symb_in_head</span>\n\n <span style='color:#a00'>×</span> Symbol &#39;the_alien&#39; in rule head is unbound\n ╭─[9:1]\n <span style='opacity:0.67'> 9</span> │ \n <span style='opacity:0.67'>10</span> │ ?[the_alien, loved] := loves[person, loved], !ends_with(person, &#39;e&#39;)\n · <span style='color:#a0a'><b> ─────────</b></span>\n ╰────\n<span style='color:#0aa'> help: </span>Note that symbols occurring only in negated positions are not considered bound\n</pre>"
@ -477,13 +477,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 60, "execution_count": 18,
"outputs": [ "outputs": [
{ {
"execution_count": 60, "execution_count": 18,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>loved_by_e_not_b</td></tr></thead><tbody><tr><td>bob</td></tr><tr><td>charlie</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td style=\"font-weight: bold\">loved_by_e_not_b</td></tr></thead><tbody><tr><td>bob</td></tr><tr><td>charlie</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -505,10 +505,10 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 64, "execution_count": 19,
"outputs": [ "outputs": [
{ {
"execution_count": 64, "execution_count": 19,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<pre style=\"font-size: small\"><span style='color:#a00'>eval::unbound_symb_in_head</span>\n\n <span style='color:#a00'>×</span> Symbol &#39;not_loved_by_b&#39; in rule head is unbound\n ╭─[9:1]\n <span style='opacity:0.67'> 9</span> │ \n <span style='opacity:0.67'>10</span> │ ?[not_loved_by_b] := not loves[&#39;bob&#39;, not_loved_by_b]\n · <span style='color:#a0a'><b> ──────────────</b></span>\n ╰────\n<span style='color:#0aa'> help: </span>Note that symbols occurring only in negated positions are not considered bound\n</pre>" "text/html": "<pre style=\"font-size: small\"><span style='color:#a00'>eval::unbound_symb_in_head</span>\n\n <span style='color:#a00'>×</span> Symbol &#39;not_loved_by_b&#39; in rule head is unbound\n ╭─[9:1]\n <span style='opacity:0.67'> 9</span> │ \n <span style='opacity:0.67'>10</span> │ ?[not_loved_by_b] := not loves[&#39;bob&#39;, not_loved_by_b]\n · <span style='color:#a0a'><b> ──────────────</b></span>\n ╰────\n<span style='color:#0aa'> help: </span>Note that symbols occurring only in negated positions are not considered bound\n</pre>"
@ -533,13 +533,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 65, "execution_count": 20,
"outputs": [ "outputs": [
{ {
"execution_count": 65, "execution_count": 20,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>not_loved_by_b</td></tr></thead><tbody><tr><td>bob</td></tr><tr><td>charlie</td></tr><tr><td>david</td></tr><tr><td>eve</td></tr><tr><td>george</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td style=\"font-weight: bold\">not_loved_by_b</td></tr></thead><tbody><tr><td>bob</td></tr><tr><td>charlie</td></tr><tr><td>david</td></tr><tr><td>eve</td></tr><tr><td>george</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -568,13 +568,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 46, "execution_count": 21,
"outputs": [ "outputs": [
{ {
"execution_count": 46, "execution_count": 21,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>loves_eve</td></tr></thead><tbody><tr><td>alice</td></tr><tr><td>charlie</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td style=\"font-weight: bold\">loves_eve</td></tr></thead><tbody><tr><td>alice</td></tr><tr><td>charlie</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -591,13 +591,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 47, "execution_count": 22,
"outputs": [ "outputs": [
{ {
"execution_count": 47, "execution_count": 22,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>loves_eve</td></tr></thead><tbody><tr><td>alice</td></tr><tr><td>charlie</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td style=\"font-weight: bold\">loves_eve</td></tr></thead><tbody><tr><td>alice</td></tr><tr><td>charlie</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -619,13 +619,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 50, "execution_count": 23,
"outputs": [ "outputs": [
{ {
"execution_count": 50, "execution_count": 23,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>u</td></tr></thead><tbody><tr><td>a</td></tr><tr><td>b</td></tr><tr><td>c</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td style=\"font-weight: bold\">u</td></tr></thead><tbody><tr><td>a</td></tr><tr><td>b</td></tr><tr><td>c</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -642,13 +642,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 52, "execution_count": 24,
"outputs": [ "outputs": [
{ {
"execution_count": 52, "execution_count": 24,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>u</td><td>v</td></tr></thead><tbody><tr><td>a</td><td>x</td></tr><tr><td>a</td><td>y</td></tr><tr><td>b</td><td>x</td></tr><tr><td>b</td><td>y</td></tr><tr><td>c</td><td>x</td></tr><tr><td>c</td><td>y</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td style=\"font-weight: bold\">u</td><td style=\"font-weight: bold\">v</td></tr></thead><tbody><tr><td>a</td><td>x</td></tr><tr><td>a</td><td>y</td></tr><tr><td>b</td><td>x</td></tr><tr><td>b</td><td>y</td></tr><tr><td>c</td><td>x</td></tr><tr><td>c</td><td>y</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -675,13 +675,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 56, "execution_count": 25,
"outputs": [ "outputs": [
{ {
"execution_count": 56, "execution_count": 25,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>chained</td></tr></thead><tbody><tr><td>alice</td></tr><tr><td>bob</td></tr><tr><td>charlie</td></tr><tr><td>eve</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td style=\"font-weight: bold\">chained</td></tr></thead><tbody><tr><td>alice</td></tr><tr><td>bob</td></tr><tr><td>charlie</td></tr><tr><td>eve</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -703,13 +703,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 66, "execution_count": 26,
"outputs": [ "outputs": [
{ {
"execution_count": 66, "execution_count": 26,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>chained</td></tr></thead><tbody></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td style=\"font-weight: bold\">chained</td></tr></thead><tbody></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -731,10 +731,10 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 74, "execution_count": 27,
"outputs": [ "outputs": [
{ {
"execution_count": 74, "execution_count": 27,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<pre style=\"font-size: small\"><span style='color:#a00'>eval::unstratifiable</span>\n\n <span style='color:#a00'>×</span> Query is unstratifiable\n<span style='color:#0aa'> help: </span>The rule &#39;q&#39; is in the strongly connected component [&quot;p&quot;, &quot;q&quot;],\n and is involved in at least one forbidden dependency\n (negation, non-meet aggregation, or algorithm-application).\n</pre>" "text/html": "<pre style=\"font-size: small\"><span style='color:#a00'>eval::unstratifiable</span>\n\n <span style='color:#a00'>×</span> Query is unstratifiable\n<span style='color:#0aa'> help: </span>The rule &#39;q&#39; is in the strongly connected component [&quot;p&quot;, &quot;q&quot;],\n and is involved in at least one forbidden dependency\n (negation, non-meet aggregation, or algorithm-application).\n</pre>"

74
tutorial/2-pilgrim.ipynb
Unescape Escape View File

@ -41,13 +41,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 59, "execution_count": 1,
"outputs": [ "outputs": [
{ {
"execution_count": 59, "execution_count": 1,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<pre style=\"font-size: small\">{\n &quot;relation&quot;: &quot;OK&quot;,\n &quot;time_taken&quot;: 1\n}</pre>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>status</td></tr></thead><tbody><tr><td>OK</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 1ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -74,10 +74,10 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 60, "execution_count": 2,
"outputs": [ "outputs": [
{ {
"execution_count": 60, "execution_count": 2,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>a</td><td>b</td></tr></thead><tbody><tr><td>alice</td><td>eve</td></tr><tr><td>bob</td><td>alice</td></tr><tr><td>charlie</td><td>eve</td></tr><tr><td>david</td><td>george</td></tr><tr><td>eve</td><td>alice</td></tr><tr><td>eve</td><td>bob</td></tr><tr><td>eve</td><td>charlie</td></tr><tr><td>george</td><td>george</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>a</td><td>b</td></tr></thead><tbody><tr><td>alice</td><td>eve</td></tr><tr><td>bob</td><td>alice</td></tr><tr><td>charlie</td><td>eve</td></tr><tr><td>david</td><td>george</td></tr><tr><td>eve</td><td>alice</td></tr><tr><td>eve</td><td>bob</td></tr><tr><td>eve</td><td>charlie</td></tr><tr><td>george</td><td>george</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
@ -102,13 +102,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 61, "execution_count": 3,
"outputs": [ "outputs": [
{ {
"execution_count": 61, "execution_count": 3,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<pre style=\"font-size: small\">{\n &quot;relation&quot;: &quot;OK&quot;,\n &quot;time_taken&quot;: 0\n}</pre>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>status</td></tr></thead><tbody><tr><td>OK</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -120,10 +120,10 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 62, "execution_count": 4,
"outputs": [ "outputs": [
{ {
"execution_count": 62, "execution_count": 4,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>a</td><td>b</td></tr></thead><tbody><tr><td>alice</td><td>eve</td></tr><tr><td>bob</td><td>alice</td></tr><tr><td>charlie</td><td>eve</td></tr><tr><td>david</td><td>george</td></tr><tr><td>eve</td><td>alice</td></tr><tr><td>eve</td><td>bob</td></tr><tr><td>eve</td><td>charlie</td></tr><tr><td>fred</td><td>alice</td></tr><tr><td>fred</td><td>eve</td></tr><tr><td>george</td><td>george</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>a</td><td>b</td></tr></thead><tbody><tr><td>alice</td><td>eve</td></tr><tr><td>bob</td><td>alice</td></tr><tr><td>charlie</td><td>eve</td></tr><tr><td>david</td><td>george</td></tr><tr><td>eve</td><td>alice</td></tr><tr><td>eve</td><td>bob</td></tr><tr><td>eve</td><td>charlie</td></tr><tr><td>fred</td><td>alice</td></tr><tr><td>fred</td><td>eve</td></tr><tr><td>george</td><td>george</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
@ -148,13 +148,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 63, "execution_count": 5,
"outputs": [ "outputs": [
{ {
"execution_count": 63, "execution_count": 5,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<pre style=\"font-size: small\">{\n &quot;relation&quot;: &quot;OK&quot;,\n &quot;time_taken&quot;: 0\n}</pre>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>status</td></tr></thead><tbody><tr><td>OK</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -166,10 +166,10 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 64, "execution_count": 6,
"outputs": [ "outputs": [
{ {
"execution_count": 64, "execution_count": 6,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>a</td><td>b</td></tr></thead><tbody><tr><td>alice</td><td>eve</td></tr><tr><td>bob</td><td>alice</td></tr><tr><td>charlie</td><td>eve</td></tr><tr><td>david</td><td>george</td></tr><tr><td>eve</td><td>bob</td></tr><tr><td>fred</td><td>alice</td></tr><tr><td>fred</td><td>eve</td></tr><tr><td>george</td><td>george</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>a</td><td>b</td></tr></thead><tbody><tr><td>alice</td><td>eve</td></tr><tr><td>bob</td><td>alice</td></tr><tr><td>charlie</td><td>eve</td></tr><tr><td>david</td><td>george</td></tr><tr><td>eve</td><td>bob</td></tr><tr><td>fred</td><td>alice</td></tr><tr><td>fred</td><td>eve</td></tr><tr><td>george</td><td>george</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
@ -194,13 +194,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 65, "execution_count": 7,
"outputs": [ "outputs": [
{ {
"execution_count": 65, "execution_count": 7,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<pre style=\"font-size: small\">{\n &quot;relation&quot;: &quot;OK&quot;,\n &quot;time_taken&quot;: 0\n}</pre>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>status</td></tr></thead><tbody><tr><td>OK</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -212,10 +212,10 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 66, "execution_count": 8,
"outputs": [ "outputs": [
{ {
"execution_count": 66, "execution_count": 8,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>a</td><td>b</td></tr></thead><tbody><tr><td>eve</td><td>alice</td></tr><tr><td>eve</td><td>charlie</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>a</td><td>b</td></tr></thead><tbody><tr><td>eve</td><td>alice</td></tr><tr><td>eve</td><td>charlie</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
@ -240,13 +240,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 67, "execution_count": 9,
"outputs": [ "outputs": [
{ {
"execution_count": 67, "execution_count": 9,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>name</td><td>arity</td></tr></thead><tbody><tr><td>code_lat_lon</td><td><span style=\"color: #307fc1;\">3</span></td></tr><tr><td>flies_to</td><td><span style=\"color: #307fc1;\">3</span></td></tr><tr><td>flies_to_code</td><td><span style=\"color: #307fc1;\">3</span></td></tr><tr><td>triangles</td><td><span style=\"color: #307fc1;\">2</span></td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>name</td><td>arity</td></tr></thead><tbody><tr><td>triangles</td><td><span style=\"color: #307fc1;\">2</span></td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -263,13 +263,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 68, "execution_count": 10,
"outputs": [ "outputs": [
{ {
"execution_count": 68, "execution_count": 10,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<pre style=\"font-size: small\">{\n &quot;status&quot;: &quot;OK&quot;,\n &quot;time_taken&quot;: 0\n}</pre>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>status</td></tr></thead><tbody><tr><td>OK</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -286,10 +286,10 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 69, "execution_count": 11,
"outputs": [ "outputs": [
{ {
"execution_count": 69, "execution_count": 11,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<pre style=\"font-size: small\"><span style='color:#a00'>query::relation_not_found</span>\n\n <span style='color:#a00'>×</span> Cannot find requested stored relation &#39;triangles&#39;\n ╭────\n <span style='opacity:0.67'>1</span> │ ?[a, b] := :triangles[a, b]\n · <span style='color:#a0a'><b> ──────────</b></span>\n ╰────\n</pre>" "text/html": "<pre style=\"font-size: small\"><span style='color:#a00'>query::relation_not_found</span>\n\n <span style='color:#a00'>×</span> Cannot find requested stored relation &#39;triangles&#39;\n ╭────\n <span style='opacity:0.67'>1</span> │ ?[a, b] := :triangles[a, b]\n · <span style='color:#a0a'><b> ──────────</b></span>\n ╰────\n</pre>"
@ -344,13 +344,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 70, "execution_count": 12,
"outputs": [ "outputs": [
{ {
"execution_count": 70, "execution_count": 12,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<pre style=\"font-size: small\">{\n &quot;results&quot;: [\n [\n 10000020,\n &quot;+&quot;\n ],\n [\n 10000021,\n &quot;+&quot;\n ],\n [\n 10000022,\n &quot;+&quot;\n ],\n [\n 10000023,\n &quot;+&quot;\n ]\n ],\n &quot;time_taken&quot;: 0,\n &quot;tx_id&quot;: 10011\n}</pre>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>attr_id</td><td>op</td></tr></thead><tbody><tr><td><span style=\"color: #307fc1;\">10000001</span></td><td>assert</td></tr><tr><td><span style=\"color: #307fc1;\">10000002</span></td><td>assert</td></tr><tr><td><span style=\"color: #307fc1;\">10000003</span></td><td>assert</td></tr><tr><td><span style=\"color: #307fc1;\">10000004</span></td><td>assert</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -377,13 +377,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 72, "execution_count": 13,
"outputs": [ "outputs": [
{ {
"execution_count": 72, "execution_count": 13,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<pre style=\"font-size: small\">{\n &quot;results&quot;: [\n [\n 10000024,\n &quot;+&quot;\n ]\n ],\n &quot;time_taken&quot;: 0,\n &quot;tx_id&quot;: 10012\n}</pre>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>attr_id</td><td>op</td></tr></thead><tbody><tr><td><span style=\"color: #307fc1;\">10000005</span></td><td>assert</td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }
@ -400,13 +400,13 @@
"metadata": { "metadata": {
"trusted": true "trusted": true
}, },
"execution_count": 73, "execution_count": 1,
"outputs": [ "outputs": [
{ {
"execution_count": 73, "execution_count": 1,
"output_type": "execute_result", "output_type": "execute_result",
"data": { "data": {
"text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td>id</td><td>name</td><td>type</td><td>cardinality</td><td>index</td><td>history</td></tr></thead><tbody><tr><td><span style=\"color: #307fc1;\">10000001</span></td><td>country.code</td><td>string</td><td>one</td><td>unique</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000002</span></td><td>country.desc</td><td>string</td><td>one</td><td>none</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000003</span></td><td>continent.code</td><td>string</td><td>one</td><td>unique</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000004</span></td><td>continent.desc</td><td>string</td><td>one</td><td>none</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000005</span></td><td>airport.iata</td><td>string</td><td>one</td><td>unique</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000006</span></td><td>airport.icao</td><td>string</td><td>one</td><td>index</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000007</span></td><td>airport.city</td><td>string</td><td>one</td><td>index</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000008</span></td><td>airport.desc</td><td>string</td><td>one</td><td>none</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000009</span></td><td>airport.region</td><td>string</td><td>one</td><td>index</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000010</span></td><td>airport.country</td><td>ref</td><td>one</td><td>none</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000011</span></td><td>airport.runways</td><td>int</td><td>one</td><td>none</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000012</span></td><td>airport.longest</td><td>int</td><td>one</td><td>none</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000013</span></td><td>airport.altitude</td><td>int</td><td>one</td><td>none</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000014</span></td><td>airport.lat</td><td>float</td><td>one</td><td>none</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000015</span></td><td>airport.lon</td><td>float</td><td>one</td><td>none</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000016</span></td><td>route.src</td><td>ref</td><td>one</td><td>none</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000017</span></td><td>route.dst</td><td>ref</td><td>one</td><td>none</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000018</span></td><td>route.distance</td><td>int</td><td>one</td><td>none</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000019</span></td><td>geo.contains</td><td>ref</td><td>many</td><td>none</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000020</span></td><td>person.first_name</td><td>string</td><td>one</td><td>index</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000021</span></td><td>person.last_name</td><td>string</td><td>one</td><td>index</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000022</span></td><td>person.loves</td><td>ref</td><td>many</td><td>none</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000023</span></td><td>person.age</td><td>int</td><td>one</td><td>none</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000024</span></td><td>person</td><td>string</td><td>one</td><td>unique</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>" "text/html": "<div style=\"display: flex; align-items: end; flex-direction: row;\"><table><thead><tr><td style=\"font-weight: bold\">attr_id</td><td style=\"font-weight: bold\">name</td><td style=\"font-weight: bold\">type</td><td style=\"font-weight: bold\">cardinality</td><td style=\"font-weight: bold\">index</td><td style=\"font-weight: bold\">history</td></tr></thead><tbody><tr><td><span style=\"color: #307fc1;\">10000001</span></td><td>person.first_name</td><td>string</td><td>one</td><td>index</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000002</span></td><td>person.last_name</td><td>string</td><td>one</td><td>index</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000003</span></td><td>person.loves</td><td>ref</td><td>many</td><td>none</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000004</span></td><td>person.age</td><td>int</td><td>one</td><td>none</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr><tr><td><span style=\"color: #307fc1;\">10000005</span></td><td>person</td><td>string</td><td>one</td><td>unique</td><td><span style=\"color: #bf5b3d;\">false</span></td></tr></tbody></table><span style=\"color: darkgrey; font-size: xx-small; margin: 13px;\">Took 0ms</span></div>"
}, },
"metadata": {} "metadata": {}
} }

Write Preview
Loading…
Cancel
Save