Modularizing the Formal Description of a Database System.
John S. FitzgeraldCliff B. JonesPublished in: VDM Europe (1990)
Keyphrases
- database systems
- databases
- database management systems
- data model
- data management
- formal specification
- database technology
- query optimization
- transaction management
- database server
- relational database systems
- data manipulation language
- data types
- database design
- database
- query processing
- multi agent systems
- decision trees
- knowledge base
- spatial data management
- storage management
- object oriented database systems
- management system
- computer vision
- website