On the Algebraic Specification of Databases.
Walter DoschGianfranco MascariMartin WirsingPublished in: VLDB (1982)
Keyphrases
- databases
- database
- knowledge discovery
- higher order
- relational databases
- data sets
- search algorithm
- specification language
- data retrieval
- formal specification
- database queries
- model checking
- software development
- artificial neural networks
- data analysis
- database systems
- high level
- case study
- multimedia
- image processing
- genetic algorithm
- machine learning