postgresql source code explained