Information Systems , Volume 8, 1983

Volume 8, Number 1

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

Hugh Noble: The automatic generation of test data for a relational database. 79-86 BibTeX
Bengt G. Lundberg: On Correctness of Information Models. 87-93 BibTeX
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 BibTeX
Stavros Christodoulakis: Estimating record selectivities. 105-115 BibTeX
Dirk Vermeir: Semantic hierarchies and abstractions in conceptual schemata. 117-124 BibTeX
Wolfgang Weber, Wolffried Stucky, Jakob Karszt: Integrity checking in data base systems. 125-136 BibTeX
Hannu Erkiö, Risto Terkki: Binary search with variable-length keys within an index page. 137-140 BibTeX

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

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