Annals of Mathematics and Artificial Intelligence, Volume 7

Volume 7, Number 1-4, 1993

• Constantin Arapis:
  A Temporal Logic-Based Approach for the Description of Object Behavior Evolution. 1-40
  
• Jan Van den Bussche:
  Complex Object Multi-Level Fixpoint Queries. 41-62
  
• János Demetrovics, Gyula O. H. Katona:
  A Survey of Some Combinatorial Results Concerning Functional Dependencies in Database Relations. 63-82
  
• János Demetrovics, Lajos Rónyai, Hua nam Son:
  Functional Dependencies among Boolean Dependencies. 83-106
  
• Guozhu Dong:
  On the Monotonicity of (LDL) Logic Programs with Set. 107-127
  
• Stephen J. Hegner:
  Characterization of Desirable Properties of General Database Decompositions. 129-195
  
• Bernhard Thalheim:
  Foundations of Entity - Relationship Modeling. 197-256
  
• Victor Vianu, Gottfried Vossen:
  Static and Dynamic Aspects of Goal-Oriented Concurrency Control. 257-287
  
• Roel Wieringa, John-Jules Ch. Meyer:
  Actors, Actions, and Initiative in Normative System Specification. 289-346
  

Last update Tue May 21 18:19:58 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page