A Query Language Based on the Ambient Logic.

Luca Cardelli Giorgio Ghelli

Published in: ESOP (2001)

Keyphrases

query optimization
query language
xml data
database systems
data model
query evaluation
object oriented
expressive power

logic programming
classical logic
modal logic
relational algebra
ambient intelligence
multi valued
computational properties
complex objects

algebraic operators
conjunctive queries
database
defeasible logic
digital circuits
formal theory
asynchronous circuits
intelligent environments

automated reasoning
logic programs
rdf data
logical framework
programming language
artificial intelligence
proof theory
real time