|
1 |
26-02-1999 |
Apresentação da ficha de disciplina
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 |
|
2 |
05-03-1999 |
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
Sistemas de Tipos
Tipagem; linguagens fortemente tipadas; segurança versus flexibilidade; verificação de tipos; inferência; equivalência de tipos; teoria de
tipos; regras de tipos |
|
3 |
12-03-1999 |
Abstrações proporcionadas pelas linguagens de programação
Poder expressivo de um sistema de tipos; tipos de dados abstractos; polimorfismo; funções paramétricas
Tipos paramétricos
Subtipagem; regras de subtipagem; polimorfismo de inclusão Reflexão; reflexão linguística segura em tempo de execução
Combinar as abstraçõ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 |
|
4 |
19-03-1999 |
Dos conceitos para os sistemas
Extensões ao modelo relacional; Sistemas extensíveis; Linguagens de Programação de bases de dados
Integração: Pascal/R; Adaplex
Persistência; linguagens persistentes ortogonais; PS-Algol; Napier88
A linguagem persistente ortogonal Napier88: arquitectura e características; uso do sistema; colecções de ligações como cidadãos de
primeira; o armazém de objectos |
|
5 |
26-03-1999 |
Apresentação do projecto: entidades, funcionalidade e avaliação
A linguagem persistente ortogonal Napier88: arquitectura e características; uso do sistema; colecções de ligações como cidadãos de
primeira; o armazém de objectos; tipos básicos e operações; entrada e saída |
|
6 |
09-04-1999 |
Napier88: estruturas de controlo; declaração de tipos e construtores de tipos; tipos construídos
(vectores, estruturas, procedimentos); procedimentos cidadãos de primeira; polimorfismo paramétrico; |
|
7 |
16-04-1999 |
Napier88: Somas disjuntas; tipos paramétricos; tipos recursivos e procedimentos recursivos.
Compilação separada. |
|
8 |
23-04-1999 |
Metodologia de construção incremental de aplicações persistentes usando Napier88; ligações à
esquerda e propagação de alterações; protecção; versões; tipos gráficos |