Formal Semantics for Time in Databases.
James CliffordDavid Scott WarrenPublished in: ACM Trans. Database Syst. (1983)
Keyphrases
- formal semantics
- databases
- database
- logical language
- operational semantics
- logical reasoning
- er model
- modelling language
- relational databases
- data warehouse
- ontology languages
- data sources
- data integration
- first order logic
- formal language
- owl dl ontology
- speech acts
- data model
- database systems
- modeling language
- data types
- data management