JCSS, Volume 43

Volume 43, Number 1, August 1991

Selected Papers from PODS 1988

Thanasis Hadzilacos, Vassos Hadzilacos: Transaction Synchronisation in Object Bases. 2-24
Maurice Herlihy, William E. Weihl: Hybrid Concurrency Control for Abstract Data Types. 25-61
Serge Abiteboul, Victor Vianu: Datalog Extensions for Database Queries and Updates. 62-124
Phokion G. Kolaitis, Christos H. Papadimitriou: Why not Negation by Fixpoint? 125-144
Ramsey W. Haddad, Jeffrey F. Naughton: A Counting Algorithm for a Cyclic Binary Query. 145-169
Peter Buneman, Susan B. Davidson, Aaron Watters: A Semantics for Complex Objects and Approximate Answers. 170-218
Richard Hull, Jianwen Su: On the Expressive Power of Database Queries with Intermediate Types. 219-267

Karl R. Abrahamson: Time-Space Tradeoffs for Algebraic Problems on General Sequential Machines. 269-289
Noga Alon, Amotz Bar-Noy, Nathan Linial, David Peleg: A Lower Bound for Radio Broadcast. 290-298
Oscar H. Ibarra, Tao Jiang: Learning Regular Languages from Counterexamples. 299-316
Danny Krizanc: Oblivious Routing with Limited Buffer Capacity. 317-327
Joost Engelfriet, Linda Heyker: The String Generating Power of Context-Free Hypergraph Grammars. 328-360
Sabine Stifter: An Axiomatic Approach to Voronoi-Diagrams in 3D. 361-379
H. Venkateswaran: Properties that Characterize LOGCFL. 380-404

Selected Papers of STOC 1988

Amos Fiat, J. Ian Munro, Moni Naor, Alejandro A. Schäffer, Jeanette P. Schmidt, Alan Siegel: An Implicit Data Structure for Searching a Multikey Table in Logarithmic Time. 406-424
Christos H. Papadimitriou, Mihalis Yannakakis: Optimization, Approximation, and Complexity Classes. 425-440
Mihalis Yannakakis: Expressing Combinatorial Optimization Problems by Linear Programs. 441-466

Regular Articles

Norman E. Fenton, Robin W. Whitty: Program Structures: Some New Characterisations. 467-483
Masami Ito, Helmut Jürgensen, Huei-Jan Shyr, Gabriel Thierrin: Outfix and Infix Codes and Related Classes of Languages. 484-508
Leong Kwan Li: On Computing Decision Regions with Neural Nets. 509-512