Text this: 3-L model: a model for checking the integrity constraints of mobile databases