%A Herve Gallaire
%A Jack Minker
%A Jean-Marie Nicolas
%T Background for advances in data base theory
%B Advances in data base theory
%V 1
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1981
%K adt
%P 3-21

%A C. Beeri
%A M.Y. Vardi
%T On the properties of join dependencies
%B Advances in data base theory
%V 1
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1981
%K adt
%P 25-71

%A J. Paredaens
%A D. Janssens
%T Decompositions or relations: a comprehensive approach
%B Advances in data base theory
%V 1
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1981
%K adt
%P 73-100

%A David Maier
%A Alberto O. Mendelzon
%A Fereidoon Sadri
%A Jeffrey D. Ullman
%T Adequacy of decompositions of relational databases
%B Advances in data base theory
%V 1
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1981
%K adt
%P 101-114

%A Antonio M. Silva
%A Michael A. Melkanoff
%T A method for helping discover the dependencies of a relation
%B Advances in data base theory
%V 1
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1981
%K adt
%P 115-133

%A Raymond Reiter
%T On the integrity of typed first order data bases
%B Advances in data base theory
%V 1
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1981
%K adt
%P 137-157

%A M.H. van\ Emden
%A T.S.E. Maibaum
%T Equations compared with clauses
for specification of abstract data types
%B Advances in data base theory
%V 1
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1981
%K adt
%P 159-193

%A John Grant
%A Jack Minker
%T Optimization in deductive and conventional
relational database systems
%B Advances in data base theory
%V 1
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1981
%K adt
%P 195-234

%A C.L. Chang
%T On evaluation of queries containing derived relations
in a relational data base
%B Advances in data base theory
%V 1
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1981
%K adt
%P 235-260

%A Charles Kellogg
%A Larry Travis
%T Reasoning with data in a deductively augmented data management system
%B Advances in data base theory
%V 1
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1981
%K adt
%P 261-295

%A Joachim Biskup
%T A formal approach to null values in database relations
%B Advances in data base theory
%V 1
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1981
%K adt
%P 299-341

%A A. Colmerauer
%A J.F. Pique
%T About natural logic
%B Advances in data base theory
%V 1
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1981
%K adt
%P 343-365

%A Robert Demolombe
%T Assigning meaning to ill-defined queries
expressed in predicate calculus language
%B Advances in data base theory
%V 1
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1981
%K adt
%P 367-395

%A Jurgen M. Janas
%T On the feasibility of informative answers
%B Advances in data base theory
%V 1
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1981
%K adt
%P 397-414

%A Joachim Biskup
%A Hans Hermann Bruggeman
%T Towards designing acyclic database schemes
%B Advances in data base theory
%V 2
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1984
%K adt
%P 3-25

%A G. Ausiello
%A A. D'Atri
%A M. Moscarini
%T Minimal coverings of acyclic database schemata
%B Advances in data base theory
%V 2
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1984
%K adt
%P 27-51

%A Yoshito Hanatani
%T Eliminating cycles in database schemas
%B Advances in data base theory
%V 2
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1984
%K adt
%P 53-84

%A M. Gyssens
%A J. Paredaens
%T A decomposition methodology for cyclic databases
%B Advances in data base theory
%V 2
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1984
%K adt
%P 85-122

%A P. de\ Bra
%A J. Paredaens
%T Horizontal decompositions
for handling exceptions to functional dependencies
%B Advances in data base theory
%V 2
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1984
%K adt
%P 123-141

%A Lawrence J. Henschen
%A William W. McCune
%A Shamin A. Naqvi
%T Compiling constraint-checking programs from first-order formulas
%B Advances in data base theory
%V 2
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1984
%K adt
%P 145-169

%A Robert Paige
%T Applications of finite differencing
to database integrity control and query/transaction optimization
%B Advances in data base theory
%V 2
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1984
%K adt
%P 171-209

%A Marco A. Casanova
%A Antonio L. Furtado
%T On the description of database transition constraints
using temporal languages
%B Advances in data base theory
%V 2
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1984
%K adt
%P 211-236

%A Genevieve Bossu
%A Pierre Siegel
%T Nonmonotonic reasoning and databases
%B Advances in data base theory
%V 2
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1984
%K adt
%P 239-284

%A Tomasz Imielinski
%T On algebraic query processing in logical databases
%B Advances in data base theory
%V 2
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1984
%K adt
%P 285-318

%A P.A.S. Veloso
%A A.L. Furtado
%T Stepwise construction of algebraic specifications
%B Advances in data base theory
%V 2
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1984
%K adt
%P 321-352

%A Paolo Paolini
%A Roberto Zicari
%T Properties of views and their implementation
%B Advances in data base theory
%V 2
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1984
%K adt
%P 353-389

%A Tomasz Imielinski
%A Witold Lipski
%T On the undecidability of equivalence problems
for relational expressions
%B Advances in data base theory
%V 2
%E Herve Gallaire
%E Jack Minker
%E Jean-Marie Nicolas
%I Plenum Press
%C New York
%D 1984
%K adt
%P 393-409