Publications

9 results for Gabriel M. Kuper

Constraint Query Languages
- - Paris C. Kanellakis
  - G.M. Kuper
  - et al.
- 1995
- Journal of Computer and System Sciences
Paper
On the complexity of queries in the logical data model
- - Gabriel M. Kuper
  - Moshe Y. Vardi
- 1993
- Theoretical Computer Science
Paper
The logical data model
- - Gabriel M. Kuper
  - Moshe Y. Vardi
- 1993
- ACM Transactions on Database Systems (TODS)
Paper
A note on the parallel complexity of anti-unification
- - G.M. Kuper
  - Ken McAloon
  - et al.
- 1992
- Journal of Automated Reasoning
Paper
Logic programming with sets
- - Gabriel M. Kuper
- 1990
- Journal of Computer and System Sciences
Paper
On the Expressive Power of Logic Programming Languages with Sets
- - Gabriel M. Kuper
- 1988
- SIGMOD/PODS/ 1988
Conference paper
SYSTEM/U: A database system based on the universal relation assumption
- - Henry F. Korth
  - Gabriel M. Kuper
  - et al.
- 1984
- ACM Transactions on Database Systems (TODS)
Paper
A new approach to database logic
- - Gabriel M. Kuper
  - Moshe Y. Vardi
- 1984
- SIGMOD/PODS 1984
Conference paper
On the equivalence of logical databases
- - Gabriel M. Kuper
  - Jeffrey D. Ullman
  - et al.
- 1984
- SIGMOD/PODS 1984
Conference paper