On Embedding Database Management System Logic in Operating Systems via Restricted Programming Environments