• 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 18 matches

• 1994
• 
  Laurence Cholvy, Robert Demolombe, Andrew J. I. Jones:
  Reasoning about the Safety of Information: From Logical Formalization to Operational Definition. DAISD 1994: 345-373
• 
  Oscar Díaz:
  The Operational Semantics of User-Defined Relationships in Object-Oriented Systems. DAISD 1994: 95-116
• 
  Alvaro A. A. Fernandes, Maria L. Barja, Norman W. Paton, M. Howard Williams, Andrew Dinn, Imara P. Diaz, Alia I. Abdelmoty:
  ROCK & ROLL: A Deductive Object-Oriented Database System. DAISD 1994: 25-32
• 
  Alfredo Goñi, Arantza Illarramendi, José Miguel Blanco, Eduardo Mena:
  Use of an Object-Based System with Reasoning capabilities to Integrate Relational Databases. DAISD 1994: 117-133
• 
  Ulrike Griefahn, Rainer Manthey:
  Update Propagation in Chimera, an Active DOOD Language. DAISD 1994: 277-298
• 
  Christian Laasch, Marc H. Scholl:
  Change Management in Objectbases. DAISD 1994: 1-23
• 
  Rainer Manthey:
  Reflections on Some Fundamental Issues of Rule-based Incremental Update Propagation. DAISD 1994: 255-276
• 
  Carme Martín, Jaume Sistac:
  Integrity Constraints Checking in Historical Deductive Databases. DAISD 1994: 299-324
• 
  Joan Antoni Pastor:
  Extending the Synthesis of Update Transaction Programs to handle Existential Rules in Deductive Databases. DAISD 1994: 189-218
• 
  Carme Quer:
  An Execution Model for change Computation in Deductive Databases. DAISD 1994: 159-187
• 
  Raymond Reiter:
  On Specifying Database Updates (Invited Lecture). DAISD 1994: 219-253
• 
  Dietmar Seipel, Helmut Thöne:
  DISLOG - A System for in Disjunctive Deductive Databases. DAISD 1994: 325-343
• 
  Amílcar Sernadas, Cristina Sernadas:
  Object Certification (Invited Lecture). DAISD 1994: 55-78
• 
  Maguelonne Teisseire, Pascal Poncelet, Rosine Cicchetti:
  IFO2: a Uniform Approach for Information System Modelling. DAISD 1994: 33-53
• 
  Ernest Teniente, Toni Urpí:
  A Common Framework for Classifying and Specifying Deductive Database Updating Problems. DAISD 1994: 135-158
• 
  Jennifer Widom, Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman:
  Validating Constraints with Partial Information: Research Overview. DAISD 1994: 375-385
• 
  Xian Ye, Christine Parent, Stefano Spaccapietra:
  Derived Objects and Classes in DOOD Systems. DAISD 1994: 79-94
• 
  Antoni Olivé:
  Fith International Workshop on the Deductive Approach to Information Systems and Databases, DAISD 1994, September 19-21, 1994, Aiguablava, Costa Brava, Catalonia, Proceedings. Report de recerca LSI/94-28-R, Universitat Politecnica de Catalunya (UPC) 1994 [contents]