A Formal Approach to the Semantics of a Frame Data Model.
Ulrich ReimerUdo HahnPublished in: IJCAI (1983)
Keyphrases
- data model
- operational semantics
- algebraic operators
- semantic mapping
- conceptual model
- model theoretic
- formal language
- database management systems
- relational data model
- query language
- database systems
- databases
- formal semantics
- data integration
- machine processable
- object oriented
- database design
- highly expressive
- database
- relational model
- definition language
- data types
- conceptual schema
- semi structured
- formal specification
- frame rate
- relational algebra
- dynamic aspects
- specification languages
- object oriented data models
- logic programming
- image frames
- entity relationship
- xml documents
- query processing
- formal languages
- relational databases
- data sources
- mathematical theory
- communicative acts
- formal model