{ "cells": [ { "cell_type": "markdown", "metadata": {}, "source": [ "# Air-data acrobatics" ] }, { "cell_type": "code", "execution_count": 2, "metadata": {}, "outputs": [], "source": [ "%reload_ext pycozo.ipyext_direct" ] }, { "cell_type": "markdown", "metadata": { "tags": [] }, "source": [ "## Hello, world!" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Let's start exploring the Cozo database by following the \"hello world\" tradition:" ] }, { "cell_type": "code", "execution_count": 3, "metadata": {}, "outputs": [ { "data": { "text/html": [ "
Completed in 1 ms
" ], "text/plain": [ "\n", " | a | \n", "b | \n", "c | \n", "
---|---|---|---|
0 | \n", "hello | \n", "world | \n", "Cozo! | \n", "
Completed in 0 ms
" ], "text/plain": [ "\n", " | a | \n", "b | \n", "c | \n", "
---|---|---|---|
0 | \n", "hello | \n", "world | \n", "Cozo! | \n", "
1 | \n", "hello | \n", "world | \n", "database! | \n", "
Completed in 0 ms
" ], "text/plain": [ "\n", " | a | \n", "
---|---|
0 | \n", "Cozo! | \n", "
1 | \n", "hello | \n", "
2 | \n", "world | \n", "
Completed in 0 ms
" ], "text/plain": [ "\n", " | a | \n", "
---|---|
0 | \n", "Cozo! | \n", "
1 | \n", "Cozo. | \n", "
2 | \n", "hello | \n", "
3 | \n", "world | \n", "
Completed in 0 ms
" ], "text/plain": [ "\n", " | a | \n", "
---|---|
0 | \n", "None | \n", "
1 | \n", "False | \n", "
2 | \n", "True | \n", "
3 | \n", "-0.000000 | \n", "
4 | \n", "1.000000 | \n", "
5 | \n", "3.141590 | \n", "
6 | \n", "1234567 | \n", "
7 | \n", "A | \n", "
8 | \n", "Apple juice | \n", "
9 | \n", "apple | \n", "
10 | \n", "['apple', 1, [2, 3]] | \n", "
Completed in 0 ms
" ], "text/plain": [ "\n", " | i | \n", "a | \n", "
---|---|---|
0 | \n", "1 | \n", "3 | \n", "
1 | \n", "2 | \n", "12 | \n", "
2 | \n", "3 | \n", "0.833333 | \n", "
3 | \n", "4 | \n", "1096.633158 | \n", "
4 | \n", "5 | \n", "NUMBER 10 | \n", "
5 | \n", "6 | \n", "3.141593 | \n", "
Completed in 0 ms
" ], "text/plain": [ "\n", " | a | \n", "
---|---|
0 | \n", "False | \n", "
Completed in 0 ms
" ], "text/plain": [ "\n", " | loving | \n", "loved | \n", "
---|---|---|
0 | \n", "alice | \n", "eve | \n", "
1 | \n", "bob | \n", "alice | \n", "
2 | \n", "charlie | \n", "eve | \n", "
3 | \n", "david | \n", "george | \n", "
4 | \n", "eve | \n", "alice | \n", "
5 | \n", "eve | \n", "bob | \n", "
6 | \n", "eve | \n", "charlie | \n", "
7 | \n", "george | \n", "george | \n", "
Completed in 0 ms
" ], "text/plain": [ "\n", " | loved_by_eve | \n", "
---|---|
0 | \n", "alice | \n", "
1 | \n", "bob | \n", "
2 | \n", "charlie | \n", "
Completed in 0 ms
" ], "text/plain": [ "\n", " | loves_eve | \n", "
---|---|
0 | \n", "alice | \n", "
1 | \n", "charlie | \n", "
Completed in 0 ms
" ], "text/plain": [ "\n", " | loved_by_b_e | \n", "
---|---|
0 | \n", "alice | \n", "
Completed in 0 ms
" ], "text/plain": [ "\n", " | loved_by_b_e | \n", "
---|---|
0 | \n", "alice | \n", "
1 | \n", "charlie | \n", "
Completed in 0 ms
" ], "text/plain": [ "\n", " | loved_by_b_e | \n", "
---|---|
0 | \n", "alice | \n", "
1 | \n", "charlie | \n", "
Completed in 0 ms
" ], "text/plain": [ "\n", " | person | \n", "loved | \n", "
---|---|---|
0 | \n", "bob | \n", "alice | \n", "
1 | \n", "david | \n", "george | \n", "
Completed in 0 ms
" ], "text/plain": [ "\n", " | loved | \n", "
---|---|
0 | \n", "alice | \n", "
1 | \n", "george | \n", "
Completed in 0 ms
" ], "text/plain": [ "\n", " | loved_by_e_not_b | \n", "
---|---|
0 | \n", "bob | \n", "
1 | \n", "charlie | \n", "
Completed in 0 ms
" ], "text/plain": [ "\n", " | not_loved_by_b | \n", "
---|---|
0 | \n", "bob | \n", "
1 | \n", "charlie | \n", "
2 | \n", "david | \n", "
3 | \n", "eve | \n", "
4 | \n", "george | \n", "
Completed in 0 ms
" ], "text/plain": [ "\n", " | loves_eve | \n", "
---|---|
0 | \n", "alice | \n", "
1 | \n", "charlie | \n", "
Completed in 0 ms
" ], "text/plain": [ "\n", " | loves_eve | \n", "
---|---|
0 | \n", "alice | \n", "
1 | \n", "charlie | \n", "
Completed in 0 ms
" ], "text/plain": [ "\n", " | u | \n", "
---|---|
0 | \n", "a | \n", "
1 | \n", "b | \n", "
2 | \n", "c | \n", "
Completed in 0 ms
" ], "text/plain": [ "\n", " | u | \n", "v | \n", "
---|---|---|
0 | \n", "a | \n", "x | \n", "
1 | \n", "a | \n", "y | \n", "
2 | \n", "b | \n", "x | \n", "
3 | \n", "b | \n", "y | \n", "
4 | \n", "c | \n", "x | \n", "
5 | \n", "c | \n", "y | \n", "
Completed in 0 ms
" ], "text/plain": [ "\n", " | chained | \n", "
---|---|
0 | \n", "alice | \n", "
1 | \n", "bob | \n", "
2 | \n", "charlie | \n", "
3 | \n", "eve | \n", "
Completed in 0 ms
" ], "text/plain": [ "\n", " | chained | \n", "
---|