Formal Semantics for Time in Databases.

James Clifford David Scott Warren

Published in: XP2 Workshop on Relational Database Theory (1981)

Keyphrases

formal semantics
databases
database
logical language
er model
operational semantics
modelling language
formal language
logical reasoning
speech acts
relational databases
database applications
first order logic
modeling language
database systems
data warehouse
theorem prover
data model
case study