home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / groupwar / 637 < prev    next >
Encoding:
Internet Message Format  |  1992-07-24  |  4.5 KB

  1. Xref: sparky comp.groupware:637 comp.theory:1687 comp.databases.theory:288
  2. Path: sparky!uunet!paladin.american.edu!darwin.sura.net!wupost!cs.utexas.edu!sun-barr!ames!agate!dog.ee.lbl.gov!ucbvax!bloom-beacon!eru.mt.luth.se!kth.se!ugle.unit.no!sigyn.idt.unit.no!pakstas
  3. From: pakstas@idt.unit.no (Algirdas Pakstas)
  4. Newsgroups: comp.groupware,comp.theory,comp.databases.theory
  5. Subject: Proposal from S-Peterburg, Russia
  6. Keywords: Graph-categorical concepts, object-oriented data model,
  7. Message-ID: <1992Jul23.182610.9300@ugle.unit.no>
  8. Date: 23 Jul 92 18:26:10 GMT
  9. Sender: news@ugle.unit.no (NetNews Administrator)
  10. Reply-To: pakstas@idt.unit.no (Algirdas Pakstas)
  11. Organization: Div. of CS & Telematics, Norwegian Institute of Technology
  12. Lines: 85
  13.  
  14. concurrent design, structured objects
  15.  
  16. Dear netters,
  17.  
  18. My colleague from S-Peterburg, Russia (without access to News) who
  19. interested in cooperation with people who works in similar areas asked
  20. me to post enclosed proposal for discussing adopted approach in
  21. corresponding Newsgroups (Currently I send it to comp.groupware,
  22. comp.theory, comp.databases.theory. If somebody know better place for
  23. such subject, please, repost it).
  24.  
  25. Anyway, please, reply directly to author: Anatoly S. Kulinitch
  26. (anat@iias.spb.su).
  27.  
  28. Thanks for your attention,
  29.  
  30. -- Algirdas Pakstas
  31. ==================================================================
  32. Proposal:
  33. ---------
  34.             INFORMATION SUPPORT FOR DECISION MAKING IN
  35.               CONCURRENT DESIGN OF STRUCTURED OBJECTS
  36.  
  37.          { Graph-Categorical Concepts of  OODM  Integrity
  38.     for concurrent engeneering of structured comples objects }
  39.  
  40.                        Anatoly Kulinitch
  41.  
  42.                    Russian Academy of Sciences
  43.             Institute for Informatics and Automation
  44.                      Sankt-Peterburg, Russia
  45.                        (anat@iias.spb.su)
  46.  
  47. An approach based on  a  broadened  concept  of  integrity  of  an
  48. object-oriented data model (OODM) concerning the development of an
  49. information environment (IE) for concurrent design  of  structured
  50. complex objects is suggested.
  51.  
  52. IE includes  a distributed  deductive object-oriented data
  53. base (OODB), user's interface and OODB interface with the  applied
  54. programs. The basic demand made  on  IE  consists  in  maintaining
  55. integrity and consistency of  data
  56.  
  57. Hypergraph (h-graph) category  is  a  suitable  unifying  tool  to
  58. describe varions heterogeneous  aspect  for  construction  OODM.
  59. Formalism of h-graph context-sensitive  grammmars  is  applied  to
  60. investigate verious aspect of modeling of logical OODB integrity.
  61.  
  62. Theory of h-graph rewritins is a base tool  for  the  solution  of
  63. sinchronization problem in OODM updatins.  The  main  advantage  of
  64. this approach is that there is a categorical formulation available
  65. and  powerful   results   concerning   parallel   and   concurrent
  66. derivations, graph production,  algebraically specified data type
  67. Integrity and  consistency  of  data  for  concurrent  design  are
  68. provided   by   deductive  inference  of  the  integral  integrity
  69. restrictions (IR) for each one of its  h-graph  fragments  -  some
  70. hyperarcs by a local closure  of  IR  of the decision to be made.
  71.  
  72. Computation of admissible OODM states is performed  through  local
  73. constraints propagation. In this manner only  semanticaly  correct
  74. OODB states can be generated. This approach is  used  to  generate
  75. the process of choose rules to be applied from given finite set of
  76. constraints rules.
  77.  
  78. The concept of OODM integrity covers such notions as integrity  of
  79. entities and relations of Codd as well as integrity of  properties
  80. which is introduced to enhance  semantic  capacities of the  OODM.
  81.  
  82. Amalgamation mechanism for solution  of  synchronisation  problems
  83. within h-graph grammar  formalism - Grammar for Distributed system
  84. (GDS)  is   applicated.   Constraction   of  locally  star  gluing
  85. formulas is given for parallel derivation on  h-graph.  Operations
  86. on OODM is formulated using sub h-graph  rewriting  (replacement).
  87.  
  88. Manipulation  of  OODM  is satisfied  next  mechanisms:   Local
  89. constraint propagation; Consistency checking;  Formal  constraints
  90. manipulation; Network consistency techniques.
  91.  
  92. IE facilities are  being  developed  with  the  use  of  C++.  The
  93. following classes have been  created  as  base  classes:   "sorted
  94. lists" used  to  describe  relation  schemes;  "set" (of vertices,
  95. arcs)  for  which  theoretical-set  operations  are   implemented;
  96. "graph" ("h-graph") for which operations are  constructed  in  the
  97. form of virtual functions of  interfaces  of  these  classes.
  98. _______________________________________________________________
  99.