Compendium of Scientific Project

We wish to use methods of computer science and mathematical logic to investigate abstract analysis techniques for IS, especially those used in the early life-cycle phases. To facilitate the algorithmic treatment of these techniques, non-procedural tools of multi-valued logic should be used to create an open-ended environment for unified treatment of normalization techniques and eventual inclusion of further algorithms.

Scientific Goals of the Project

• Obtain new knowledge concerning the logical descrioption of  IS representations. Solution of the identified problems in distributed client/server environment. Create alternative WAMs for new multi-valued strategies. Specific uses of the selected HM system as graphical UI for the proposed CASE system.
• Extend the logical model of database normalization to include other normal forms including those dealing with horizontal decompositions.
• Use new knowledge obtained through experimental operation of IS representation models to design a non-procedural support system for IS analysis.
• Create an experimental implementation of "our" WAMs.
• Create an open-ended logical model for designing IS with databases, integrating the methods for study of conceptual IS models and database normalization methods.
• Experimental implementation of the pre-case system.
• Use HM systems to create graphical user interfaces for the designed systems.
• Propose the principles of WAM interpreters for new strategies and multi-valued logic.
• Obtain new knowledge and design an expert system based on multi-valued nonstandard logic