Experimental evaluation of certification trails using abstract data type validation.
Dwight S. WilsonGregory F. SullivanGerald M. MassonPublished in: COMPSAC (1992)
Keyphrases
- experimental evaluation
- abstract data types
- data types
- relational database systems
- denotational semantics
- data abstraction
- programming language
- object oriented databases
- data model
- relational data model
- type checking
- general purpose
- relational databases
- spatio temporal databases
- high level
- query language
- management system
- database
- database management systems
- preprocessing
- image sequences