Semantics and Expressive Power of a Timed Concurrent Constraint Language.
Frank S. de BoerMaurizio GabbrielliMaria Chiara MeoPublished in: APPIA-GULP-PRODE (1997)
Keyphrases
- expressive power
- constraint language
- query language
- object oriented
- integrity constraints
- computational properties
- disjunctive datalog
- data complexity
- constraint networks
- first order logic
- relational calculus
- process model
- modeling language
- metamodel
- relational algebra
- transitive closure
- database query languages
- petri net
- aggregate functions
- relational databases
- databases
- relational query languages
- recursive queries
- directed acyclic graph
- constraint programming
- data model
- lower bound