The NDB Database Specified in the RAISE Specification Language.
Chris GeorgePublished in: Formal Aspects Comput. (1992)
Keyphrases
- specification language
- database
- databases
- database systems
- description language
- formal specification
- programming language
- relational databases
- data sets
- database applications
- data management
- artificial intelligence
- symbolic execution
- requirements specification
- object oriented
- database management systems
- query language
- model checking
- data model
- expert systems