Especificação de um Protocolo de Comunicação Comercial em Join-Calculus.

Lucy Mari Tabuti Ana Cristina Vieira de Melo

Published in: SBES Companion (2000)

Keyphrases

expectation maximization
em algorithm
join algorithms
query optimization
probabilistic model
join processing
unsupervised learning

computer algebra
expectation maximisation
query processing
maximum likelihood
mixture model
algebraic structure
cartesian product

automated deduction
join operations
generative model
sort merge
data sets
gradient projection

provably correct
natural deduction
formal language
database systems
neural network
databases