Что такое CAP-теорема? Каким инструментом в PostgreSQL достигается согласованность?