Measuring infinite relations
Jan Chomicki, Gabriel M. Kuper · 1995
We define a new aggregation operator P. for constraint databases that makesit possible tomeasure infinite subsets of the n-dimensional space defined by constraints.We show that it is well defined for real linear arithmetic constraints and integer linear arithmetic constraints together with periodicity constraints.We also show that relational algebra augmented with .LL. is closed in the real case and, under certain restrictions, in the integer case as well.