Abstract is missing.
- Verification and Validation of Temporal Business RulesBabis Theodoulidis, Petros Alexakis, Pericles Loucopoulos. 1-15
- The Odissea Project: An Environment for the Development of Information Systems from DCMEnric Mayol, Maria-Ribera Sancho, Jaume Sistac. 17-47
- Specification of Information Systems by State Machine Deduced from Deductive Conceptual ModelsSalvador Villena, Buenaventura Clares Rodríguez. 49-79
- A Note on the Limitations of Utilizing Modal Logic for Federated Information SystemsMagnus Boman. 83-103
- On the Use of Algebras as Semantic Domain of Object SocietiesIsidro Ramos, Oscar Pastor, José Hilario Canós Cerdá. 105-126
- Combining the Object-Oriented Approach and the Deductive Approach for Conceptual ModellingCarme Quer. 127-156
- Deduction-Based Data Understanding using Graphic LogicCharles Kellogg. 167-174
- A Complete Proof Procedure for Efficient Integrity Checking in Deductive DatabasesGeorg Nüssel, Hendrik Decker, Matilde Celma, Juan Carlos Casamayor. 199-216
- Knowledge Assimilation in Deductive Databases - An OverviewHendrik Decker. 217-247
- An Abductive Proof Procedure for Hypothetical Reasoning in Computational TheoriesJuan Carlos Casamayor. 249-274
- Deriving Consistency-preserving Transaction Specifications for (View-)Updates in Relational DatabasesJoan Antoni Pastor. 275-300
- Aspects of Consistency Driven PlanningGuido Moerkotte, Holger Müller, Joachim Posegga. 301-325
- Integrity Maintenance Systems: An ArchitectureStefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca. 327-344