4
|
1
|
* query langs |
9
|
2
|
:PROPERTIES: |
|
3
|
:ID: 44a015b3-9f25-4909-a61f-daa21a6baa6c |
|
4
|
:END: |
1
|
5
|
Queries are extremely important in software development and having a |
|
6
|
robust query engine is a must for CC. |
|
7
|
|
|
8
|
Our goal is to develop a query-language compiler (Q) which can be |
|
9
|
tuned at compile-time to meet the needs of any database backend. |
|
10
|
|
|
11
|
The query languages that interest us most are derived from Prolog |
|
12
|
(/datalog) and SQL, but we won't be supporting all of their features - |
|
13
|
only the ones that can be reasonably coerced to all supported frontends. |
|
14
|
|
|
15
|
Q will require an Intermediate Representation (IR) - the encoding will |
|
16
|
be based on S-expressions with a specialized reader. |