Skip to main content

Dimensional Analysis of Dataflow Programming

  • 1071 Accesses

Part of the Advances in Intelligent Systems and Computing book series (AISC,volume 1289)


In this paper, we present an algorithm for the Dimensional Analysis (DA) of a two-dimensional dialect of the dataflow language Lucid, one in which the dimensions are ‘space’ as well as ‘time’. DA is indispensable for an efficient implementation of multidimensional Lucid. A Lucid program is a set of equations defining a family of multidimensional datasets; each data set being a collection of data points indexed by coordinates in a number of dimensions. Every variable in a Lucid program denotes one such dataset, and they are defined in terms of input and transformations applied to other variables. In general, not every dimension is relevant in every data set. It is very important not to include irrelevant dimensions because otherwise you have the same data duplicated with different values of the irrelevant dimension. In most multidimensional systems it is the administrator’s responsibility to exclude irrelevant dimensions and to keep track of changes in dimensionality that result from transformations. In other words, DA is performed manually. In Lucid, however, we have an alternative, namely, automated DA. Static program analysis allows us to calculate or estimate the dimensionality of program variables. This is the goal of our research. The problem is far from straightforward because Lucid programs can allow many potential dimensions, the programmer can declare local temporary dimensions, and the transformations can have complicated and even recursive definitions. Our software will be tested and incorporated in the PyLucid (Python-Based) interpreter.


  • Dimensional analysis
  • Irrelevant dimension
  • PyLucid (Python-Based) interpreter

This is a preview of subscription content, access via your institution.

Buying options

USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
USD   259.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions


  1. Hershberger, J., Shrivastava, N., Suri, S., Toth, C.D.: Adaptive spatial partitioning for multidimensional data streams. Algorithmica 46(1), 97–117 (2006).

    CrossRef  MathSciNet  MATH  Google Scholar 

  2. Dumont, P., Boulet, P.: Another multidimensional synchronous data simulating ArrayOL in ptolemy II. [Research Report] RR-5516, INRIA, p. 19 (2005)

    Google Scholar 

  3. Wadge, W.W., Ashcroft, E.A.: LUCID, the Dataflow Programming Language. Academic Press Professional Inc., San Diego (1985)

    MATH  Google Scholar 

  4. Stolte, C., Hanrahan, P.: Polaris: a system for query, analysis and visualization of multi-dimensional relational databases. In: Proceedings of the IEEE Symposium on Information Vizualization 2000, 09–10 October 2000, p. 5 (2000)

    Google Scholar 

  5. Chen, Y., Dong, G., Han, J., Wah, B.W., Wang, J.: Multi-dimensional regression analysis of time-series data streams. In: Proceedings of the 28th International Conference on Very Large Data Bases, 20–23 August 2002, Hong Kong, China, pp. 323–334 (2002)

    Google Scholar 

  6. Murthy, P.K., Lee, E.A.: Multidimensional synchronous dataflow. IEEE Trans. Signal Process. 50(8), 2064–2079 (2002).

    CrossRef  Google Scholar 

  7. Wadge, W.W.: An extensional treatment of dataflow deadlock. Theor. Comput. Sci. 13(1), 3–15 (1981)

    CrossRef  MathSciNet  Google Scholar 

  8. Najjar, W.A., Lee, E.A., Gao, G.R.: Advances in the data computational model. Parallel Comput. 25(13), 1907–1929 (1999)

    CrossRef  Google Scholar 

  9. Ackerman, W.B.: Data ow languages. Computer 15(2), 15–25 (1982)

    CrossRef  Google Scholar 

  10. Halbwachs, N., Lagnier, F., Ratel, C.: Programming and verifying real-time systems by means of the synchronous data-ow language LUSTRE. IEEE Trans. Softw. Eng. 18(9), 785–793 (1992)

    CrossRef  Google Scholar 

  11. Chudik, J., David, G., Kotov, V.E., Mirenkov, N.N., Ondas, J., Plander, I., Valkovskii, V.A.: Algorithms, software and hardware of parallel computers. In: Miklosko, J., Kotov, V.J. (eds.) Literature Review. Springer (2013)

    Google Scholar 

  12. Jagannathan, R., Dodd, C.: GLU programmer’s guide. SRI International, Menlo Park, California, Technical report (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations


Corresponding author

Correspondence to Abdulmonem I. Shennat .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Wadge, W.W., Shennat, A.I. (2021). Dimensional Analysis of Dataflow Programming. In: Arai, K., Kapoor, S., Bhatia, R. (eds) Proceedings of the Future Technologies Conference (FTC) 2020, Volume 2 . FTC 2020. Advances in Intelligent Systems and Computing, vol 1289. Springer, Cham.

Download citation