Formal semantics and analysis of object queries.

Gavin M. Bierman

Published in: SIGMOD Conference (2003)

Keyphrases

formal semantics
query language
database
data objects
artificial intelligence
case study
query processing
data model
query evaluation
complex objects
formal language
modelling language
uncertain databases