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