Semi-strong Static Type Checking of Object-Oriented Query Languages.
Michal LentnerKrzysztof StencelKazimierz SubietaPublished in: SOFSEM (2006)
Keyphrases
- query language
- object oriented
- type checking
- relational calculus
- database query languages
- data model
- relational algebra
- data types
- expressive power
- abstract data types
- database applications
- relational databases
- object model
- query processor
- database design
- database
- query evaluation
- conceptual model
- relational data model
- programming language
- user defined
- relational model
- complex objects
- object oriented databases
- recursive queries
- data warehousing
- entity relationship
- database technology
- xml data
- software engineering
- database systems
- databases