A Confluent Relational Calculus for Higher-Order Programming with Constraints.

Joachim Niehren Gert Smolka

Published in: CCL (1994)

Keyphrases

higher order
relational calculus
relational algebra
expressive power
arithmetic constraints
programming language
query language
complex objects
relational model
constraint satisfaction
normal form
machine learning
database systems
management system
general purpose