An equational logic based approach to the security problem against inference attacks on object-oriented databases.
Yasunori IshiharaToshiyuki MoritaHiroyuki SekiMinoru ItoPublished in: J. Comput. Syst. Sci. (2007)
Keyphrases
- object oriented databases
- object oriented
- object oriented database systems
- database languages
- distributed databases
- theorem proving
- horn clauses
- object oriented database model
- logic programming
- object identity
- database technology
- relational model
- data abstraction
- data mining query language
- databases
- abstract data types