Ամսագրի կամ հրապարակման վերնագիր:

Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=Mathematical problems of computer science

Հրապարակման ամսաթիւ:

2004

Հատոր:

23

ISSN:

0131-4645

Լրացուցիչ տեղեկութիւն:

կապին հետեւելուն համար սեղմէ հոս

Այլ վերնագիր:

Տվյալների հենքերի կիրառական ծրագրերի սահմանափակումների մշակում ստուգիչների համակարգի կիրառմամբ

Ծածկոյթ:

12-19

Ամփոփում:

The paper presents concepts and ideas underlying an approach for constraint management in VLSI design database applications and designs °ows. In this approach constraints are de¯ned as scripts of EVA strongly typed scripting language and stored in meta{databases called check catalogue. Interaction of applications with check catalogue is supported by subsystem of DBMS called Checker Framework. Checker Framework provides facilities for creation, modi¯cation and deletion of the constraints and has several features that enhance the constraint management in database applications.

Հրատարակիչ:

АН Арм. ССР

Ստեղծման ամսաթիւը:

2004-12-10

Ձեւաչափ:

pdf

Նոյնացուցիչ:

oai:arar.sci.am:258417

Բնօրինակին գտնուելու վայրը:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան