Especificação de um Protocolo de Comunicação Comercial em Join-Calculus.
Lucy Mari TabutiAna Cristina Vieira de MeloPublished 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