Pré-requisito(s): Estruturas de Dados II, Introdução à Engenharia de Software.

Modelagem Conceitual de Dados. Modelos lógicos de Dados. Linguagens para descrição e recuperação de dados. Processamento de consultas. Controle de concorrência. Banco de dados distribuídos. Recuperação de paradas e falhas. Segurança e integridade.

Bibliografia:

Henry F. Korth, Abraham Silberschatz, "Sistemas de Banco de Dados- 2a. Edição", ... <$>

<$>

Pré-requisito(s): Algebra Linear e Estrutura de Dados II<$>

Ementa:
Grafos e subgrafos. Conectividade. Ciclos. Hipergrafos. Álgebra de caminhos. Árvores e Arborecências. Coloração e vértices. Grafos orientados. Grafos Eulerianos e Hamiltonianos.

Bibliografia:

• Paulo O. Boaventura Netto, "Teoria e Modelos de Grafos", Editora Edgard Blucher Ltda. <$>
• Jayme Luiz Szwarcfiter, "Grafos e Algoritmos Computacionais", Editora Campus. <$>
• Alfred V. Aho, Joher E. Hopcroft e Jeffrey D. Ullman, "Data Structures and Algorithmos", Addison Wesley. <$>

Pré-requisito(s): Algoritmos Numéricos I, Processamento Paralelo e Distribuído, Análise de Algoritmos.

Ementa: Modelos de programação paralela; conceitos básicos de programação paralela e distribuída; algoritmos paralelos e disctribuídos; decomposição, escalonamento, mapeamento e balanceamento; comunicação e sincronização; programação baseada em memória compartilhada e em troca de mensagens; ambientes de programação paralela e distribuída; aplicações de programação paralela e distribuída; noções de complexidade e de avaliação de desempenho.

Bibliografia:

• Akl, Selim.G. The design and analysis of parallel algorithms. Englewood Cliffs:Prentice Hall, 1989.
• Bertsekas, Dimetri.P. Parallel and Distributed Computations Numerical Methods. Englewood Cliffs:Prentice Hall, 1989.
• Foster, Ian T. Designing and Building parallel programs concepts ant tools for parallel software engineering. Reading:Addison-Wesley,1992.
• Pacheco, Peter S. Parallel programming with MPI. San FRancisco: Morgan Kaufman,1997.

Pré-requisito(s): Estrutura de Dados I, Linguagens Formais e Autômatos.

Ementa:

Compilação e interpretação. Análise Léxica. Análise Sintática. Tratamento de Erros. Análise de Contexto. Geração de Código. Otimização. Ferramentas de Geração de Analisadores Léxicos e Sintáticos.

Bibliografia:

• A. V. Aho, R. Sethi, "Compiladores: Princípios, Técnicas e Ferramentas", Addison-Wesley. <$>
• W. Setzer, I. S. H. Melo, "A Construção de um Compilador", Editora Campus. <$>