Unification in a Combination of Equational Theories: an Efficient Algorithm.
Alexandre BoudetPublished in: CADE (1990)
Keyphrases
- detection algorithm
- learning algorithm
- objective function
- dynamic programming
- k means
- cost function
- optimization algorithm
- worst case
- probabilistic model
- search space
- computational complexity
- knowledge base
- relational databases
- database
- preprocessing
- optimal solution
- expectation maximization
- computationally efficient
- database systems
- matching algorithm
- space complexity
- equational theories