changelog shortlog graph tags branches changeset files file revisions raw help

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

changeset 19: 6fe19a3a492e
parent: f52e43c891d7
author: Richard Westhaver <ellis@rwest.io>
date: Sun, 22 Sep 2024 21:29:45 -0400
permissions: -rw-r--r--
description: id updates
4
Richard Westhaver <ellis@rwest.io>
parents: 2
diff changeset
1 
 * query langs
9
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
2 
 :PROPERTIES:
19
6fe19a3a492e id updates
Richard Westhaver <ellis@rwest.io>
parents: 18
diff changeset
3 
 :ID:       d45a7a24-5639-4d7e-be02-603f3764325e
6fe19a3a492e id updates
Richard Westhaver <ellis@rwest.io>
parents: 18
diff changeset
4 
 :END:
6fe19a3a492e id updates
Richard Westhaver <ellis@rwest.io>
parents: 18
diff changeset
5 
 :PROPERTIES:
9
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
6 
 :ID:       44a015b3-9f25-4909-a61f-daa21a6baa6c
1
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
7 
 Queries are extremely important in software development and having a
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
8 
 robust query engine is a must for CC.
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
9 
 
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
10 
 Our goal is to develop a query-language compiler (Q) which can be
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
11 
 tuned at compile-time to meet the needs of any database backend.
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
12 
 
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
13 
 The query languages that interest us most are derived from Prolog
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
14 
 (/datalog) and SQL, but we won't be supporting all of their features -
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
15 
 only the ones that can be reasonably coerced to all supported frontends.
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
16 
 
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
17 
 Q will require an Intermediate Representation (IR) - the encoding will
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
18 
 be based on S-expressions with a specialized reader.