Академический Документы
Профессиональный Документы
Культура Документы
Multimdia e GIS
Jairo Coutinho (jco)
CIn-UFPE
variveis: A,B,C,D,E,F
domnio: Da=Db...=Df={green,red,blue}
restries:
A B; A C; A E; B E; B
F; C E; C F; D F; E
F
C
E
F
Paradigmas:
Imperativo x Restries
Funcional
Lgico
OO
Conjuntos
Domnios: (), (), ..., ({f(a, ...,b) / a, ..., b , }
Operadores: inter, union, set-diff, etc
Intervalos
Domnios: [ ] Implementa variveis que variam sobre Inteiros e
Reais. Baseados resolvedores aritmticos.
C P1 ... PN
em lgica de predicados,
necessidade de tratar das
variveis
p(a) q(b,Z), r(Z)
p(X)
Idia da CLP:
gerais
Exemplo de CLP:
dieta em ECLIPSE
Programa
Resoluo
@dieta(X,Y,Z)
X=A, Y=M, Z=D , I+J+K 10 ,I>0,
J>0, K>0 @ entrada(A,I),
principal(M,J), sobremesa(D,K)
X=rabanete, Y=M, Z=D , 1+J+K 10
, J>0, K>0 @ principal(M,J),
sobremesa(D,K)
X=rabanete, Y=M, Z=D , 1+J+K 10
, J>0, K>0 @ carne(M,J),
sobremesa(D,K)
X=rabanete, Y=fil, Z=D, 1+5+K 10
K>0 @ sobremesa(D,K)
X=rabanete, Y=fil, Z=fruta@
Banco de dados
Persistncia
Otimizao de acesso a memria
segundaria
Acesso concorrente
Recuperao
Linguagem de manipulao
BD de resties
Em relacional: (Bruce,Willis,GroupLeader,01/05/90)
Como restries: {(FN,LN,Pos,Date)| FN=Bruce LN=Willis
Pos=GroupLeader Date=01/05/90}
Agentes, armazm e
resolvedores de restries
Armazm:
aplica informao parcial sobre uma varivel, expressa como uma
restrio da mesma
um modelo que trate das restries primitivas de um domnio
aproximao da uma soluo intermediria da consulta corrente
A1
=3
A2
X=1
A3
A4
Y=3 Y=2
X=2 =2
Y=2 Y=3
X
Step
1
2
3
4
Arquiteturas de BD de restries
Acoplamento fraco:
idia: armazenar restries persistentemente num BD relacional
+ reaproveita servios de BD como indexao e otimizao de
acesso a memria secundria e de gerenciamento de transaes
+ desenvolvimento rpido
- overhead de converso de restrio para relao
- ineficincia e perda de significado
Acoplamento forte:
+
+
ECLIPSE/MegaLog
ECLiPSe: linguagem de programao em lgica por restries
implementando CLP(R), CLP(FD), CLP(Intervalos), CLP(Conjuntos),
CLP(Estruturais)
Megalog pode armazenar variveis de restrio e suporta
indexao multidimensional
Falta uma linguagem de consulta de restries integrada,
indexao e otimizao
DISCO
implementadas: intervalos ordenados de inteiros e conjuntos
ordenados
linguagem de consulta baseada na lgica e no-procedimental
usurios pode representar entradas na base usando restries
incorpora vrios mtodos de otimizao
C3
BD de restries:
limitaes do estado da arte
Tcnicas de otimizao ainda no madura para grande
massas de dados
Abordagem de restries puras ainda no fornecem
todas os servios de BD (segurana, transaes etc.)
Pouca integrao com sintaxe e formalismos de massa
Paradigma de programao por restries pouco
divulgado e ensinado
Falta de um padro
Porm:
Inter-relacionamento entre:
informaes representadas por diferentes mdias (ex, legenda de
uma imagem, imagem de texto escaneado)
sincronizao de dados em vrias mdias temporais (ex,
animaes, vdeo)
Armazenamento de informaes
referncias externas
campos longos
uso de funes externas
sistemas extensveis e orientados a objetos
Recuperao de informao
trechos especficos, composio de novas mdias
metaconhecimento
Arquitetura
protocolo de transporte
Ontologia espacial
Indexao multidimensional dos objetos geomtricos
Linguagem de consulta especializada
Abordagens principais:
BDOO: retngulos, polgonos e objetos espaciais mais complexos
so naturalmente representados
BD de restries
representao conjunto de pontos e polgonos de modo natural.
permite a avaliao de predicados consulta espacial como
interseo e distncia.
Otimizao de tcnicas de indexao multidimencional
BD de restries
muitos modelos espaciais, temporais e espao temporais so
casos particulares do modelo abstrato das tuplas generalizadas
Linguagens de restries excelente candidata como lngua franca
para interoperabilidade entre diferentes bancos espaciais,
temporais e espao-temporal
Integrao de dados e
interoperabilidade em BD distribudos
BD de restries generaliza:
BD relacionais
BD dedutivas
BD espaciais
BD temporais
Com pany
F ro m
To
A n d e rs o n
A T& T
1980
1993
B ro w n
IB M
1985
1996
C la rk
Lotus
1990
1991
Representao em tupla
generalizada
r1
l1
p2
p1
t1
10
11
12
ID
x'
y'
x ''
y ''
p1
10
10
10
l1
10
l1
t1
r1
11
11.5
11
r1
11.5
11
11.5
p2
p2
p2
1994-1996
11
10
9
8
7
6
5
4
3
2
1
r1
1995-1996
l1
p2
1991-1996
t1
p1
1975-1990
1980-1986
10
11
12
ID
x'
y'
x ''
y ''
F ro m
To
p1
10
10
10
1980
1986
l1
10
1995
1996
l1
1995
1996
t1
1975
1990
r1
11
1 1 .5
11
1994
1996
r1
1 1 .5
11
1 1 .5
1994
1996
p2
1991
1996
p2
1991
1996
p2
1991
1996
BD de restries: concluso
Estende BD relacionais e dedutivas
Permite implementar elegantemente BD espaciais,
temporais, multimdia e interoperabilidade em BD
distribudas heterogneas
Resolve impedance-mismatch (j que programao por
restries computacionalmente completa)
Reaproveita de tcnicas de IA (busca heurstica),
pesquisa operacional e matemtica para conseguir
eficincia
Vasto leque de aplicaes prticas e industriais
Apenas na fase inicial em termos de:
Implementao de SGBD
Divulgao e ensino do formalismo
Padronizao