Fine Grained Access Control for Relational Databases by Abstract Interpretation.
Raju HalderAgostino CortesiPublished in: ICSOFT (Selected Papers) (2010)
Keyphrases
- abstract interpretation
- relational databases
- termination analysis
- relational database management systems
- static analysis
- model checking
- active rules
- relational model
- reasoning engine
- sql queries
- dynamic analysis
- database technology
- database schema
- database
- functional dependencies
- databases
- object oriented
- active databases
- storage and retrieval
- keyword search
- xml data
- relational database systems
- xml documents
- access control
- temporal databases
- normal form
- software systems
- software engineering
- data structure
- database systems
- high level