researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Inf. Syst.
Home
Index
Info
Issue
Volume
8
, Issue
1
1
--
13
Jack Minker
,
Jean-Marie Nicolas
.
On recursive axioms in deductive databases
15
--
23
Nancy G. Leveson
,
Anthony I. Wasserman
,
Daniel M. Berry
.
BASIS: A Behavioral Approach to the Specification of Information Systems
25
--
27
George Loizou
,
Peter Thanisch
.
Testing a dependency-preserving decomposition for losslessness
29
--
36
Kazimierz Subieta
.
Navigational facilities for relational data base
37
--
39
R. K. Arora
,
N. K. Sharma
.
A methodology to solve distributed termination problem - A short note
41
--
49
A. Bolour
,
L. J. Dekeyser
.
Abstractions in temporal information
51
--
62
Dennis G. Severance
.
A practitioner s guide to data base compression - Tutorial