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