Login / Signup
A Temporal Framework for Database Specification and Verification.
David Chenho Kung
Published in:
VLDB (1984)
Keyphrases
</>
database
spatio temporal
formal verification
data mining
database systems
spatial and temporal
conceptual model
conceptual framework
neural network
case study
relational databases
database management systems
theoretical framework
model checking