An Introduction to the Formal Specification of Relational Query Languages.
Raymond TurnerBarry G. T. LowdenPublished in: Comput. J. (1985)
Keyphrases
- formal specification
- relational query languages
- expressive power
- model checking
- object oriented design
- relational data
- specification language
- specification languages
- query language
- process algebra
- relational model
- reverse engineering
- relational algebra
- formal methods
- data abstraction
- concurrent systems
- software components
- formal specification language
- multi agent
- spatial databases
- complex objects
- knowledge representation
- data model
- xml documents
- relational databases