• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 45 matches

• 1984
• 
  Hervé Gallaire, Jean-Marie Nicolas, Jack Minker:
  Advances in Data Base Theory, Vol. 2, Based on the Proceedings of the Workshop on Logical Data Bases, December 14-17, 1982, Centre d'études et de recherches de Toulouse, France. Advances in Data Base Theory, Plemum Press 1984, ISBN 0-306-41636-0 [contents]
• 1982
• 
  Giorgio Ausiello, Alessandro D'Atri, Marina Moscarini:
  Minimal Coverings of Acyclic Database Schemata. Advances in Data Base Theory 1982: 27-51
• 
  Joachim Biskup, Hans Hermann Brüggemann:
  Towards Designing Acyclic Database Schemes. Advances in Data Base Theory 1982: 3-25
• 
  Genevieve Bossu, Pierre Siegel:
  Nonmonotonic Reasoning and Databases. Advances in Data Base Theory 1982: 239-284
• 
  Paul De Bra, Jan Paredaens:
  Horizontal Decompositions for Handling Exceptions to Functional Dependencies. Advances in Data Base Theory 1982: 123-141
• 
  Marco A. Casanova, António L. Furtado:
  On the Description of Database Transition Constraints Using Temporal Languages. Advances in Data Base Theory 1982: 211-236
• 
  Marc Gyssens, Jan Paredaens:
  A Decomposition Methodology for Cyclic Databases. Advances in Data Base Theory 1982: 85-122
• 
  Yoshito Hanatani:
  Eliminating Cycles in Database Schemas. Advances in Data Base Theory 1982: 53-84
• 
  Lawrence J. Henschen, William McCune, Shamim A. Naqvi:
  Compiling Constraint-Checking Programs from First-Order Formulas. Advances in Data Base Theory 1982: 145-169
• 
  Tomasz Imielinski:
  On Algebraic Query Processing in Logical Databases. Advances in Data Base Theory 1982: 285-318
• 
  Tomasz Imielinski, Witold Lipski Jr.:
  On th Undecidability of Equivalence Problems for Relational Expressions. Advances in Data Base Theory 1982: 393-409
• 
  Robert Paige:
  Applications of Finite Differencing to Database Integrity Control and Query/Transaction Optimization. Advances in Data Base Theory 1982: 171-209
• 
  Paolo Paolini, Roberto V. Zicari:
  Properties of Views and Their Implementation. Advances in Data Base Theory 1982: 353-389
• 
  Paulo A. S. Veloso, António L. Furtado:
  Stepwise Construction of Algebraic Specifications. Advances in Data Base Theory 1982: 321-352
• 1981
• 
  Hervé Gallaire, Jean-Marie Nicolas, Jack Minker:
  Advances in Data Base Theory, Vol. 1, Based on the Proceedings of the Workshop on Formal Bases for Data Bases, December 12-14, 1979, Centre d'Etudes et de Recherches de l'Ecole Nationale Supérieure de l'Aéronautique et de l'Espace de Toulouse (CERT), France. Advances in Data Base Theory, Plemum Press 1981, ISBN 0-306-40629-2 [contents]
• 1979
• 
  Catriel Beeri, Moshe Y. Vardi:
  On the Properties of Join Dependencies. Advances in Data Base Theory 1979: 25-71
• 
  Joachim Biskup:
  A Formal Approach to Null Values in Database Relations. Advances in Data Base Theory 1979: 299-341
• 
  Chin-Liang Chang:
  On Evaluation of Queries Containing Derived Relations in a Relational Data Base. Advances in Data Base Theory 1979: 235-260
• 
  Alain Colmerauer, Jean François Pique:
  About Natural Logic. Advances in Data Base Theory 1979: 343-365
• 
  Robert Demolombe:
  Assigning Meaning to Ill-Defined Queries Expressed in Predicate Caculus Language. Advances in Data Base Theory 1979: 367-395
• 
  Maarten H. van Emden, T. S. E. Maibaum:
  Equations Compared with Clauses for Specification of Abstract Data Types. Advances in Data Base Theory 1979: 159-193
• 
  Hervé Gallaire, Jack Minker, Jean-Marie Nicolas:
  Background for Advances in Data Base Theory. Advances in Data Base Theory 1979: 3-21
• 
  John Grant, Jack Minker:
  Optimization in Deductive and Conventional Relational Database Systems. Advances in Data Base Theory 1979: 195-234
• 
  Jürgen M. Janas:
  On the Feasibility of Informative Answers. Advances in Data Base Theory 1979: 397-414
• 
  Charles Kellogg, Larry Travis:
  Reasoning with Data in a Deductively Augmented Data Management System. Advances in Data Base Theory 1979: 261-295
• 
  David Maier, Alberto O. Mendelzon, Fereidoon Sadri, Jeffrey D. Ullman:
  Adequacy of Decompositions of Relational Databases. Advances in Data Base Theory 1979: 101-114
• 
  Jan Paredaens, Dirk Janssens:
  Decompositions of Relations: A Comprehensive Approach. Advances in Data Base Theory 1979: 73-100
• 
  Raymond Reiter:
  On the Integrity of Typed First Order Data Bases. Advances in Data Base Theory 1979: 137-157
• 
  Antonio M. Silva, Michel A. Melkanoff:
  A Method for Helping Discover the Dependencies of a Relation. Advances in Data Base Theory 1979: 115-133
• 1978
• 
  Hervé Gallaire, Jack Minker:
  Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, France, 1977. Advances in Data Base Theory, Plemum Press 1978, ISBN 0-306-40060-X [contents]

skipping 15 more matches