Static Type Checking for Database Access Code (ArXiv cs.DB Recent Papers, 2026)