Login / Signup
A Semantic Condition for Data Independence and Applications in Hardware Verification.
Lyes Benalycherif
Anthony McIsaac
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
data independence
databases
database management systems
database systems
low cost
data model
semantic information
real time
model checking
database
sufficient conditions
management system
data analysis
semantic web
query optimization