The SCEAS System
Navigation Menu

Conferences in DBLP

International Workshop on the Deductive Approach to Information Systems and Databases (DAISD) (daisd)
1992 (conf/daisd/92)

  1. Babis Theodoulidis, Petros Alexakis, Pericles Loucopoulos
    Verification and Validation of Temporal Business Rules. [Citation Graph (0, 0)][DBLP]
    DAISD, 1992, pp:1-15 [Conf]
  2. Enric Mayol, Maria-Ribera Sancho, Jaume Sistac
    The Odissea Project: An Environment for the Development of Information Systems from DCM. [Citation Graph (0, 0)][DBLP]
    DAISD, 1992, pp:17-47 [Conf]
  3. Salvador Villena, Buenaventura Clares Rodríguez
    Specification of Information Systems by State Machine Deduced from Deductive Conceptual Models. [Citation Graph (0, 0)][DBLP]
    DAISD, 1992, pp:49-79 [Conf]
  4. Magnus Boman
    A Note on the Limitations of Utilizing Modal Logic for Federated Information Systems. [Citation Graph (0, 0)][DBLP]
    DAISD, 1992, pp:83-103 [Conf]
  5. Isidro Ramos, Oscar Pastor, José Hilario Canós Cerdá
    On the Use of Algebras as Semantic Domain of Object Societies. [Citation Graph (0, 0)][DBLP]
    DAISD, 1992, pp:105-126 [Conf]
  6. Carme Quer
    Combining the Object-Oriented Approach and the Deductive Approach for Conceptual Modelling. [Citation Graph (0, 0)][DBLP]
    DAISD, 1992, pp:127-156 [Conf]
  7. Alberto Torres
    Is There a "Right" Semantics for Negation as Failure? [Citation Graph (0, 0)][DBLP]
    DAISD, 1992, pp:157-166 [Conf]
  8. Charles Kellogg
    Deduction-Based Data Understanding using Graphic Logic. [Citation Graph (0, 0)][DBLP]
    DAISD, 1992, pp:167-174 [Conf]
  9. Georges Gardarin, Françoise Fabret
    Query Optimization in a Deductive Object-Oriented DBMS. [Citation Graph (0, 0)][DBLP]
    DAISD, 1992, pp:175-198 [Conf]
  10. Georg Nüssel, Hendrik Decker, Matilde Celma, Juan Carlos Casamayor
    A Complete Proof Procedure for Efficient Integrity Checking in Deductive Databases. [Citation Graph (1, 0)][DBLP]
    DAISD, 1992, pp:199-216 [Conf]
  11. Hendrik Decker
    Knowledge Assimilation in Deductive Databases - An Overview. [Citation Graph (1, 0)][DBLP]
    DAISD, 1992, pp:217-247 [Conf]
  12. Juan Carlos Casamayor
    An Abductive Proof Procedure for Hypothetical Reasoning in Computational Theories. [Citation Graph (0, 0)][DBLP]
    DAISD, 1992, pp:249-274 [Conf]
  13. Joan Antoni Pastor
    Deriving Consistency-preserving Transaction Specifications for (View-)Updates in Relational Databases. [Citation Graph (1, 0)][DBLP]
    DAISD, 1992, pp:275-300 [Conf]
  14. Guido Moerkotte, Holger Müller, Joachim Posegga
    Aspects of Consistency Driven Planning. [Citation Graph (0, 0)][DBLP]
    DAISD, 1992, pp:301-325 [Conf]
  15. Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca
    Integrity Maintenance Systems: An Architecture. [Citation Graph (1, 0)][DBLP]
    DAISD, 1992, pp:327-344 [Conf]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002