Login / Signup
Verifying an infinite family of inductions simultaneously using data independence and FDR.
S. J. Creese
A. W. Roscoe
Published in:
FORTE (1999)
Keyphrases
</>
data independence
databases
database management systems
database systems
data model
database
data analysis
relational databases
model checking
main memory
false discovery rate
data types