This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Ancestor Controlled Submodule Inclusion in Design Databases
April 1993 (vol. 5 no. 2)
pp. 352-362

A paradigm is proposed for representing hierarchically specified design data in CAD database systems in which there are alternate expansions of hierarchically specified modules. The paradigm uses an ancestor-based scheme to control which instances of submodules are to be placed in the expansion of each instance of a given module and is formalized using a versioned directed acyclic multigraph (VDAG). The approach is aimed at reducing storage space in engineering design database systems and at providing a means for designers to specify alternate expansions of a module. The VDAG model is defined, and a mechanism by which a VDAG generates an exploded forest of design trees is described. Algorithms are provided to generate a design forest from a given VDAG, determine whether one module is contained by a larger module, extract a version from a VDAG, test whether two VDAGs are equivalent, and try to reduce the size of a VDAG. The problems of module containment and VDAG inequivalence are shown to be NP-complete, and the problem of finding a minimum sized VDAG equivalent to a given VDAG is shown to be NP-hard.

[1] A. V. Aho, J. E. Hopcroft, and J. D. Ullman,The Design and Analysis of Computer Algorithms. Menlo Park, CA: Addison-Wesley, 1974.
[2] K. Appel and W. Haken, "Every planar map is four colorable, Part I: Discharging,"Illinois J. Math., vol. 21, no. 3, pp. 429-490, 1977.
[3] D. S. Batory and W. Kim, "Modeling concepts for VLSI CAD objects,"ACM Trans. Database Syst., vol. 10, no. 3, Sept. 1985.
[4] K. Dittrich and R. Lorie, "Version support for engineering database system,"IEEE Trans. Software Eng., vol. 14, no. 4, pp. 429-437, Apr. 1988.
[5] C. W. Fraser and E. W. Myers, "An editor for revision control,"Ass. Comput. Mach. Trans. Programming Languages and Syst., vol. 9, no. 2, pp. 277-295, 1987.
[6] M. R. Garey and D. S. Johnson,Computers and Intractability: A Guide to Theory of NP-Completeness. San Francisco, CA: Freeman, 1979.
[7] P. Heckel, "A technique for isolating differences between files,"Commun. ACM, vol. 21, no. 4, pp. 264-268, Apr. 1978.
[8] J. Hunt and M. McIlroy, "An algorithm for differential file comparison," Computer Science Tech. Rep. 41, AT&T Bell Laboratories, Murray Hill, NJ, 1976.
[9] R. Katz, "A database approach for managing VLSI design data," inProc. ACM IEEE 19th Design Automation Conf., Las Vegas, NV, June 1982, pp. 274-282.
[10] R. Katz, R. Bhateja, E. Chang, D. Gedge, and V. Trijanto, "Design version management,"IEEE Design Test, vol. 4, no. 1, pp. 12-22, Feb. 1987.
[11] R. Katz and T. Lehman, "Database support for versions and alternatives of large design files,"IEEE Trans. Software Eng., vol. SE-10, pp. 191-200, Mar. 1984.
[12] D. Matula, Y. Shiloach, and R. Tarjan, "Two linear-time algorithms for five-coloring a planar graph," Tech. Report STAN-CS-80-830, Dept. of Comput. Sci., Stanford Univ., CA, Nov. 1980.
[13] K. Narayanaswamy and W. Scacchi, "Maintaining configurations of evolving software systems,"IEEE Trans. Software Eng., vol. SE- 13, no. 3, pp. 324-334, Mar. 1987.
[14] M. Rochkind, "The source code control system,"IEEE Trans. Software Eng., vol. SE-1, pp. 364-370, Dec. 1975.
[15] D. Severance, "Differential files: their application to the maintenance of large databases,"ACM Trans. Data Base Syst., vol. 1, pp. 256-267, 1976.
[16] Walter F. Tichy, "RCS--A system for version control,"Software--practice and Experience, vol. 15, no. 7, pp. 637-654, July 1985.
[17] Unix User's Reference Manual, Dept. Elect. Eng. Comput. Sci., Univ. CA, Berkeley, CA, Apr. 1986.
[18] VHDL Language Reference Manual, Draft Standard 1076/B, IEEE, May 1987.
[19] S. Yau and J. Tsai, "Knowledge representation of software component interconnection information for large-scale software modifications,"IEEE Trans. Software Eng., vol. SE-13, pp. 355-361, Mar. 1987.
[20] L. Yu and D. J. Rosenkrantz, "Minimizing time-space cost for database version control," inProc. 7th ACM Symp. on Principles of Database Systems, Austin, TX, Mar. 1988, pp. 294-301.
[21] L. Yu and D. J. Rosenkrantz, "Hierarchically specified designs with an ancestor-based mechanism for controlling expansion alternatives," Tech. Rep. 88-36, Comput. Sci. Dept., State Univ. New York at Albany, NY, 1988.
[22] L. Yu and D. J. Rosenkrantz, "Representability of design objects by ancestor-controlled hierarchical specifications," inProc. 9th ACM Symp. on Principles of Database Systems, Nashville, TN, April 1990, pp. 28-39.

Index Terms:
hierarchically specified design data; CAD database systems; hierarchically specified modules; ancestor-based scheme; versioned directed acyclic multigraph; VDAG; engineering design database systems; exploded forest; design trees; VDAG inequivalence; NP-complete; minimum sized VDAG; CAD; database management systems; graph theory
Citation:
L. Yu, D.J. Rosenkrantz, "Ancestor Controlled Submodule Inclusion in Design Databases," IEEE Transactions on Knowledge and Data Engineering, vol. 5, no. 2, pp. 352-362, April 1993, doi:10.1109/69.219741
Usage of this product signifies your acceptance of the Terms of Use.