Login / Signup
The Relational Database Engine: An Efficient Validator of Temporal Properties on Event Traces.
Jason Vallet
Aouatef Mrad
Sylvain Hallé
Éric Beaudet
Published in:
EDOC Workshops (2013)
Keyphrases
</>
temporal properties
database engine
model checking
efficient implementation
database systems
relational databases
formal methods
possibility theory
development environment
data model
database
query execution
aggregate functions
relational model
query processor
data management
databases