Proving correctness for SQL implementations of OCL constraints.
Hoang Nguyen Phuoc BaoManuel ClavelPublished in: CoRR (2024)
Keyphrases
- constraint language
- relational databases
- query language
- database design
- database management
- back end
- constraint satisfaction
- database
- sql queries
- global constraints
- database applications
- database language
- data types
- expressive power
- integrity constraints
- metamodel
- constrained optimization
- linear constraints
- database access
- databases