Aborda técnicas para representar e aplicar atualizações em bases de dados lógicas, com foco em modelos formais e na semântica das operações.

Apresenta métodos para tratar conflitos entre regras e preservar propriedades de integridade em sistemas lógicos, incluindo estratégias de resolução e prioridades.

Destaca exemplos e aplicações em sistemas de gestão de conhecimento e bancos de dados declarativos, relacionando conceitos formais com cenários práticos de atualização.