Commit 9cac60d3 authored by cznic's avatar cznic

Update the documentation. Updates #155.

parent d3c7cc75
......@@ -1738,7 +1738,7 @@
// The result can be filtered using a WhereClause and orderd by the OrderBy
// clause.
//
// SelectStmt = "SELECT" [ "DISTINCT" ] ( "*" | FieldList ) [ "FROM" RecordSetList ] //TODO document missing FROM clause semantics
// SelectStmt = "SELECT" [ "DISTINCT" ] ( "*" | FieldList ) [ "FROM" RecordSetList ]
// [ JoinClause ] [ WhereClause ] [ GroupByClause ] [ OrderBy ] [ Limit ] [ Offset ].
//
// JoinClause = ( "LEFT" | "RIGHT" | "FULL" ) [ "OUTER" ] "JOIN" RecordSet "ON" Expression .
......@@ -1878,9 +1878,16 @@
// It is an error if the expression evaluates to a non null value of non bool
// type.
//
// Another form of the WHERE clause is an existence predicate of a
// parenthesized select statement. The EXISTS form evaluates to true if the
// parenthesized SELECT statement produces a non empty record set. The NOT
// EXISTS form evaluates to true if the parenthesized SELECT statement produces
// an empty record set. The parenthesized SELECT statement is evaluated only
// once (TODO issue #159).
//
// WhereClause = "WHERE" Expression
// | "WHERE" "EXISTS" "(" SelectStmt ")" //TODO document semantics
// | "WHERE" "NOT" "EXISTS" "(" SelectStmt ")" . //TODO document semantics
// | "WHERE" "EXISTS" "(" SelectStmt ")"
// | "WHERE" "NOT" "EXISTS" "(" SelectStmt ")" .
//
// Recordset grouping
//
......
......@@ -3,7 +3,7 @@
//TODO Put your favorite license here
// yacc source generated by ebnf2y[1]
// at 2017-03-26 14:44:01.845463888 +0200 CEST
// at 2017-04-06 11:43:14.590151168 +0200 CEST
//
// $ ebnf2y -o ql.y -oe ql.ebnf -start StatementList -pkg ql -p _
//
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment