Modularising the Specification of a Small Database System in Extended ML.
Edmund KazmierczakPublished in: Formal Aspects Comput. (1992)
Keyphrases
- database systems
- small number
- databases
- maximum likelihood
- database management systems
- query processing
- query optimization
- concurrency control
- multiscale
- user defined
- data model
- data independence
- database
- small size
- query execution
- formal specification
- database applications
- evolutionary algorithm
- computer vision
- artificial intelligence
- information retrieval
- neural network
- real time