Orientador: Leo Pini Magalhães

Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica

Resumo: Em Ciências de Computação, uma das linhas de pesquisa na área de Sistemas de Banco de Dados que vem se destacando há mais de uma década trata de desenvolver mecanismos adequados às necessidades das aplicações ditas não-convencionais. Em particular, por causa da inadequação e insuficiência...

Resumo: Em Ciências de Computação, uma das linhas de pesquisa na área de Sistemas de Banco de Dados que vem se destacando há mais de uma década trata de desenvolver mecanismos adequados às necessidades das aplicações ditas não-convencionais. Em particular, por causa da inadequação e insuficiência dos mecanismos tradicionais de controle de transações e de integridade existentes nos SGBDs convencionais, nos últimos anos, inúmeras propostas têm sido apresentadas para o controle de consistência em aplicações de engenharia. A proposta deste trabalho é estudar os mecanismos de controle de consistência e de Integridade em sistemas de banco de dados, particularmente os de tratamento de restrições em ambientes de projeto. Assim, são identificadas as principais características de restrições de consistência para aplicações de PAC, sendo apresentado um sistema de' software (denominado Subsistema de Tratamento de Restrições - STR) para tratamento de restrições no contexto GERPAC/UNICOSMOS, possibilitando definição, manipulação e verificação dinâmica de restrições a nível do GERPAC. O STR é desenvolvido em ambiente UNIX das estações de trabalho SUN, na linguagem de programação C, constituindo um Subsistema de Tratamento de Restrições para o SGBD GERPAC, um SGBD para aplicações de PAC

Abstract: One direction of research in Data Base Systems. where a lot of effort has been applied slnce more than one decade is the development of proper mechanisms for non-conventional applications. Particulary. in recent years. innumerous propositions have been presented for consistency control in...

Abstract: One direction of research in Data Base Systems. where a lot of effort has been applied slnce more than one decade is the development of proper mechanisms for non-conventional applications. Particulary. in recent years. innumerous propositions have been presented for consistency control in engeneering applications. due to the inadequancy of traditional mechanisms of consistency. Integrity and transaction control in Conventional Data Base Systems. The purpose of this work is to study the consistency and integrity control mechanisms of Data Base Systems. more particulary. In the context of design environments. Major features of consistency constraints for CAD applications are discussed; a software system (STR) for constraints control in the GERPAC/UNICOSMOS context is presented. This software permits the dynamic definition. manipulation and checking of constraints. STR has been developped in C. In the Laboratório de Computação e Automação (LCA) of FEE/UNICAMP. In a UNIX environment; it is the Constraints Management Subsystem of the GERPAC DBMS (a DBMS for CAD appllcations)