Specifications of Errors in Data Types using Conditional Axioms.
Jean-Luc RémyPublished in: ADT (1983)
Keyphrases
- data types
- data structure
- database systems
- user defined
- data model
- database management systems
- database server
- back end
- data manipulation language
- abstract data types
- knowledge base
- databases
- data mining algorithms
- multi dimensional
- metadata
- machine learning
- application programs
- management system
- index structure
- first order logic
- real world
- database objects
- data sets