Login / Signup
The formalisation of ROCK & ROLL: A deductive object-oriented database system.
Alvaro A. A. Fernandes
Maria L. Barja
Norman W. Paton
M. Howard Williams
Published in:
Inf. Softw. Technol. (1997)
Keyphrases
</>
object oriented database systems
object oriented
object oriented databases
database systems
formal analysis
concurrency control
data model
high speed
abductive inference
relational databases
deductive reasoning
artificial intelligence
database design
relational database systems
data mining