Algebraic (?) Specification of Conceptual Database Schemata.
Hans-Dieter EhrichPublished in: ADT (1984)
Keyphrases
- database schemata
- conceptual model
- formal specification
- specification language
- conceptual models
- databases
- related concepts
- higher order
- knowledge structures
- narrative generation
- database
- asynchronous circuits
- operational semantics
- formal verification
- linear algebra
- entity relationship
- natural language
- search algorithm
- website
- image processing
- machine learning
- data sets