Portable computerized devices have become widely used in many different application domains and are, together with telecommunication networks, the underlying technology for mobile computing. In this environment Data- base Management Systems (DBMS) may provide reliability, security and availability, besides data integrity and efficiency persistent data access. These DBMS might be located either in conventional (fixed) networks, with the conventional data server role, or might serve global and local data for mobile computers and related technology. There are many transaction models for mobile database management. However, the particular characteristics of this mobile environment, such as frequent disconnections, weak and intermittent connectivity of wireless networks and clients movement, are not always well addressed. The goal of this thesis is to propose a computational model that enables the integration of a DBMS to a mobile environment. Indeed, we present a new multi-level database transactional model in order to handle mobile requirements and ACID transaction properties, where a DBMS is present. Our model is defined using the ACTA formalism based in first-order logic. The implementation of proposed transaction model becomes feasible through the use of object-oriented frameworks and software agents, with gave support to deal with the particularities of the mobile computing environment. Finally, we give a comparison between the most relevant transaction models for the mobile computing environment and our proposed model, emphasizing the treatment given to the ACID transactions properties.