Integrity Constraints in the Multi-Paradigm Language PROGRES

This publication has 12 references indexed in Scilit:

• Visual tools for generating iconic programming environments
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Nested Graph Transformation Units
  International Journal of Software Engineering and Knowledge Engineering, 1997
• THE EXPRESSION OF GRAPH PROPERTIES AND GRAPH TRANSFORMATIONS IN MONADIC SECOND-ORDER LOGIC
  Published by World Scientific Pub Co Pte Ltd ,1997
• DYNAMITE: DYNAMIc Task nEts for software process management
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1996
• The design of a constraint/rule language for an object-oriented data model
  Journal of Systems and Software, 1995
• Gras, a graph-oriented (software) engineering database system
  Information Systems, 1995
• Implementing integrity control in active data bases
  Journal of Systems and Software, 1994
• KidSim
  Communications of the ACM, 1994
• An overview of GOOD
  ACM SIGMOD Record, 1992
• G-Log: A declarative graphical query language
  Published by Springer Nature ,1991