Variable set semantics for keyed generalized sketches: formal semantics for object identity and abstract syntax for conceptual modeling.
Zinovy DiskinBoris KadishPublished in: Data Knowl. Eng. (2003)
Keyphrases
- database schema
- formal semantics
- object oriented
- er model
- conceptual modeling
- relational databases
- object identity
- database
- logical language
- object oriented databases
- operational semantics
- ontology languages
- data model
- relational database systems
- modeling language
- first order logic
- high level
- conceptual model
- complex objects
- data mining
- databases
- conceptual models
- information systems
- abstract data types