Making Arbitrary Relational Calculus Queries Safe-Range.
Martin RaszykDmitriy TraytelPublished in: Arch. Formal Proofs (2022)
Keyphrases
- relational calculus
- relational algebra
- expressive power
- query language
- complex objects
- relational model
- relational data model
- arithmetic constraints
- data model
- normal form
- first order logic
- aggregate functions
- transitive closure
- relational database systems
- database query languages
- type checking
- relational databases
- universal quantification
- user defined
- query evaluation
- databases
- database
- functional dependencies
- data structure
- data mining
- object oriented databases
- database technology
- conceptual model
- knowledge representation
- management system