- Documentation
- Reference manual
 - Packages
- Constraint Query Language A high level interface to SQL databases
- library(cql/cql): CQL - Constraint Query Language
- Examples
- Simple INSERT
 - Simple INSERT with retrieval of identity of the inserted
 - Simple DELETE
 - Simple SELECT
 - Simple UPDATE
 - WHERE with arithmetic comparison
 - Simple INNER JOIN
 - Arithmetic UPDATE with an INNER JOIN and a WHERE restriction
 - Confirm row does not exist
 - Aggregation - Count
 - Aggregation - Sum
 - Aggregation - Average
 - Maximum Value
 - Minimum Value
 - Aggregation requiring GROUP BY
 - INNER JOIN with an aggregation sub-query where the sub-query is constrained by a shared variable from the main query
 - INNER JOIN in an aggregation sub-query
 - Negation
 - EXISTS
 - Left Outer Join
 - List-based Restrictions
 - Compile time in-list constraint
 - Disjunction resulting in OR in WHERE clause
 - Disjunction resulting in different joins (implemented as a SQL UNION)
 - Disjunction resulting in different SELECT attributes (implemented as separate ODBC queries)
 - ORDER BY
 - DISTINCT
 - SELECT with NOT NULL restriction
 - First N
 - Self JOIN
 - Removing null comparisions
 - Three table JOIN
 - Three table JOIN with NOLOCK locking hint
 - SELECT with LIKE
 - Writing exceptions directly to the database
 - TOP N is Parametric
 - Using compile_time_goal/1
 - ON
 - Expressions In Where Restrictions
 - Explicitly avoid the "No WHERE restriction" message
 - HAVING
 - INSERT and UPDATE value in-line formatting
 - Negations in WHERE Clauses
 - Predicate-generated Attribute Values
 - INSERT from SELECT
 
 
 - Examples
 
 - library(cql/cql): CQL - Constraint Query Language
 
 - Constraint Query Language A high level interface to SQL databases
 
 
1.7.8 Arithmetic UPDATE with an INNER JOIN and a WHERE restriction
{[],
 update(se_lt_x, [c-(C + 2 * F + 20)]),
 @ :: [a-A, c-C] =*= se_lt_y :: [d-A, f-F],
 C < 100}
This joins the table being updated (table se_lt_x) on 
table se_lt_y where se_lt_x.a = se_lt_y.a and 
where se_lt_x.c < 200 then updates each identified row se_lt_x.c 
with the specified expression.