Volume 149,
Number 1,
18 September 1995
Selected papers of ICDT 1992
- Peter Buneman, Shamim A. Naqvi, Val Tannen, Limsoon Wong:
Principles of Programming with Complex Objects and Collection Types.
3-48
,
preliminary version:
ICDT 1992:
140-154
- Jan Van den Bussche, Dirk Van Gucht:
The Expressive Power of Cardinality-Bounded Set Values in Object-Based Data Models.
49-66
,
preliminary version:
ICDT 1992:
326-340
- Stéphane Grumbach, Christophe Tollu:
On the Expressive Power of Counting.
67-99
,
preliminary version:
ICDT 1992:
124-139
- Serge Abiteboul, Moshe Y. Vardi, Victor Vianu:
Computing with Infinitary Logic.
101-128
,
preliminary version:
ICDT 1992:
113-123
- Jyrki Kivinen, Heikki Mannila:
Approximate Inference of Functional Dependencies from Relations.
129-149
,
preliminary version:
ICDT 1992:
86-98
- Alan Fekete, Nancy A. Lynch, William E. Weihl:
Hybrid Atomicity for Nested Transactions.
151-178
,
preliminary version:
ICDT 1992:
216-230
- Man Hon Wong, Divyakant Agrawal:
Context-Specific Synchronization for Atomic Data Types in Object-Based Databases.
179-199
,
preliminary version:
ICDT 1992:
201-215
Volume 149,
Number 2,
2 October 1995
- Antonio Brogi, Franco Turini:
Fully Abstract Composition Semantics for an Algebra of Logic Programs.
201-209
- Stefania Costantini:
Contributions to the Stable Model Semantics of Logic Programs with Negation.
231-255
- Uri Abraham:
On Interprocess Communication and the Implementation of Multi-Writer Atomic Registers.
257-298
- Ugo Montanari, Daniel Yankelevich:
Location Equivalence in Parametric Setting.
299-332
- Jules Desharnais, Nadir Belkhiter, Salah Ben Mohamed Sghaier, Fairouz Tchier, Ali Jaoua, Ali Mili, Nejib Zaguia:
Embedding a Demonic Semilattice in a Relational Algebra.
333-360
- Manfred Schmidt-Schauß, Massimo Marchiori, Sven Eric Panitz:
Modular Termination of r-Consistent and Left-Linear Term Rewriting Systems.
361-374
Copyright © Fri Mar 12 17:33:08 2010
by Michael Ley (ley@uni-trier.de)
