Download:
|
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
|