Abstract
This chapter will present the formal analysis for data manipulation
language (DML) operations like SELECT, INSERT, UPDATE, and
DELETE for the encryption-based multilevel model for relational
database management systems. Also, this chapter will give the
soundness, completeness, and the security mathematical proof for the
DML operations of the encryption-based multilevel database model.
The mathematical proofs show that the DML operations transform
any database in the correct state to another database in the correct
state, which indicates the power of the encryption-based multilevel
database model [75].