Sampling Semantics of Duration Calculus.

Dang Van Hung Phan Hong Giang

Published in: FTRTFT (1996)

Keyphrases

algebraic structure
formal language
relational calculus
database query languages
formal semantics
logic programming
random sampling
process algebra
relational algebra
expressive power
sample size
conceptual model
default reasoning
sampling methods
sampling strategy
proof procedure
model checking