changelog shortlog graph tags branches changeset files file revisions raw help

Mercurial > org > notes / annotate query-lang.org

changeset 2: 04e86b94ef1a
parent: 4b49701b8c04
child: 812feca5a874
author: Richard Westhaver <ellis@rwest.io>
date: Thu, 06 Jun 2024 23:16:37 -0400
permissions: -rw-r--r--
description: style update
2
04e86b94ef1a style update
Richard Westhaver <ellis@rwest.io>
parents: 1
diff changeset
1
 #+setupfile: ../clean.theme
1
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
2
 This file is for notes on different query languages.
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
3
 
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
4
 Queries are extremely important in software development and having a
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
5
 robust query engine is a must for CC.
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
6
 
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
7
 Our goal is to develop a query-language compiler (Q) which can be
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
8
 tuned at compile-time to meet the needs of any database backend.
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
9
 
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
10
 The query languages that interest us most are derived from Prolog
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
11
 (/datalog) and SQL, but we won't be supporting all of their features -
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
12
 only the ones that can be reasonably coerced to all supported frontends.
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
13
 
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
14
 Q will require an Intermediate Representation (IR) - the encoding will
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
15
 be based on S-expressions with a specialized reader.