Horn Clauses and Database Dependencies
- 1982
- Journal of the ACM
Publications
Date
Featured collections
Popular topics
195 results at Journal of the ACM
Maximum Processing Rates of Memory Bound Systems
- R.M. Bryant
- 1982
- Journal of the ACM
An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
- Yehoshua Sagiv
- Claude Delobel
- et al.
- 1981
- Journal of the ACM
Linear Algorithm for Data Compression via String Matching
- Michael Rodeh
- Vaughan R. Pratt
- et al.
- 1981
- Journal of the ACM
Alternation
- Ashok K. Chandra
- Dexter C. Kozen
- et al.
- 1981
- Journal of the ACM
An On-Line Edge-Deletion Problem
- Shimon Even
- Yossi Shiloach
- 1981
- Journal of the ACM
A Polynomial Solution to the Undirected Two Paths Problem
- Yossi Shiloach
- 1980
- Journal of the ACM
Mean-Value Analysis of Closed Multichain Queuing Networks
- M. Reiser
- S.S. Lavenberg
- 1980
- Journal of the ACM
The Cycle Time Distribution of Exponential Cyclic Queues
- We-Min Chow
- 1980
- Journal of the ACM
GO Is Polynomial-Space Hard
- David Lichtenstein
- Michael Sipser
- 1980
- Journal of the ACM