Construction and Calculus of Types for Database Systems.

David W. Stemple Tim Sheard

Published in: DBPL (1987)

Keyphrases

database systems
query optimization
data sets
databases
construction process
database technology
multiscale
evolutionary algorithm
data model
response time
data management
database management systems
database applications
machine learning
neural network
theorem proving
database server
database