Mestrado em Inteligência Artificial e Computação

Centro de Informática da Universidade do Porto
Mestrado em Inteligência Artificial e Computação
Ano Lectivo de 1997/98
2 º Semestre
Disciplina
Sistemas de Bases de Dados
Sumário da Aula nº 1
Data 13/01/1998
Introdução às Bases de Dados
Sistemas Persistentes; metodologias e tecnologias; modelos lógicos; arquitectura de
Sistema de Gestão de Bases de Dados
Sumário da Aula nº 2
Data 15/01/1998
Modelo Entidade/Associação
Diagramas E/A; multiplicidade das associações; atributos; subclasses; entidades fracas
Sumário da Aula nº 3
Modelo Relacional
Relações; chaves; restrições de integridade
Tradução do modelo E/A para o modelo relacional
Data
20/01/1998
Sumário da Aula nº 4
Data 22/01/1998
Dependências Funcionais
Chaves; fecho transitivo de atributos; fecho de um conjunto de dependências; axiomas de
Armstrong
Sumário da Aula nº 5
Data 27/01/1998
Projecto de Bases de Dados (normalização)
Anomalias; decomposição de relações; forma normal de Boyce-Codd (BCNF);
decomposição em BCNF; projecção de dependências funcionais
Centro de Informática da Universidade do Porto
Mestrado em Inteligência Artificial e Computação
Ano Lectivo de 1997/98
2 º Semestre
Disciplina
Sistemas de Bases de Dados
Sumário da Aula nº 6
Data 29/01/1998
Normalização (continuação):
Terceira forma normal; outras formas normais; dependências multívocas; quarta forma
normal (4NF)
Álgebra Relacional
Selecção, projecção, produtos
Sumário da Aula nº 7
Data 03/02/1998
SQL
Características do SQL; projecção, selecção, ordenação; produtos e junções; operações
com conjuntos;
Sumário da Aula nº 8
Data 05/02/1998
SQL:
Subperguntas; duplicados; agregação; agrupamentos; modificação da base de dados;
Sumário da Aula nº 9
Data 10/02/1998
SQL:
Definição de dados; domínios; índices; vistas; perguntas usando vistas; operações com
valores nulos; lógica de três valores; expressões de junção; junções externas;
Sumário da Aula nº 10
Data 12/02/1998
Restrições de Integridade:
Restrições de relação; restrições de integridade referencial; manutenção da integridade
referencial; restrições genéricas em SQL92; asserções; gatilhos em SQL3; asserções em
SQL3
Centro de Informática da Universidade do Porto
Mestrado em Inteligência Artificial e Computação
Ano Lectivo de 1997/98
2 º Semestre
Disciplina
Sistemas de Bases de Dados
Sumário da Aula nº 11
Data 17/02/1998
Limitações do modelo relacional
Sistema de Gestão de Bases de Dados; Níveis de representação num SGBD; fosso
semântico; decomposição das relações; vantagens do modelo relacional; limitações das
linguagens relacionais; C embebido; desadaptação de impedâncias; limitações do modelo
relacional; nova geração de sistemas
Sumário da Aula nº 12
Data 19/02/1998
Linguagens de programação de bases de dados
Integração de modelos de dados e sistemas de tipos; abstrações comuns a vários modelos
de dados; especialização e generalização; restrições de integridade
Sumário da Aula nº 13
Data 26/02/1998
Sistemas de Tipos
Tipagem; linguagens fortemente tipadas; segurança versus flexibilidade; verificação de
tipos; inferência; equivaleência de tipos; teorias de tipos; regras de tipos
Sumário da Aula nº 14
Data 03/03/1998
Abstrações proporcionadas pelas linguagens de programação
Poder expressivo de um sistema de tipos; tipos de dados abstractos; polimorfismo; funções
paramétricas
Sumário da Aula nº 15
Tipos paramétricos
Subtipagem
Regras de subtipagem; polimorfismo de inclusão
Reflexão
Reflexão linguística segura em tempo de execução
Data
05/03/1998
Centro de Informática da Universidade do Porto
Mestrado em Inteligência Artificial e Computação
Ano Lectivo de 1997/98
2 º Semestre
Disciplina
Sistemas de Bases de Dados
Sumário da Aula nº 16
Data 10/03/1998
Combinar as abstrções dos modelos semânticos com abstrações dos sistemas de tipos
Classes, herança, tipos abstractos e independência lógica; módulos e esquemas da base
de dados
Dos conceitos para os sistemas
Extensões ao modelo relacional: modelos com valores estruturados; modelos dedutivos e
programação em lógica; modelos de objectos com identidade;
Sumário da Aula nº 17
Data 12/03/1998
Sistemas extensíveis
Linguagens de Programação de bases de dados
Integração: Pascal/R; Adaplex
Persistência; linguagens persistentes ortogonais; PS-Algol; Napier88
Características do Napier88; arquitectura; exemplos de programas usando Napier88
Sumário da Aula nº 18
Sistemas orientados aos objectos
Sistemas baseados em Lisp/Smaltalk80: Gemstone; Orion
Sistemas baseados em Daplex: Iris
Sistemas baseados no pradigma imperativo: Ontos
Entrega dos relatórios de projecto de implementação em SQL92
Data
17/03/1998
Sumário da Aula nº 19
Discussão dos projectos de implementação em SQL92
Data
19/03/1998
O docente
Data
09/04/1998