{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T15:19:45Z","timestamp":1649171985461},"reference-count":13,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2009,2,27]],"date-time":"2009-02-27T00:00:00Z","timestamp":1235692800000},"content-version":"unspecified","delay-in-days":7973,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AIEDAM"],"published-print":{"date-parts":[[1987,5]]},"abstract":"<jats:p>The specific semantics of CAD objects are analysed concerning their <jats:italic>nature<\/jats:italic> their <jats:italic>dynamicity<\/jats:italic> and their <jats:italic>consistency<\/jats:italic> during the design process. The nature of CAD objects is concerned with their structure and relationships. The dynamicity is concerned with the evolving nature of the objects, i.e. their behavior. The consistency is concerned with their completeness and relationships with integrity constraints.<\/jats:p><jats:p>A new methodology for semantic constraints management and control is defined. It relies extensively on database and expert system technologies for the implementation of new concepts, e.g. logical <jats:italic>prototypes<\/jats:italic> of objects and object <jats:italic>equivalence<\/jats:italic> class.<\/jats:p><jats:p>It provides a sound and unified basis for modelling the dynamic nature of complex objects, concerning both the management of their structure and the <jats:italic>certification<\/jats:italic> of the update operations, i.e. the control of their correctness.<\/jats:p><jats:p>The functionalities of CADB, a prototype expert database system that supports these features, are detailed. CADB is currently implemented in Prolog on VAX\u2122 11\/785 and APOLLO\u2122 workstations.<\/jats:p>","DOI":"10.1017\/s0890060400000184","type":"journal-article","created":{"date-parts":[[2010,3,31]],"date-time":"2010-03-31T13:49:11Z","timestamp":1270043351000},"page":"89-101","source":"Crossref","is-referenced-by-count":1,"title":["Expert database concepts for engineering design"],"prefix":"10.1017","volume":"1","author":[{"given":"G. T.","family":"Nguyen","sequence":"first","affiliation":[]},{"given":"D.","family":"Rieu","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2009,2,27]]},"reference":[{"key":"S0890060400000184_ref012","volume-title":"Proceedings, 23rd ACM\/IEEE Design Automation Conference","author":"Rieu","year":"1986"},{"key":"S0890060400000184_ref010","volume-title":"Proceedings 2nd International Conference on Data Engineering","author":"Nguyen","year":"1986"},{"key":"S0890060400000184_ref001","unstructured":"Adiba M. and Nguyen G. T. 1984. Information processing for CAD\/VLSI on a generalized data management system. Proceedings, 10th International Conference on Very Large Data Bases. Singapore."},{"key":"S0890060400000184_ref009","volume-title":"Proceedings International Conference on Foundations of Data Organization","author":"Nguyen","year":"1985"},{"key":"S0890060400000184_ref002","volume-title":"Knowledge Engineering in Computer-Aided Design","author":"Adiba","year":"1985"},{"key":"S0890060400000184_ref006","volume-title":"Proceedings, 23rd ACM\/IEEE Design Automation Conference","author":"Jullien","year":"1986"},{"key":"S0890060400000184_ref003","doi-asserted-by":"publisher","DOI":"10.1145\/3979.4018"},{"key":"S0890060400000184_ref011","volume-title":"Proc. 13th International Conference on Very Large Data Bases","author":"Nguyen","year":"1987"},{"key":"S0890060400000184_ref008","unstructured":"Lorie R. and Plouffe W. 1983. Complex objects and their use in design transaction. Proceedings ACM SIGMOD Conference, San Jose."},{"key":"S0890060400000184_ref007","unstructured":"Katz R. H. 1983. Managing the chip design database. University of Wisconsin-Madison. Research report 506."},{"key":"S0890060400000184_ref005","volume-title":"An Introduction to Rule Based Programming","author":"Brownston","year":"1986"},{"key":"S0890060400000184_ref004","volume-title":"Proceedings, 19th Design Automation Conference","author":"Beyls","year":"1982"},{"key":"S0890060400000184_ref013","volume-title":"International Conference on Data and Knowledge Systems for Manufacturing and Engineering","author":"Rieu","year":"1987"}],"container-title":["Artificial Intelligence for Engineering Design, Analysis and Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0890060400000184","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T20:03:37Z","timestamp":1558469017000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0890060400000184\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,5]]},"references-count":13,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1987,5]]}},"alternative-id":["S0890060400000184"],"URL":"https:\/\/doi.org\/10.1017\/s0890060400000184","relation":{},"ISSN":["0890-0604","1469-1760"],"issn-type":[{"value":"0890-0604","type":"print"},{"value":"1469-1760","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987,5]]}}}