Semantics for Analytic Containment.

Fabrice Correia

Published in: Stud Logica (2004)

Keyphrases

query containment
formal semantics
logic programming
operational semantics
conjunctive queries
object oriented
default reasoning
model checking
regular path queries
transformation rules
schema mappings
database
semantic information
artificial intelligence
learning algorithm
neural network
data sets
real time