Relational Specifications and Observational Semantics.
Egidio AstesianoGianna ReggioMartin WirsingPublished in: MFCS (1986)
Keyphrases
- specification language
- operational semantics
- relational databases
- formal semantics
- control flow
- relational operators
- data model
- attribute grammars
- database query languages
- formal language
- semantic information
- delay insensitive
- aggregate functions
- asynchronous circuits
- relational query languages
- high level
- algebraic operations
- conceptual schema
- relational model
- experimental data
- logic programming
- natural language