Integrity Constraint Verification of Structured Query Language by Abstract Interpretation.
Anwesha KashyapAngshuman JanaPublished in: OCIT (2022)
Keyphrases
- structured query language
- integrity constraints
- abstract interpretation
- database schema
- active rules
- model checking
- relational databases
- static analysis
- active databases
- deductive databases
- functional dependencies
- query language
- relational model
- object oriented databases
- database technology
- database applications
- business rules
- relational algebra
- data types
- xml schema
- xml documents
- database
- database design
- temporal databases
- source code
- data model
- databases
- business processes