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