Sign in
Advances in Data Base Theory
1979
1980
1981
1982
1979
1982
Keyphrases
Publications
1982
Joachim Biskup
,
Hans Hermann Brüggemann
Towards Designing Acyclic Database Schemes.
Advances in Data Base Theory
(1982)
Giorgio Ausiello
,
Alessandro D'Atri
,
Marina Moscarini
Minimal Coverings of Acyclic Database Schemata.
Advances in Data Base Theory
(1982)
Tomasz Imielinski
,
Witold Lipski Jr.
On th Undecidability of Equivalence Problems for Relational Expressions.
Advances in Data Base Theory
(1982)
Yoshito Hanatani
Eliminating Cycles in Database Schemas.
Advances in Data Base Theory
(1982)
Lawrence J. Henschen
,
William McCune
,
Shamim A. Naqvi
Compiling Constraint-Checking Programs from First-Order Formulas.
Advances in Data Base Theory
(1982)
Paolo Paolini
,
Roberto V. Zicari
Properties of Views and Their Implementation.
Advances in Data Base Theory
(1982)
Paulo A. S. Veloso
,
Antonio L. Furtado
Stepwise Construction of Algebraic Specifications.
Advances in Data Base Theory
(1982)
Robert Paige
Applications of Finite Differencing to Database Integrity Control and Query/Transaction Optimization.
Advances in Data Base Theory
(1982)
Tomasz Imielinski
On Algebraic Query Processing in Logical Databases.
Advances in Data Base Theory
(1982)
Marc Gyssens
,
Jan Paredaens
A Decomposition Methodology for Cyclic Databases.
Advances in Data Base Theory
(1982)
Paul De Bra
,
Jan Paredaens
Horizontal Decompositions for Handling Exceptions to Functional Dependencies.
Advances in Data Base Theory
(1982)
Marco A. Casanova
,
Antonio L. Furtado
On the Description of Database Transition Constraints Using Temporal Languages.
Advances in Data Base Theory
(1982)
Genevieve Bossu
,
Pierre Siegel
Nonmonotonic Reasoning and Databases.
Advances in Data Base Theory
(1982)
1979
Joachim Biskup
A Formal Approach to Null Values in Database Relations.
Advances in Data Base Theory
(1979)
Maarten H. van Emden
,
T. S. E. Maibaum
Equations Compared with Clauses for Specification of Abstract Data Types.
Advances in Data Base Theory
(1979)
Catriel Beeri
,
Moshe Y. Vardi
On the Properties of Join Dependencies.
Advances in Data Base Theory
(1979)
Chin-Liang Chang
On Evaluation of Queries Containing Derived Relations in a Relational Data Base.
Advances in Data Base Theory
(1979)
Robert Demolombe
Assigning Meaning to Ill-Defined Queries Expressed in Predicate Caculus Language.
Advances in Data Base Theory
(1979)
John Grant
,
Jack Minker
Optimization in Deductive and Conventional Relational Database Systems.
Advances in Data Base Theory
(1979)
Jan Paredaens
,
Dirk Janssens
Decompositions of Relations: A Comprehensive Approach.
Advances in Data Base Theory
(1979)
Alain Colmerauer
,
Jean François Pique
About Natural Logic.
Advances in Data Base Theory
(1979)
Raymond Reiter
On the Integrity of Typed First Order Data Bases.
Advances in Data Base Theory
(1979)
Charles Kellogg
,
Larry Travis
Reasoning with Data in a Deductively Augmented Data Management System.
Advances in Data Base Theory
(1979)
David Maier
,
Alberto O. Mendelzon
,
Fereidoon Sadri
,
Jeffrey D. Ullman
Adequacy of Decompositions of Relational Databases.
Advances in Data Base Theory
(1979)
Antonio M. Silva
,
Michel A. Melkanoff
A Method for Helping Discover the Dependencies of a Relation.
Advances in Data Base Theory
(1979)
Hervé Gallaire
,
Jack Minker
,
Jean-Marie Nicolas
Background for Advances in Data Base Theory.
Advances in Data Base Theory
(1979)
Jürgen M. Janas
On the Feasibility of Informative Answers.
Advances in Data Base Theory
(1979)