Termination of programs in constraint query languages.

A. Ghazal Aris M. Ouksel

Published in: SAC (1994)

Keyphrases

constraint query languages
constraint databases
boolean algebra
expressive power
cardinality constraints
quantifier elimination
datalog queries
relational data model
knowledge base
data model
linear programming
linear constraints
functional programming