Type theoretical databases.
Henrik ForssellHåkon Robbestad GylterudDavid I. SpivakPublished in: J. Log. Comput. (2020)
Keyphrases
- databases
- data model
- theoretical analysis
- database applications
- real time
- database queries
- relational databases
- database
- information systems
- empirical findings
- neural network
- data management
- knowledge discovery
- probabilistic model
- mobile robot
- theoretical basis
- computer vision
- metadata
- hidden markov models
- knowledge base
- expert systems
- data streams
- database systems
- three dimensional