Semantics and Completeness of Duration Calculus.

Michael R. Hansen Zhou Chaochen

Published in: REX Workshop (1991)

Keyphrases

algebraic structure
logic programming
data quality
process algebra
formal language
formal semantics
database
computational properties
database systems
database query languages
logical framework
proof theoretic
operational semantics
speech acts
semantic representation
formal specification
xml documents
databases