36 search results - page 1 / 8 » Authorization Analysis of Queries in Object-Oriented Databas... |
DOOD
1995
Springer
13 years 8 months ago
1995
Springer
Abstract. A simple model for method-based authorization is defined and an algorithm is presented for testing in compile-time whether a given database schema violates authorization...
RIDE
1995
IEEE
13 years 8 months ago
1995
IEEE
FMLDO
1990
Springer
13 years 8 months ago
1990
Springer
Object-oriented database systems (ooDBMSs) are supposed to offer at least the functionality available in commercial relational DBMSs of today. One important consequence of this is...
TACAS
1999
Springer
13 years 8 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
IADT
1998
13 years 5 months ago
1998
Conventional image processing algorithms used to compare images are very timeconsuming, making them inappropriate for use in searching for an image in a huge collection of images ...