Novidades
Apresentação
Aqui você encontrará notas
de aula, material de referência na área de Banco de Dados.
Todo o material está no formato PDF e o copyright é dos respectivos
autores.
Selecione agora o material
desejado:
INF1732 – Construção de Sistemas de Gerência de
Bancos de Dados (CSGBD)
INF2324 – Bancos de Dados Distribuídos (BDD)
INF2328 – Tópicos em
Tecnologias de Bancos de Dados para a Web
INF2390 – Tópicos de Banco de
Dados IV – “e-Science”
INF2391 –
Tópicos de Banco de Dados V – “Representação e Processamento de Conhecimento”
Palestras
Revisitando Mapeamento entre Esquemas
(Palestra apresentada no SBBD 2007)
Cooperativas de Fontes de Dados
(versão curta)
Bancos de Dados: De onde vieram? Onde
estão? Para onde vão? (versão longa)
Bancos de Dados: De onde vieram? Onde
estão? Para onde vão? (versão curta)
Integração e interoperabilidade
entre fontes de dados geográficos
Sistemas de informação governados por
ontologias (versão
longa)
Sistemas de informação baseados
em ontologias (versão longa)
Referências
The Asilomar Report on Database Research. SIGMOD Record, 27(4): 74-80 (Dec. 1998)
The
Lowell Database Research Self Assessment (June 2003)
(clique aqui para voltar ao topo)
INF1731
– Banco de Dados (BD)
Notas de Aula
Copie para o seu computador pessoal as notas de aula:
Notas de aula completas (em PDF, no formato de 4 transparências por
página)
ou selecione o módulo
desejado da lista:
Módulo 0 - Resumo Histórico
Módulo 1 - Introdução
Módulo 2 - Modelo Entidade-Relacionamento - Introdução
Módulo 3 - Modelo Entidade-Relacionamento - Conceitos Adicionais
Módulo 3a - Modelo Entidade-Relacionamento - Exemplos
Módulo 3b - Modelo Entidade-Relacionamento - Exemplos
Módulo 4 - Modelo Relacional - Introdução
Módulo 5 - Modelo Relacional - Normalização
Modulo5a - Modelo Relacional - Exemplos de Normalização
Módulo 6 - Modelo Relacional - Álgebra e Cálculo Relacionais
Módulo 7 - SQL - Definição do Esquema Relacional
Módulo 8 - SQL - Consultas e Atualizações
Módulo 9 - Modelo de Dados Orientado a Objeto
Módulo 10 - ODMG
Módulo 10b - Modelo de Dados Objeto-Relacional
Módulo 11 - Modelo de Dados Semi-estruturados
Módulo 12 - XML
Módulo 13 - Arquitetura para SGBDs
Módulo 14 - Estruturas de Armazenamento
Módulo 15 - Estruturas de Indexação
Referências
Projeto Conceitual utilizando o Modelo
Entidade-Relacionamento
Modelo de Dados Orientado a Objeto
(clique aqui para voltar ao topo)
INF1732
– Construção de Sistemas de Gerência de Bancos de Dados (CSGBD)
Notas de Aula
Copie
para o seu computador pessoal as notas de aula, preparadas para impressão com 4
transparências por página:
Notas de aula completas (em PDF, no formato de
4 transparências por página)
ou selecione o módulo
desejado da lista:
Módulo 0 - Modelos de Dados e Linguagens de Consulta
Módulo 1 - Armazenamento
Módulo 2a - Indexação
Módulo 2b - Indexação Multidimensional
Módulo 3 - Sistemas de Armazenamento de Alto
Desempenho
Módulo 4 - Consultas e Transações
Módulo 4.1 - Processamento de Consultas
Módulo 4.2 - Otimização de Consultas
Módulo 4.3 - Otimização de Consultas
Distribuídas
Módulo 4.4 - Gerência de Transações
Módulo 5 - Controle de Concorrência
Módulo 5.1 - Serialização
Módulo 5.2 - Métodos baseados em Bloqueio
Módulo 5.3 - Métodos baseados em Pré-Ordenação
Módulo 5.4 - Tópicos Adicionais
Módulo 6 - Sistema de Recuperação
Módulo 6.1 - Método baseado em Imagens
Transientes
Módulo 6.2 - Método baseado em Atas
Módulo 7
- Outras Arquiteturas para SGBDs
Módulo 7.1 - Caracterização de SGBDs
Módulo 7.2 - SGBDs Cliente-Servidor
Módulo 7.3 - SGBDs Paralelos
Módulo 7.4 - SGBDs Distribuídos Homogêneos
Módulo 7.5- Multi-SGBDs Heterogêneos
Módulo 7.6 - SGBDs e a Web
Módulo 7.7 - SGBDs para Estações Móveis
Módulo 8 - SGBDs Multimídia
Referências
Casanova, M.A., Moura, A.V., Princípios de Bancos de Dados Distribuídos
Bernstein, P.A., Hadzilacos, V., Goodman, N., Concurrency Control and Recovery in Database Systems
(clique aqui para voltar ao topo)
INF2324
– Bancos de Dados Distribuídos (BDD)
Notas de Aula
Introdução ao Processamento de Consultas
Processamento de Consultas - O Caso Centralizado
Processamento de Consultas - O Caso Distribuído
Introdução ao Processamento de Transações
Executando Transações
Controle de Concorrência I
Controle de Concorrência II
Controle de Integridade I
Controle de Integridade II
Controle de Integridade III
Sistemas de Gerência de Banco de Dados Paralelos
Sistemas de Gerência de Banco de Dados Distribuídos Orientados a Objeto
Interoperabilidade
Técnicas de Bancos de Dados para a Web
Disseminação de Dados e Bancos de Dados Móveis
Notas de Aula - Profs. M. Tamer Özsu e Patrick
Valduriez
Referências
Casanova, M.A., Moura, A.V., Princípios de Bancos de Dados Distribuídos
Bernstein, P.A., Hadzilacos, V., Goodman, N., Concurrency Control and Recovery in Database Systems
(clique aqui para voltar ao topo)
INF2328
– Tópicos em Tecnologias de Bancos de Dados para a Web (WebBD)
Notas de Aula
Copie para o seu computador
pessoal as notas de aula, preparadas para impressão com 4 transparências por
página:
Notas de aula
completas (em PDF, no formato de 2 transparências por página)
ou selecione o módulo
desejado da lista:
Módulo 0: Apresentação do curso
Módulo
1a: Lógica de Descrição – Introdução
Modulo
1b: Lógica de Descrição – Extensões
Módulo
1c: Lógica de Descrição – Sistemas de Inferência
Módulo
1d: Lógica de Descrição – FACT
Módulo 2a: Ontologias – Requisitos
Módulo 2b: Ontologias – RDF
Módulo 2c: Ontologias – DAML-OIL
Módulo 2e: Ontologias – Rule
Languages
Módulo 2f: Ontologias – Metodologias
Módulo 3a: Web Services –
Arquitetura
Módulo 3b: Web Services – SOAP
Módulo 3c: Web Services – WSDL
Módulo 3d: Web Services – UDDI
Módulo 3e: Web Services – WSIL
Módulo 4a: Workflow – Introdução
Módulo 4b: Workflow – Design Patterns
Módulo 4c: Workflow – Pipeline
Módulo 4f: Transações na Web –
Introdução
Módulo 4g: Transações na Web –
Cenários
Módulo
5a: Servidores de Ontologias – Introdução
Módulo
5b: Servidores de Ontologias – FIPA
Módulo
5c: Servidores de Ontologias – ACOS
Módulo
5d: Servidores de Ontologias – JENA
Módulo
5e: Servidores de Ontologias – SESAME
Módulo
5f: Servidores de Ontologias – SNOBASE
Módulo
5g: Servidores de Ontologias – KAON
Módulo
5h: Servidores de Ontologias – OntoAPI
Módulo 6a: Tópicos – Grid Computing
Módulo 6b: Tópicos – Service Domain
Módulo 6c: Tópicos – Extração de
dados da Web
Módulo 9a: Ontologias – Matching
Módulo 9b: Matching – Syntactic / Manual
Módulo 9c: Matching – Syntactic / Automatic
Módulo 9d: Matching – Semantic / Automatic
Módulo 9e: Matching – Semantic / Automatic
Módulo
10a – Composição de Serviços – Introdução
Cálculo
Situacional e Planejamento
Módulo
10b – Composição de Serviços – Semantic Web Services
Módulo
10c – Composição de Serviços – WebML / GLUE
Módulo
10d – Composição de Serviços – DERI
Notas adicionais sobre XML
Módulo 1a: XML Básico – Sintaxe
Módulo 1c: XML Básico – XML Schema
Módulo 1d: XML Básico – URI e XML
Information Set
Módulo 2a: Consultas em XML – XPath
Módulo 2b: Consultas em XML – XQuery
Módulo 3a: Processamento de
documentos XML – SAX
Módulo 3b: Processamento de
documentos XML – DOM
Módulo 3c: Processamento de
documentos XML – XSL
Módulo 3d: Processamento de
documentos XML – XSL-FO
Notas adicionais sobre Ontology-Driven Information Systems
(ODIS)
Módulo
0a: Motivação para ODIS
Exemplos de ODIS
Módulo
0b: Gerenciador de Workflow Aplicado à Bioinformática Baseado em Ontologia
Módulo 0c: The Drug Ontology Project for Elsevier
Módulo 0d: Ontology Services on myGrid
Servidores de Ontologias
Módulo 5a: Ontology Servers - Introduction
Módulo 5b: Ontology Servers - FIPA
Ontology Service
Módulo 5c: Ontology Servers - ACOS - Agent Cities Ontology Service
Modulo 5d: Jena: Semantic Web Framework
Módulo 3e: Sesame: An Architecture for Storing and Queryng RDF and RDF Schema
Notas
adicionais (Profa. Karin Breitman)
Construção de ontologies (5.6MB)
Tutorial do
Protégé (2.5MB)
Referências
selecionadas (4.6MB)
Apresentações
adicionais (Karin Breitman) (2.7MB)
Apresentações
sobre OWL (Ian Horrocks e outros) (4.0MB)
Apresentações
adicionais (Alan Rector) (1.4MB)
Referências
Bush, Vannevar. “As
We May Think”. The Atlantic Monthly; July, 1945; As We May Think; Volume 176,
No. 1; pages 101-108.
Berners-Lee, Tim; James Hendler; Ora Lassila. “The
Semantic Web: A new form of Web content that is meaningful to computers will
unleash a revolution of new possibilities”. Scientific American. May 2001
Referências
adicionais
D. Nardi, R. J. Brachman. "An Introduction to
Description Logics". In the Description Logic Handbook, edited by F.
Baader, D. Calvanese, D.L. McGuinness, D. Nardi, P.F.
Patel-Schneider,
E. Franconi, "Structural Description
Logics: FL-". (ibid)
Guarino,
Nicola. “Formal
Ontology and Information Systems”. in N. Guarino (ed.), Formal Ontology in Information Systems.Proceedings
of FOIS’98, Trento, Italy, 6-8 June 1998.
A Practical
Guide To Building OWL Ontologies Using The Protege-OWL Plugin and CO-ODE Tools
(clique aqui
para voltar ao topo)
INF2390 - Tópicos de Banco de Dados IV – e-Science
OGC
Catalog V2.0 (Abilio Fernandes); Material
adicional
Planning (Marcelo Metello); Material
adicional - I; Material
adicional - II
Captura
automática de metadados (Daniela Brauner/ Luiz André Leme); Material
adicional
Interoperabilidade
em GIS (Casaova)
Scientific
Workflows (Abílio Fernandes/ Renato Novais); Material
adicional
Geração
automatizada de planos (Metello)
Anotação
Semântica (Daniela / Luiz André)
Otimização
de e-Science Workflows (Abílio / Renato)
Heurísticas
para re-planejamento semi-automatizado (Geraldo)
Digital
Content Component / Dataweb (Daniela / Luiz André)
Visualização
gráfica otimizada de dados científicos (Gonella)
Replica de
Bases de Dados (Vinci)
(clique aqui para voltar ao topo)
INF2217 – Lógica e Especificação
Notas de Aula
Linguagens
de Primeira Ordem: Sintaxe e Semântica
Linguagens
de Primeira Ordem: Teorias de Primeira Ordem
Notação
Clausal e Teorema de Herbrand
Cláusulas
de Horn e Resolução-SLD
Controle
Procedimental da Refutação
Lógica de
Descrição – Linguagens Atributivas
Lógica
de Descrição – Procedimentos de Decisão
Reasoning
with Expressive Description Logics - Ian Horrocks
Lógica
de Descrição – Extensões
Cálculo
Situacional e Planejamento
(clique aqui para voltar ao topo)
Material Adicional
Exercícios
1 - Lógica Sentencial
Exercícios
3 - Lógica de Primeira Ordem
Exercícios
4 - Lógica de Primeira Ordem
Exercícios
11 - Lógica de Descrição
Exercícios
12 - Lógica de Descrição - Tableaux Reasoning
Exercícios
13 - Lógica de Descrição - Tableaux Reasoning
Exercícios
14 - Lógica Não-Monotônica
Exercícios
15 - Lógica Não-Monotônica
Exercícios
16 - Lógica Não-Monotônica
Exercícios
17 - Cálculo Situacional
Introduction
to Prolog / Learn Prolog Now!
Material completo sobre UML e
DL
Plano de aula da
disciplina “INF2217 – Lógica e Especificação” para 2009.2
(clique aqui para voltar ao topo)
Livros
Programação em Lógica e a Linguagem Prolog
Marco A. Casanova, Fernando
Giorno, Antonio L. Furtado
(texto esgotado comercialmente; distribuído
digitalmente para uso acadêmico – aproximadamente 19MB)
(clique aqui para voltar ao topo)
Princípios
de Sistemas de Gerência de Bancos de Dados Distribuídos
Marco A. Casanova e Arnaldo
V. Moura
Selecione o capítulo
desejado da lista:
Prefácio
Capítulo 1 - Conceitos Básicos
Capítulo 2 - Bancos de Dados Distribuídos
Capítulo 3 - Introdução ao Processamento de Consultas
Capítulo 4 - Processamento de Consultas - O Caso Centralizado
Capitulo 5 - Processamento de Consultas - O Caso Distribuído
Capítulo 6 - Introdução à Gerência de Transações
Capítulo 7 - Executando Transações
Capítulo 8 - Controle de Concorrência
Capítulo 9 - Controle de Integridade
(clique aqui para voltar ao topo)