A Proof System with Bounded Non-determinism in Database Transformations.

Published in: SDKB (2010)

Keyphrases

database
databases
database management systems
indexing techniques
database systems
data management
database queries
data sets
neural network
database management
data structure
modal logic
query language
relational databases
face recognition
image sequences
artificial intelligence
real time