TY - GEN
T1 - Measuring infinite relations
AU - Chomicki, Jan
AU - Kuper, Gabriel
PY - 1995
Y1 - 1995
N2 - We define a new aggregation operator μn for constraint databases that makes it possible to measure 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 μn is closed in the real case and, under certain restrictions, in the integer case as well.
AB - We define a new aggregation operator μn for constraint databases that makes it possible to measure 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 μn is closed in the real case and, under certain restrictions, in the integer case as well.
UR - https://www.scopus.com/pages/publications/0029193407
U2 - 10.1145/212433.212455
DO - 10.1145/212433.212455
M3 - Conference contribution
AN - SCOPUS:0029193407
T3 - Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
SP - 78
EP - 85
BT - Proceedings of the 14th ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, PODS 1995
PB - ACM
T2 - 14th ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, PODS 1995
Y2 - 22 May 1995 through 25 May 1995
ER -