A Coinduction Principle for Recursive Data Types Based on Bisimulation
Marcelo P. FiorePublished in: LICS (1993)
Keyphrases
- data types
- database systems
- data structure
- data model
- database management systems
- user defined
- abstract data types
- back end
- database server
- data mining algorithms
- data manipulation language
- database objects
- spatiotemporal data
- nearest neighbor
- information retrieval
- data sets
- programming language
- relational databases
- image processing
- recursive queries
- data formats
- database