Re: Documentation for partitioned indexes?

On 2019-Apr-26, Tom Lane wrote:

> We appear to have a fair amount of support now for operations like
> constructing a partitioned index piecemeal, e.g. adding indexes
> to the partitions one at a time and then attaching them to a
> parent partitioned index, with the parent ultimately transitioning
> from "not valid" to "valid" once all the pieces are attached.
> 
> However, I cannot find any coherent documentation explaining how
> to do this (or why you'd want to).  Am I just looking in the wrong
> places?

Hmm.  Under Notes for CREATE INDEX there is a paragraph on this:

	When CREATE INDEX is invoked on a partitioned table, the default
	behavior is to recurse to all partitions to ensure they all have
	matching indexes. Each partition is first checked to determine
	whether an equivalent index already exists, and if so, that
	index will become attached as a partition index to the index
	being created, which will become its parent index. If no
	matching index exists, a new index will be created and
	automatically attached; the name of the new index in each
	partition will be determined as if no index name had been
	specified in the command. If the ONLY option is specified, no
	recursion is done, and the index is marked invalid. (ALTER INDEX
	... ATTACH PARTITION marks the index valid, once all partitions
	acquire matching indexes.) Note, however, that any partition
	that is created in the future using CREATE TABLE ... PARTITION
	OF will automatically have a matching index, regardless of
	whether ONLY is specified.

I suppose I better add something in Chapter 5 (DDL), possibly inside the
5.10 section (Table Partitioning) -- a new 5.10.6 "Indexes for
Partitioned Tables" perhaps?

-- 
Álvaro Herrera                https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services