Information Systems , Volume 8, 1983

Volume 8, Number 1

• Jack Minker, Jean-Marie Nicolas:
  On recursive axioms in deductive databases. 1-13
  
• Nancy G. Leveson, Anthony I. Wasserman, Daniel M. Berry:
  BASIS: A Behavioral Approach to the Specification of Information Systems. 15-23
  
• George Loizou, Peter Thanisch:
  Testing a dependency-preserving decomposition for losslessness. 25-27
  
• Kazimierz Subieta:
  Navigational facilities for relational data base. 29-36
  
• R. K. Arora, N. K. Sharma:
  A methodology to solve distributed termination problem - A short note. 37-39
  
• A. Bolour, L. J. Dekeyser:
  Abstractions in temporal information. 41-49
  
• Dennis G. Severance:
  A practitioner's guide to data base compression - Tutorial. 51-62
  

Volume 8, Number 2

• Hugh Noble:
  The automatic generation of test data for a relational database. 79-86
  
• Bengt G. Lundberg:
  On Correctness of Information Models. 87-93
  
• Reind P. van de Riet, Martin L. Kersten, Wiebren de Jonge, Anthony I. Wasserman:
  Privacy and security in information systems using programming language features. 95-103
  
• Stavros Christodoulakis:
  Estimating record selectivities. 105-115
  
• Dirk Vermeir:
  Semantic hierarchies and abstractions in conceptual schemata. 117-124
  
• Wolfgang Weber, Wolffried Stucky, Jakob Karszt:
  Integrity checking in data base systems. 125-136
  
• Hannu Erkiö, Risto Terkki:
  Binary search with variable-length keys within an index page. 137-140
  

Volume 8, Number 3

• Timo Niemi:
  A seven-tuple representation for hierarchical data structures. 151-157
  
• Michael Hatzopoulos, John G. Kollias:
  A dynamic model for the optimal selection of secondary indexes. 159-164
  
• Billy G. Claybrook:
  Defining database views as data abstractions in EXT_Pascal. 165-176
  
• Zbigniew Michalewicz:
  Inference control in statistical databases with incomplete information. 177-185
  
• Ronald M. Lee:
  Applications software and orgnizational change: Issues in the representation of knowledge. 187-194
  
• Jeffrey E. Kottemann, Benn R. Konsynski:
  Complexity assessment: a design and management tool for information system development. 195-206
  
• Haim Mendelson:
  Analysis of linear probing with buckets. 207-216
  
• Michel Lacroix, Alain Pirotte:
  Comparsing of database intervaces for application programming. 217-229
  
• Pankaj Goyal:
  Coding methods for text string search on compressed databases. 231-233
  

Volume 8, Number 4

• James A. Larson:
  Granting and revoking discretinary authority. 251-261
  
• Antoni Olivé:
  Input output timing in information systems. 263-272
  
• Ron Sacks-Davis, Kotagiri Ramamohanarao:
  A two level superimposed coding scheme for partial match retrieval. 273-289
  
• Francesco M. Malvestuto:
  Theory of random observables in relational data bases. 281-289
  
• Georg Lausen:
  Formal aspects of optimistic concurrency control in a multiple version database system. 291-301
  
• Franco Crivellari, Francesco dalla Libera, S. Frasson, Fabio A. Schreiber:
  Computation of statistical functions in distributed information systems. 303-308
  
• Krithi Ramamritham:
  Correctness of a distributed transaction system. 309-325
  

Last update Sat May 25 20:35:41 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page