On the expressive power of datalog: Tools and a case study
- Phokion G. Kolaitis
- Moshe Y. Vardi
- 1995
- Journal of Computer and System Sciences
Publications
Date
Featured collections
Popular topics
113 results at Journal of Computer and System Sciences
Competitive paging with locality of reference
- Allan Borodin
- Sandy Irani
- et al.
- 1995
- Journal of Computer and System Sciences
Clique partitions, graph compression and speeding-up algorithms
- Tomás Feder
- Rajeev Motwani
- 1995
- Journal of Computer and System Sciences
Specified precision polynomial root isolation is in NC
- C. Andrew Neff
- 1994
- Journal of Computer and System Sciences
Datalog vs first-order logic
- Miklos Ajtai
- Yuri Gurevich
- 1994
- Journal of Computer and System Sciences
Logical query optimization by proof-tree transformation
- Raghu Ramakrishnan
- Yehoshua Sagiv
- et al.
- 1993
- Journal of Computer and System Sciences
Deterministic sorting in nearly logarithmic time on the hypercube and related computers
- Robert Cypher
- C.Greg Plaxton
- 1993
- Journal of Computer and System Sciences
A new fixed point approach for stable networks and stable marriages
- Tomás Feder
- 1992
- Journal of Computer and System Sciences
Lower bounds on the length of universal traversal sequences
- Allan Borodin
- Walter L. Ruzzo
- et al.
- 1992
- Journal of Computer and System Sciences
Trade-offs between communication and space
- Tak Lam
- Prasoon Tiwari
- et al.
- 1992
- Journal of Computer and System Sciences