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