A Denotational Definition of the Semantics of DRC, A Domain Relational Calculus.
Georges LouisAlain PirottePublished in: VLDB (1982)
Keyphrases
- relational calculus
- operational semantics
- relational algebra
- expressive power
- query language
- complex objects
- relational model
- arithmetic constraints
- database query languages
- normal form
- aggregate functions
- domain specific
- relational data model
- data model
- domain independent
- first order logic
- conceptual model
- database
- formal semantics
- type checking
- semantic information
- transitive closure
- transformation rules
- management system
- relational databases
- data structure