Xây dựng mô-đun sinh tự động mã nguồn trigger trên ngôn ngữ C phục vụ cập nhật gia tăng đồng bộ các khung nhìn thực với truy vấn lồng cho PostgreSQL