A Closed-Form Evaluation for Datalog Queries with Integer (Gap)-Order Constraints.

Peter Z. Revesz

Published in: Theor. Comput. Sci. (1993)

Keyphrases

closed form
datalog queries
closed form solutions
cardinality constraints
special case
probabilistic model
probability distribution
logic programming
point correspondences
recursive queries