ArchObjects: design codes as constraints in an object-oriented KBMS

This publication has 10 references indexed in Scilit:

• Complex and composite objects in CAD/CAM databases
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A knowledge base for code reuse by similarity
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• ALICE: an assertion language for integrity constraint expression
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• The implementation of POSTGRES
  IEEE Transactions on Knowledge and Data Engineering, 1990
• Interaction-based invention: Designing novel devices from first principles
  Published by Springer Nature ,1990
• An event/trigger mechanism to enforce complex consistency constraints in design databases
  ACM SIGMOD Record, 1986
• Model for an Integrated Design Evaluation System using Knowledge Bases
  Published by Education and Research in Computer Aided Architectural Design in Europe (eCAADe) ,1986
• Logic and Databases: A Deductive Approach
  ACM Computing Surveys, 1984
• Prism
  ACM SIGMOD Record, 1984
• Logic for improving integrity checking in relational data bases?
  Acta Informatica, 1982