Dispositivos portáteis dotados de computador são cada vez mais utilizados em diversos domínios de aplicações. Juntamente com as redes de telecomunicações provêem a base tecnológica para a computação móvel. Neste ambiente, os Sistemas de Gerência de Bancos de Dados (SGBDs) podem fornecer todos os mecanismos para confiança, segurança, disponibilidade, integridade e acesso eficiente a dados persistentes. Estes SGBDs podem estar localizados na rede com fio (fixa), desempenhando seu papel convencional de servidor de banco de dados, ou podem prover dados para computadores móveis e tecnologias relacionadas. Vários modelos para transações em banco de dados para o ambiente de computação móvel têm sido propostos. No entanto, não satisfazem plenamente as características únicas deste tipo de ambiente, tais como desconexões freqüentes, fraca conectividade na rede sem fio e a movimentação dos clientes. Esta tese tem por objetivo propor um modelo de computação que permita a integração de um SGBD a um ambiente de computação móvel. É apresentado um novo modelo de transações de banco de dados em múltiplos níveis no sentido de garantir o atendimento dos requisitos da computação móvel e as propriedades ACID de transações, onde há participação efetiva do SGBD. O modelo é definido em lógica de primeira ordem seguindo o formalismo ACTA. A implementação desse modelo de transações é apresentada em uma arquitetura que faz uso das abordagens de frameworks orientados a objetos e agentes de software, de forma a tratar com maior eficiência as especificidades do ambiente de computação móvel. Finalmente, é feita uma comparação entre alguns dos modelos mais relevantes de transações para bancos de dados no ambiente de computação móvel e o modelo proposto nesta tese, ressaltando o tratamento dado às propriedades ACID das transações de banco de dados.