Matching and Unification for the Object-Oriented Symbolic Computation System AlgBench.
Georgios GrivasRoman MaederPublished in: DISCO (1993)
Keyphrases
- object oriented
- matching algorithm
- pattern matching
- matching process
- relational databases
- feature points
- object oriented database systems
- data sets
- image matching
- programming language
- data model
- data management
- database applications
- higher order
- template matching
- data warehousing
- graph matching
- object oriented databases
- case study
- object oriented programming
- design patterns
- theorem prover
- artificial intelligence