Login / Signup
Multiplex: A Formal Model for Multidatabases and Its Implementation.
Amihai Motro
Published in:
NGITS (1999)
Keyphrases
</>
formal model
predicate calculus
formal models
security properties
real time
databases
efficient implementation
data sets
security patterns
data model