diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2018-11-12 14:47:58 +0100 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2018-11-12 14:47:58 +0100 |
| commit | fc151211ef1f99934b8789591241525adfdee9d6 (patch) | |
| tree | f7a7a0b3657bcc0f09bf16aed6711c18882bb73f /doc/src | |
| parent | 253b3f6760e850945a91e2d872eab3b2802ffca2 (diff) | |
doc: Small punctuation improvement
Diffstat (limited to 'doc/src')
| -rw-r--r-- | doc/src/sgml/ddl.sgml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/src/sgml/ddl.sgml b/doc/src/sgml/ddl.sgml index cab6cf24ee4..c8268222af7 100644 --- a/doc/src/sgml/ddl.sgml +++ b/doc/src/sgml/ddl.sgml @@ -3889,9 +3889,9 @@ EXPLAIN SELECT count(*) FROM measurement WHERE logdate >= DATE '2008-01-01'; Partition pruning can be performed not only during the planning of a given query, but also during its execution. This is useful as it can allow more partitions to be pruned when clauses contain expressions - whose values are not known at query planning time; for example, + whose values are not known at query planning time, for example, parameters defined in a <command>PREPARE</command> statement, using a - value obtained from a subquery or using a parameterized value on the + value obtained from a subquery, or using a parameterized value on the inner side of a nested loop join. Partition pruning during execution can be performed at any of the following times: |