Database.Sqlite: more principled