Semantics and Probelms of Universal Quantification in SQL.
Mauro NegriGiuseppe PelagattiLicia SbattellaPublished in: Comput. J. (1989)
Keyphrases
- relational calculus
- query language
- relational algebra
- universal quantification
- expressive power
- referential integrity
- relational databases
- structured query language
- relational model
- complex objects
- database
- databases
- sql queries
- relational data model
- logic programming
- sql server
- database applications
- conceptual model
- data types
- database design
- first order logic
- relational database systems
- data integrity
- database programming
- data management
- data model