JCSS, Volume 51

Volume 51, Number 1, August 1995

Selected Papers of PODS 1990

Yehoshua Sagiv: Editor's Forword. 1 BibTeX
Froduald Kabanza, Jean-Marc Stévenne, Pierre Wolper: Handling Infinite Temporal Data. 3-17 BibTeX
Richard J. Lipton, Jeffrey F. Naughton: Query Size Estimation by Adaptive Sampling. 18-25 BibTeX
Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz: Constraint Query Languages. 26-52 BibTeX
Divyakant Agrawal, Amr El Abbadi: Constrained Shared Locks for Increased Concurrency in Databases. 53-63 BibTeX
John S. Schlipf: The Expressive Powers of the Logic Programming Semantics. 64-86 BibTeX
Yatin P. Saraiya: On the Efficiency of Transforming Database Logic Programs. 87-109 BibTeX
Phokion G. Kolaitis, Moshe Y. Vardi: On the Expressive Power of Datalog: Tools and a Case Study. 110-134 BibTeX

Alberto O. Mendelzon: Editor's Foreword. 135 BibTeX
S. Seshadri, Jeffrey F. Naughton: On the Expected Size of Recursive Datalog Queries. 137-148 BibTeX
Stéphane Grumbach, Victor Vianu: Tractable Query Languages for Complex Object Databases. 149-167 BibTeX
Donald B. Johnson, Larry Raab: A Tight Upper Bound on the Benefits of Replica Control Protocols. 168-176 BibTeX
Foto N. Afrati, Stavros S. Cosmadakis, Mihalis Yannakakis: On Datalog vs. Polynomial Time. 177-196 BibTeX
Richard Helm, Kim Marriott, Martin Odersky: Spatial Query Optimization: From Boolean Constraints to Range Queries. 197-210 BibTeX
Hector Garcia-Molina, Kenneth Salem: Non-deterministic Queue Operations. 211-222 BibTeX
Catriel Beeri, Tova Milo: Subtyping in OODBs. 223-243 BibTeX
Sumit Ganguly, Sergio Greco, Carlo Zaniolo: Extrema Predicates in Deductive Databases. 244-259 BibTeX
Tomás Feder, Rajeev Motwani: Clique Partitions, Graph Compression and Speeding-Up Algorithms. 261-272 BibTeX
Ganesh Baliga, John Case, Sanjay Jain: Language Learning with Some Negative Information. 273-285 BibTeX
Richard L. Cole, Ofer Zajicek: The Expected Advantage of Asynchrony. 286-300 BibTeX

Selected Papers of STOC 1992

Wolfgang Maass: Editor's Foreword. 339 BibTeX
Yair Bartal, Amos Fiat, Yuval Rabani: Competitive Algorithms for Distributed Data Management. 341-358 BibTeX
Yair Bartal, Amos Fiat, Howard J. Karloff, Rakesh Vohra: New Algorithms for an Ancient Scheduling Problem. 359-366 BibTeX
Avrim Blum, Steven Rudich: Fast Learning of k-Term DNF Formulas with Queries. 367-373 BibTeX
Michael T. Goodrich: Planar Separators and Parallel Polygon Triangulation. 374-389 BibTeX
Jeff Kahn, Jeong Han Kim: Entropy and Sorting. 390-399 BibTeX
Raimund Seidel: On the All-Pairs-Shortest-Path Problem in Unweighted Undirected Graphs. 400-403 BibTeX

Regular Articles

Tomasz Imielinski, Ron van der Meyden, Kumar V. Vadaparty: Complexity Tailored Design: A New Design Methodology for Databases With Incomplete Information. 405-432 BibTeX
Serge Abiteboul, Paris C. Kanellakis, Sridhar Ramaswamy, Emmanuel Waller: Method Schemas. 433-455 BibTeX
Changho Seo, Jongin Lim, Hichum Eun: On Comparison and Analysis of Algorithms for Multiplication in GF(2^m). 456-459 BibTeX
Jirí Adámek, Evelyn Nelson, Jan Reiterman: Continuous Algebras Revisited. 460-471 BibTeX
Konstantin Skodinis, Egon Wanke: Emptiness Problems of eNCE Graph Languages. 472-485 BibTeX
Camino R. Vela, Antonio Bahamonde: The Best Nondeterministic Representations of Finite Orderings. 486-494 BibTeX
Yosi Ben-Asher, Ilan Newman: Decision Trees with Boolean Threshold Queries. 495-502 BibTeX
Takao Asano: An O(n log log n) Time Algorithm for Constructing a Graph of Maximum Connectivity with Prescribed Degrees. 503-510 BibTeX
Nadia Creignou: A Dichotomy Theorem for Maximum Generalized Satisfiability Problems. 511-522 BibTeX
Jan Chomicki, Damian Niwinski: On the Feasibility of Checking Temporal Integrity Constraints. 523-535 BibTeX