MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Measuring Infinite Relations (1995) [21 citations — 4 self]

Download:
Download as a PDF | Download as a PS
by Gabriel Kuper
In ACM Symposium on Principles of Database Systems
http://hawkmail.monmouth.edu/~jchomick/papers-pods95.ps.Z
Add To MetaCart

Abstract:

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. 1

Citations

972 Theory of Linear and Integer Programming – Schrijver - 1986
755 Constraint Logic Programming – Jaffar, Lassez - 1987
337 Constraint Query languages – Kanellakis, Kuper, et al. - 1990
291 The CLP(R ) language and system – Jaffar, Michaylov, et al. - 1992
122 Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions – Klug - 1982
107 Constraint Databases – Benedikt, Libkin - 2000
87 Towards a theory of spatial database queries. Extended abstract – Paredaens, Bussche, et al. - 1994
67 Handling Infinite Temporal Data – Kabanza, Stevenne, et al. - 1995
64 Constraint programming and database query languages – Kanellakis, Goldin - 1994
58 Finitely Representable databases – Grumbach, Su - 1994
53 Pushing Constraint Selections – Srivastava, Ramakrishnan - 1992
36 Toward practical constraint databases – Brodsky, Jaffar, et al. - 1993
35 A canonical form for generalized linear constraints – Lassez, McAloon - 1992
35 Subsumption and indexing in constraint query languages with linear arithmetic constraints – Srivastava - 1993
34 On the Complexity of Some Basic Problems in Computational Convexity: II. Volume and Mixed Volumes – Gritzmann, Klee - 1994
31 Datalog with integer periodicity constraints – Toman, Chomicki, et al. - 1994
23 Fourier-Motzkin elimination extension to integer programming problems – Williams - 1976
22 Querying Constraints – Lassez - 1990
16 Separability of polyhedra for optimal filtering of spatial and constraint data – BRODSKY, LASSEZ, et al. - 1995
15 Linear vs. Polynomial Constraints in Database Query Languages – Afrati, Cosmadakis, et al. - 1994
5 The LyriC Language: Constraining Objects – Brodsky, Kornatzky - 1995
2 Reasoning about Cryptographic Protocols – Toussaint, Wolper - 1989
1 0 \Gamma 1 Laws in Logic and Combinatorics – Compton - 1989