TMQL Formal Semantics

Robert Barta

Oct, 2006

1.0

Abstract

Here we present a first coherent approach to a formal semantics for TMQL, the Topic Maps query language.