Types through CTEs, window functions and views: ClickHouse and TimescaleDB
Every file of the ClickHouse and TimescaleDB versions side by side, with the lines that differ marked. 7 parameter or column types differ in Go.
Configuration
sgl.yamldiffers
ClickHouse
TimescaleDB
1
version: 11
version: 12
2
3
databases:3
databases:4
- name: colony4
- name: colony5
dialect: clickhouse5
dialect: postgres6
migrations: db/migrations6
migrations: db/migrations7
queries: db/queries7
queries: db/queries8
go:8
go:9
package: store9
package: store10
out: internal/store10
out: internal/store11
driver: database/sql12
migrate:13
dsn: ${env:DATABASE_URL}Migrations
db/migrations/0001_gulls.up.sqldiffers
ClickHouse
TimescaleDB
1
CREATE TABLE gulls (1
CREATE TABLE gulls (2
id UInt64,2
id BIGINT GENERATED BY DEFAULT AS IDENTITY PRIMARY KEY,3
name String,3
name TEXT NOT NULL,4
parent_id Nullable(UInt64),4
parent_id BIGINT REFERENCES gulls (id),5
beach String5
beach TEXT NOT NULL6
) ENGINE = MergeTree() ORDER BY id;6
);7
7
8
CREATE TABLE thefts (8
CREATE TABLE thefts (9
id UInt64,9
id BIGINT GENERATED BY DEFAULT AS IDENTITY PRIMARY KEY,10
gull_id UInt64,10
gull_id BIGINT NOT NULL REFERENCES gulls (id),11
snack String,11
snack TEXT NOT NULL,12
stolen_on Date12
stolen_on DATE NOT NULL13
) ENGINE = MergeTree() ORDER BY id;13
);14
14
15
CREATE VIEW beach_records AS15
CREATE VIEW beach_records AS16
SELECT16
SELECT17
gulls.beach,17
gulls.beach,18
uniqExact(gulls.id) AS gulls,18
COUNT(DISTINCT gulls.id) AS gulls,19
count(thefts.id) AS thefts,19
COUNT(thefts.id) AS thefts,20
max(thefts.stolen_on) AS last_theft20
MAX(thefts.stolen_on) AS last_theft21
FROM gulls21
FROM gulls22
LEFT JOIN thefts ON thefts.gull_id = gulls.id22
LEFT JOIN thefts ON thefts.gull_id = gulls.id23
GROUP BY gulls.beach23
GROUP BY gulls.beach;24
SETTINGS join_use_nulls = 1;db/migrations/0001_gulls.down.sqlidentical
ClickHouse
TimescaleDB
1
DROP VIEW beach_records;1
DROP VIEW beach_records;2
DROP TABLE thefts;2
DROP TABLE thefts;3
DROP TABLE gulls;3
DROP TABLE gulls;Queries
HatchGulldiffers
ClickHouse · db/queries/gulls.sql
TimescaleDB · db/queries/gulls.sql
1
-- sgl.query(HatchGull, exec)1
-- sgl.query(HatchGull, exec)2
INSERT INTO gulls (id, name, parent_id, beach)2
INSERT INTO gulls (name, parent_id, beach) VALUES ($1, $2, $3);3
VALUES ({id:UInt64}, {name:String}, {parent_id:Nullable(UInt64)}, {beach:String});RecordTheftdiffers
ClickHouse · db/queries/gulls.sql
TimescaleDB · db/queries/gulls.sql
1
-- sgl.query(RecordTheft, exec)1
-- sgl.query(RecordTheft, exec)2
INSERT INTO thefts (id, gull_id, snack, stolen_on)2
INSERT INTO thefts (gull_id, snack, stolen_on) VALUES ($1, $2, $3);3
VALUES ({id:UInt64}, {gull_id:UInt64}, {snack:String}, {stolen_on:Date});FamilyTreediffers
ClickHouse · db/queries/gulls.sql
TimescaleDB · db/queries/gulls.sql
1
-- sgl.query(FamilyTree, many)1
-- sgl.query(FamilyTree, many)2
WITH RECURSIVE family AS (2
WITH RECURSIVE descendants AS (3
SELECT id, name, parent_id, 0 AS generation3
SELECT id, name, parent_id, 0::BIGINT AS generation4
FROM gulls4
FROM gulls5
WHERE id = {root:UInt64}5
WHERE id = $16
UNION ALL6
UNION ALL7
SELECT gulls.id, gulls.name, gulls.parent_id, family.generation + 17
SELECT gulls.id, gulls.name, gulls.parent_id, descendants.generation + 18
FROM gulls8
FROM gulls9
JOIN family ON gulls.parent_id = family.id9
JOIN descendants ON gulls.parent_id = descendants.id10
)10
)11
SELECT family.name, family.generation, parents.name AS parent11
SELECT descendants.name, descendants.generation, parents.name AS parent12
FROM family12
FROM descendants13
LEFT JOIN gulls AS parents ON parents.id = family.parent_id13
LEFT JOIN gulls AS parents ON parents.id = descendants.parent_id14
ORDER BY family.generation, family.id14
ORDER BY descendants.generation, descendants.id;15
SETTINGS join_use_nulls = 1;TheftLeaguediffers
ClickHouse · db/queries/gulls.sql
TimescaleDB · db/queries/gulls.sql
1
-- sgl.query(TheftLeague, many)1
-- sgl.query(TheftLeague, many)2
WITH totals AS (2
WITH totals AS (3
SELECT gulls.name, gulls.beach, count(thefts.id) AS stolen3
SELECT gulls.name, gulls.beach, COUNT(thefts.id) AS thefts4
FROM gulls4
FROM gulls5
LEFT JOIN thefts ON thefts.gull_id = gulls.id5
LEFT JOIN thefts ON thefts.gull_id = gulls.id6
GROUP BY gulls.id, gulls.name, gulls.beach6
GROUP BY gulls.id7
)7
)8
SELECT8
SELECT9
name,9
name,10
beach,10
beach,11
stolen,11
thefts,12
rank() OVER (PARTITION BY beach ORDER BY stolen DESC) AS beach_rank,12
RANK() OVER (PARTITION BY beach ORDER BY thefts DESC) AS beach_rank,13
sum(stolen) OVER (PARTITION BY beach) AS beach_thefts13
SUM(thefts) OVER (PARTITION BY beach) AS beach_thefts14
FROM totals14
FROM totals15
ORDER BY beach, beach_rank, name15
ORDER BY beach, beach_rank, name;16
SETTINGS join_use_nulls = 1;BeachRecordsdiffers
ClickHouse · db/queries/gulls.sql
TimescaleDB · db/queries/gulls.sql
1
-- sgl.query(BeachRecords, many)1
-- sgl.query(BeachRecords, many)2
SELECT beach, gulls, thefts, last_theft FROM beach_records ORDER BY beach;2
SELECT * FROM beach_records ORDER BY beach;What sgl generates
HatchGulldiffers
ClickHouse
TimescaleDB
1
func (queries *Queries) HatchGull(ctx context.Context, params HatchGullParams) error1
func (queries *Queries) HatchGull(ctx context.Context, params HatchGullParams) error2
2
3
type HatchGullParams struct {3
type HatchGullParams struct {4
ID uint645
Name string4
Name string6
ParentID *uint645
ParentID *int647
Beach string6
Beach string8
}7
}RecordTheftdiffers
ClickHouse
TimescaleDB
1
func (queries *Queries) RecordTheft(ctx context.Context, params RecordTheftParams) error1
func (queries *Queries) RecordTheft(ctx context.Context, params RecordTheftParams) error2
2
3
type RecordTheftParams struct {3
type RecordTheftParams struct {4
ID uint644
GullID int645
GullID uint646
Snack string5
Snack string7
StolenOn time.Time6
StolenOn time.Time8
}7
}FamilyTreediffers
ClickHouse
TimescaleDB
1
func (queries *Queries) FamilyTree(ctx context.Context, root uint64) ([]FamilyTreeRow, error)1
func (queries *Queries) FamilyTree(ctx context.Context, id int64) ([]FamilyTreeRow, error)2
2
3
type FamilyTreeRow struct {3
type FamilyTreeRow struct {4
Name string `json:"name"`4
Name string `json:"name"`5
Generation uint8 `json:"generation"`5
Generation int64 `json:"generation"`6
Parent *string `json:"parent"`6
Parent *string `json:"parent"`7
}7
}TheftLeaguediffers
ClickHouse
TimescaleDB
1
func (queries *Queries) TheftLeague(ctx context.Context) ([]TheftLeagueRow, error)1
func (queries *Queries) TheftLeague(ctx context.Context) ([]TheftLeagueRow, error)2
2
3
type TheftLeagueRow struct {3
type TheftLeagueRow struct {4
Name string `json:"name"`4
Name string `json:"name"`5
Beach string `json:"beach"`5
Beach string `json:"beach"`6
Stolen uint64 `json:"stolen"`6
Thefts int64 `json:"thefts"`7
BeachRank uint64 `json:"beach_rank"`7
BeachRank int64 `json:"beach_rank"`8
BeachThefts uint64 `json:"beach_thefts"`8
BeachThefts *apd.Decimal `json:"beach_thefts"`9
}9
}BeachRecordsdiffers
ClickHouse
TimescaleDB
1
func (queries *Queries) BeachRecords(ctx context.Context) ([]BeachRecordsRow, error)1
func (queries *Queries) BeachRecords(ctx context.Context) ([]BeachRecordsRow, error)2
2
3
type BeachRecordsRow struct {3
type BeachRecordsRow struct {4
Beach string `json:"beach"`4
Beach string `json:"beach"`5
Gulls uint64 `json:"gulls"`5
Gulls int64 `json:"gulls"`6
Thefts uint64 `json:"thefts"`6
Thefts int64 `json:"thefts"`7
LastTheft *time.Time `json:"last_theft"`7
LastTheft *time.Time `json:"last_theft"`8
}8
}The program
example.godiffers
ClickHouse
TimescaleDB
1
package main1
package main2
2
3
import (3
import (4
"context"4
"context"5
"database/sql"5
"database/sql"6
"fmt"6
"fmt"7
"io"7
"io"8
"time"8
"time"9
9
10
"seagull.sh/seagull/examples/clickhouse/019_ctes_and_windows/internal/store"10
"seagull.sh/seagull/examples/postgres/019_ctes_and_windows/internal/store"11
)11
)12
12
13
// run hatches a colony of gulls, records their snack thefts and reads them back three13
// run hatches a colony of gulls, records their snack thefts and reads them back three14
// ways. Seagull follows each column's type and nullability through the SQL, by14
// ways. Seagull follows each column's type and nullability through the SQL:15
// ClickHouse's own rules:16
//15
//17
// - FamilyTree's recursive CTE starts from one gull and joins its chicks generation by16
// - FamilyTree's recursive CTE starts from one gull and joins its chicks generation by18
// generation. The literal 0 is a UInt8 and adding 1 to a UInt8 gives a UInt16, so17
// generation; generation is an int64 from 0::BIGINT AS generation and generation + 1,19
// Seagull makes Generation a uint16. The server keeps the first SELECT's UInt8 for a18
// and parent is *string because the LEFT JOIN finds no parent for the first gull;20
// recursive CTE's column, and database/sql converts each value to the wider field.19
// - TheftLeague counts thefts in a CTE, then ranks gulls on each beach with RANK() and21
// parent is *string because the LEFT JOIN, with join_use_nulls = 1, finds no parent20
// totals the beach with SUM() OVER; COUNT and RANK are bigint, so int64, while SUM of22
// for the first gull;21
// a bigint is numeric in PostgreSQL, so BeachThefts is a nullable *apd.Decimal;23
// - TheftLeague counts thefts in a CTE, so stolen is uint64, then ranks gulls on each24
// beach with rank() OVER, a UInt64, and totals the beach with sum() OVER, a UInt6425
// too, since ClickHouse sums unsigned integers to UInt64 and sums no rows to 0, not26
// NULL. Neither can be NULL, so BeachRank and BeachThefts are plain uint64;27
// - BeachRecords reads the beach_records view from the migration as if it were a table,22
// - BeachRecords reads the beach_records view from the migration as if it were a table,28
// and its columns keep the types the view's own SELECT gives them.23
// and its columns keep the types the view's own SELECT gives them: MAX over a DATE24
// column is a *time.Time, nil for a beach with no thefts. The query is written as25
// SELECT *, and the generated SQL names the view's four columns instead, so a26
// migration that later adds a column to the view does not break the code already27
// deployed, which scans exactly those four. go.keep_stars: true in sgl.yaml keeps the28
// star as written.29
//29
//30
// Takes database (*sql.DB) which is a migrated database.30
// Takes database (*sql.DB) which is a migrated database.31
// Takes output (io.Writer) which receives the three listings.31
// Takes output (io.Writer) which receives the three listings.32
//32
//33
// Returns error when a query fails.33
// Returns error when a query fails.34
func run(ctx context.Context, database *sql.DB, output io.Writer) error {34
func run(ctx context.Context, database *sql.DB, output io.Writer) error {35
queries := store.New(database)35
queries := store.New(database)36
36
37
gulls := []store.HatchGullParams{37
gulls := []store.HatchGullParams{38
{ID: 1, Name: "Steven", ParentID: nil, Beach: "Porthmeor"},38
{Name: "Steven", ParentID: nil, Beach: "Porthmeor"},39
{ID: 2, Name: "Gwen", ParentID: new(uint64(1)), Beach: "Porthmeor"},39
{Name: "Gwen", ParentID: new(int64(1)), Beach: "Porthmeor"},40
{ID: 3, Name: "Jago", ParentID: new(uint64(1)), Beach: "Porthminster"},40
{Name: "Jago", ParentID: new(int64(1)), Beach: "Porthminster"},41
{ID: 4, Name: "Kerensa", ParentID: new(uint64(2)), Beach: "Porthmeor"},41
{Name: "Kerensa", ParentID: new(int64(2)), Beach: "Porthmeor"},42
{ID: 5, Name: "Tristan", ParentID: nil, Beach: "Porthminster"},42
{Name: "Tristan", ParentID: nil, Beach: "Porthminster"},43
{ID: 6, Name: "Morwenna", ParentID: nil, Beach: "Gwithian"},43
{Name: "Morwenna", ParentID: nil, Beach: "Gwithian"},44
}44
}45
for _, gull := range gulls {45
for _, gull := range gulls {46
if err := queries.HatchGull(ctx, gull); err != nil {46
if err := queries.HatchGull(ctx, gull); err != nil {47
return fmt.Errorf("hatching %s: %w", gull.Name, err)47
return fmt.Errorf("hatching %s: %w", gull.Name, err)48
}48
}49
}49
}50
thefts := []store.RecordTheftParams{50
thefts := []store.RecordTheftParams{51
{ID: 1, GullID: 1, Snack: "chips", StolenOn: day(1)},51
{GullID: 1, Snack: "chips", StolenOn: july(1)},52
{ID: 2, GullID: 1, Snack: "pasty", StolenOn: day(3)},52
{GullID: 1, Snack: "pasty", StolenOn: july(3)},53
{ID: 3, GullID: 1, Snack: "ice cream", StolenOn: day(4)},53
{GullID: 1, Snack: "ice cream", StolenOn: july(4)},54
{ID: 4, GullID: 2, Snack: "chips", StolenOn: day(2)},54
{GullID: 2, Snack: "chips", StolenOn: july(2)},55
{ID: 5, GullID: 3, Snack: "pasty", StolenOn: day(2)},55
{GullID: 3, Snack: "pasty", StolenOn: july(2)},56
{ID: 6, GullID: 3, Snack: "chips", StolenOn: day(5)},56
{GullID: 3, Snack: "chips", StolenOn: july(5)},57
{ID: 7, GullID: 5, Snack: "sandwich", StolenOn: day(3)},57
{GullID: 5, Snack: "sandwich", StolenOn: july(3)},58
}58
}59
for _, theft := range thefts {59
for _, theft := range thefts {60
if err := queries.RecordTheft(ctx, theft); err != nil {60
if err := queries.RecordTheft(ctx, theft); err != nil {61
return fmt.Errorf("recording a theft: %w", err)61
return fmt.Errorf("recording a theft: %w", err)62
}62
}63
}63
}64
64
65
family, err := queries.FamilyTree(ctx, 1)65
family, err := queries.FamilyTree(ctx, 1)66
if err != nil {66
if err != nil {67
return fmt.Errorf("tracing Steven's family: %w", err)67
return fmt.Errorf("tracing Steven's family: %w", err)68
}68
}69
fmt.Fprintln(output, "Steven's family:")69
fmt.Fprintln(output, "Steven's family:")70
for _, member := range family {70
for _, member := range family {71
fmt.Fprintf(output, " generation %d %-8s parent %s\n", member.Generation, member.Name, orNull(member.Parent))71
fmt.Fprintf(output, " generation %d %-8s parent %s\n", member.Generation, member.Name, orNull(member.Parent))72
}72
}73
73
74
league, err := queries.TheftLeague(ctx)74
league, err := queries.TheftLeague(ctx)75
if err != nil {75
if err != nil {76
return fmt.Errorf("ranking thieves: %w", err)76
return fmt.Errorf("ranking thieves: %w", err)77
}77
}78
fmt.Fprintln(output, "theft league:")78
fmt.Fprintln(output, "theft league:")79
for _, entry := range league {79
for _, entry := range league {80
fmt.Fprintf(output, " %-13s #%d %-8s %d of %d\n", entry.Beach, entry.BeachRank, entry.Name, entry.Stolen, entry.BeachThefts)80
beachThefts := "NULL"81
if entry.BeachThefts != nil {82
beachThefts = entry.BeachThefts.String()83
}84
fmt.Fprintf(output, " %-13s #%d %-8s %d of %s\n", entry.Beach, entry.BeachRank, entry.Name, entry.Thefts, beachThefts)81
}85
}82
86
83
records, err := queries.BeachRecords(ctx)87
records, err := queries.BeachRecords(ctx)84
if err != nil {88
if err != nil {85
return fmt.Errorf("reading beach records: %w", err)89
return fmt.Errorf("reading beach records: %w", err)86
}90
}87
fmt.Fprintln(output, "beach records:")91
fmt.Fprintln(output, "beach records:")88
for _, record := range records {92
for _, record := range records {89
lastTheft := "NULL"93
lastTheft := "NULL"90
if record.LastTheft != nil {94
if record.LastTheft != nil {91
lastTheft = record.LastTheft.Format(time.DateOnly)95
lastTheft = record.LastTheft.Format(time.DateOnly)92
}96
}93
fmt.Fprintf(output, " %-13s gulls %d, thefts %d, last theft %s\n", record.Beach, record.Gulls, record.Thefts, lastTheft)97
fmt.Fprintf(output, " %-13s gulls %d, thefts %d, last theft %s\n", record.Beach, record.Gulls, record.Thefts, lastTheft)94
}98
}95
return nil99
return nil96
}100
}97
101
98
// day returns a date in July 2026, at midnight UTC. A Date parameter binds the calendar102
// july returns a day in July 2026, the month the thefts happen in.99
// date a time has in its own location.100
//103
//101
// Takes date (int) which is the day of the month.104
// Takes day (int) which is the day of the month.102
//105
//103
// Returns time.Time which is the date.106
// Returns time.Time which is midnight UTC on that day, as a DATE column holds it.104
func day(date int) time.Time {107
func july(day int) time.Time {105
return time.Date(2026, time.July, date, 0, 0, 0, 0, time.UTC)108
return time.Date(2026, time.July, day, 0, 0, 0, 0, time.UTC)106
}109
}107
110
108
// orNull returns the text a nullable field holds, or NULL when the field is nil.111
// orNull formats a nullable field, or returns NULL when the field is nil.109
//112
//110
// Takes value (*string) which is a nullable field.113
// Takes value (*T) which is a nullable field.111
//114
//112
// Returns string which is the text to print.115
// Returns string which is the text to print.113
func orNull(value *string) string {116
func orNull[T any](value *T) string {114
if value == nil {117
if value == nil {115
return "NULL"118
return "NULL"116
}119
}117
return *value120
return fmt.Sprint(*value)118
}121
}Go type differences
The same SQL types map to different Go types, because each database reports them differently.
| Query | Field | ClickHouse | TimescaleDB |
|---|---|---|---|
| HatchGull | parameter parent_id | *uint64 | *int64 |
| RecordTheft | parameter gull_id | uint64 | int64 |
| FamilyTree | column generation | uint8 | int64 |
| TheftLeague | column beach_rank | uint64 | int64 |
| TheftLeague | column beach_thefts | uint64 | *apd.Decimal |
| BeachRecords | column gulls | uint64 | int64 |
| BeachRecords | column thefts | uint64 | int64 |