From d2e081a13e66429439b0ed7e4bbcf34b5b5186ff Mon Sep 17 00:00:00 2001 From: Wanxin Li <wanxin.li@uwaterloo.ca> Date: Thu, 15 Aug 2019 10:30:27 -0400 Subject: [PATCH] Update README.md --- README.md | 33 +++++++++++++++++---------------- 1 file changed, 17 insertions(+), 16 deletions(-) diff --git a/README.md b/README.md index cad4ebe..cb7e446 100644 --- a/README.md +++ b/README.md @@ -86,40 +86,41 @@ Entity descriptions for algebra in lisp form. There are two sorts of operators: names, and (2) operators producing “column tablesâ€, where tuples are a possibly infinite set of “SQLP column nameâ€/“constant†pairs. -&le query > (1) + +`<query> (1) ( select <set-or-bag> <limit> (as-list <as> … ) <body> ) - ( union <set-or-bag> <limit> (query-list <query> … ) ) + ( union <set-or-bag> <limit> (query-list <query> … ) )` -<set-or-bag> +`<set-or-bag> distinct - all + all` -<limit> +`<limit> ( limit <integer-constant> ) - ( no-limit ) + ( no-limit )` -<as> - ( as <column> <attribute-name> ) +`<as> + ( as <column> <attribute-name> )` -<body> (2) +`<body> (2) <pred> ( atom <table-name> <var> ) ( natural-join-list <body> … ) - ( sub-query <query> <var> ) + ( sub-query <query> <var> )` -<pred> +`<pred> ( equal <term> <term> ) ( less-than <term> <term> ) ( less-than-or-equal <term> <term> ) ( exists <body> ) ( not <pred> ) ( and-list <pred> … ) - ( or-list <pred> … ) + ( or-list <pred> … )` -<term> +`<term> <column> ( integer <integer-constant> ) - ( string <string-constant> ) + ( string <string-constant> )` -<column> - ( column <var> ( attribute-name-list <attribute-name> … ) ) \ No newline at end of file +`<column> + ( column <var> ( attribute-name-list <attribute-name> … ) )` \ No newline at end of file -- GitLab