Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper).
Dines BjørnerHans Henrik LøvengreenPublished in: VLDB (1982)
Keyphrases
- invited paper
- database systems
- e learning
- query optimization
- data types
- databases
- data model
- database management systems
- data management
- learning management systems
- query processing
- database design
- lecture notes
- database
- database applications
- relational database systems
- computer science
- operational semantics
- control system
- information technology
- concurrency control
- formal model