Parameter Preserving Data Type Specifications.

Published in: TAPSOFT, Vol.1 (1985)

Keyphrases

data types
data model
data structure
user defined
database systems
database management systems
high level
data formats
abstract data types
type checking
databases
software engineering
parameter values
database server
formal specification
stored procedures