Large Database Specification from Small Views.
Samit KhoslaT. S. E. MaibaumM. R. SadlerPublished in: FSTTCS (1985)
Keyphrases
- database
- databases
- database management systems
- database systems
- query language
- database views
- database management
- small number
- relational databases
- computer vision
- high level
- data sets
- data model
- learning algorithm
- data mining
- neural network
- database schema
- object model
- business rules
- active databases
- specification language
- formal verification