Behavioral Oscillations in Verification of Relational Role Bindings.

Yujia Peng Pratyusha Javangula Hongjing Lu Keith J. Holyoak

Published in: CogSci (2018)

Keyphrases

relational databases
model checking
relational data
database
information systems
formal verification
databases
real world
high frequency
database schema
low frequency
face verification