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