Álgebra de Imieliński - Lipski

Content

Álgebra de Table Tables

A Álgebra de Table-Tables é baseada nos valores nulos de Singe do Codd usual. A tabela T acima é um exemplo de tabela CODD. A álgebra da mesa de CODD suporta apenas a projeção e seleções positivas. Também é demonstrado em [IL84 que não é possível estender corretamente mais operadores relacionais a Tables Codd. Por exemplo, essa operação básica como junção não é extensível em relação às mesas de codd. Não é possível definir seleções com condições booleanas envolvendo negação e preservar a integridade. Por exemplo, consultas como a consulta acima q não podem ser suportadas. Em que seja capaz de estender mais operadores relacionais, é necessária uma forma mais expressiva de representação de valor nulo em tabelas que são chamadas de tabela V.

Álgebra V-Tables

A álgebra V-Tables é baseada em muitos valores nulos diferentes ("marcados") ou variáveis ​​nulas permitidas em uma tabela. Tables em V permitem mostrar que um valor pode ser desconhecido, mas o mesmo para tuplas diferentes. Por exemplo, na tabela abaixo de Gaurav e Igor, pedem a mesma cerveja (mas desconhecida) em dois bares desconhecidos (que podem ou não ser diferentes - mas permanecem desconhecidos). Gaurav e Jane freqüentam a mesma barra desconhecida (Y1). Assim, em vez disso, um valor nulo, usamos variáveis ​​indexadas ou constantes skolem.

DRINKERBEERBARZhihanHeinekenCabanaGauravX1Y1IgorX1Y2JaneBudY1JohnX2Y3

A Álgebra V-Tables é mostrada para apoiar corretamente a projeção, a seleção positiva (sem negação ocorrendo na condição de seleção), união e renomeação de atributos, o que permite o processamento de consultas conjuntivas arbitrárias. é que todos os operadores relacionais nas tabelas são realizados exatamente da mesma maneira que no caso das relações usuais.

Álgebra de Tabelas Condicionais (Tables)

Exemplo de tabela condicional (tabela C) é mostrada abaixo.

NAMECLASSGRADESEMESTERconRohitDatabasesBSpringtrueIgorNetworksAxx = 'Spring'IgorNetworksAxx <> 'Spring'

Possui coluna adicional "CON", que é uma condição booleana que envolve variáveis, valores nulos-iguais aos de Tables.

Selecione * de t onde (class = 'redes' e semestre = 'primavera') ou (grau = 'a' e semestre <> 'primavera')

sobre a tabela C a seguir

T1=NAMECLASSGRADESEMESTERconRohitDatabasesBSpringtrueIgorNetworksAxtrue

As tabelas condicionais álgebra, principalmente de interesse teórico, apóiam projeção, seleção, união, junção e renomeação. Sob suposição de mundo fechado, ele também pode lidar com o operador da diferença, portanto, pode suportar todos os operadores relacionais.

História

As álgebras de Imieliński -Lipski foram introduzidas por Tomasz Imieliński e Witold Lipski Jr. em informações incompletas em bancos de dados relacionais.

Leitura adicional

Abiteboul, S.; Kanellakis, P.; Grahne, G. (1991). "On the representation and querying of sets of possible worlds" (PDF). Theoretical Computer Science. 78 (1): 159–187. doi:10.1016/0304-3975(51)90007-2.Abiteboul, S.; Duschka, O.M. (1998). "Complexity of Answering Queries Using Materialized Views". Proc. ACM SIGMOD-SIGACT-SIGART, PODS: 254–263. CiteSeerX 10.1.1.92.2956.Green, T.J.; Karvounarakis, G.; Tannen, Val (2007). "Provenance Semiring". Proc. ACM SIGMOD-SIGACT-SIGART, PODS: 31–40.Karvounarakis, G.; Green, T.J. (2012). "Semiring-Annotated Data: Queries and Provenance" (PDF). ACM SIGMOD. 41 (3): 5–14. doi:10.1145/2380776.2380778. S2CID 11600847.T.J. Green (2009). Models for Incomplete and Probabilistic Information; Chapter 2, in Managing and Mining Uncertain Data. Springer Link.Grahne, G.; Kiricenko, V. (Nov 2004). "Towards an algebraic theory of information integration" (PDF). Information and Computation. 194 (2): 79–100. doi:10.1016/j.ic.2004.07.003.