Derivation of an Efficient Rule System Pattern Matcher
Formalizing algorithm derivations is a necessary prerequisite for developing automated algorithm design systems. This report describes a derivation of an algorithm for incrementally matching conjunctive patterns against a growing database. This algorithm, which is modeled on the Rete matcher...
| Autor principal: | |
|---|---|
| Idioma: | en_US |
| Publicado em: |
2004
|
| Acesso em linha: | http://hdl.handle.net/1721.1/6979 |