Research area focusing on how to make compilers understand and validate SQL-like queries against the schema.
Schemasafe