REVEUR 4: A System for Validating Conditional Algebraic Specifications of Abstract Data Types.
Jean-Luc RémyHantao ZhangPublished in: ECAI (1984)
Keyphrases
- abstract data types
- data types
- object oriented databases
- programming language
- data abstraction
- relational database systems
- data model
- spatial aggregation
- high level
- database
- formal specification
- sets of probability measures
- spatio temporal data
- relational databases
- database management systems
- algebraic structure
- preprocessing
- data structure
- similarity measure
- database systems
- data mining
- databases