{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:00:25Z","timestamp":1762459225226},"reference-count":49,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2015,3,1]],"date-time":"2015-03-01T00:00:00Z","timestamp":1425168000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2015,3]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>Inspired by the relational algebra of data processing, this paper addresses the foundations of data analytical processing from a linear algebra perspective. The paper investigates, in particular, how aggregation operations such as cross tabulations and data cubes essential to quantitative analysis of data can be expressed solely in terms of matrix multiplication, transposition and the Khatri\u2013Rao variant of the Kronecker product. The approach offers a basis for deriving an algebraic theory of data consolidation, handling the quantitative as well as qualitative sides of data science in a natural, elegant and typed way. It also shows potential for parallel analytical processing, as the parallelization theory of such matrix operations is well acknowledged.<\/jats:p>","DOI":"10.1007\/s00165-014-0316-9","type":"journal-article","created":{"date-parts":[[2014,9,29]],"date-time":"2014-09-29T15:53:13Z","timestamp":1412005993000},"page":"283-307","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["A linear algebra approach to OLAP"],"prefix":"10.1145","volume":"27","author":[{"given":"Hugo Daniel","family":"Macedo","sequence":"first","affiliation":[{"name":"INRIA, Centre Paris-Rocquencourt, CS 81321, 23 avenue dItalie, 75214, Paris Cedex 13, France"}]},{"given":"Jos\u00e9 Nuno","family":"Oliveira","sequence":"additional","affiliation":[{"name":"High Assurance Software Lab\/INESC TEC and University of Minho, Braga, Portugal"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2003.06.002"},{"key":"e_1_2_1_2_2_2","unstructured":"Bird R de Moor O (1997) Algebra of programming. In: Hoare CAR (ed) Series in computer science. Prentice-Hall International New Jersey"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"crossref","unstructured":"Bell N Garland M (2009) Implementing sparse matrix-vector multiplication on throughput-oriented processors. In: Proceedings of the conference on high performance computing networking storage and analysis SC\u201909. ACM New York pp 18:1\u201318:11","DOI":"10.1145\/1654059.1654078"},{"key":"e_1_2_1_2_4_2","doi-asserted-by":"crossref","unstructured":"Bird RS (1989) Lecture notes on constructive functional programming 1989. In: Broy M (ed) CMCS Int. Summer School directed by F.L. Bauer [et\u00a0al.] vol 55. Springer NATO Adv. Science Institute (Series F: Comp. and System Sciences) Berlin","DOI":"10.1007\/978-3-642-74884-4_5"},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"crossref","unstructured":"Backhouse RC Michaelis D (2006) Exercises in quantifier manipulation. In: Uustalu T (ed) MPC\u201906. LNCS vol 4014. Springer Berlin pp 70\u201381","DOI":"10.1007\/11783596_7"},{"key":"e_1_2_1_2_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/248603.248616"},{"key":"e_1_2_1_2_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/362384.362685"},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2014.02.005"},{"key":"e_1_2_1_2_9_2","unstructured":"Davenport TH Patil DJ (2012) Data scientist: the sexiest job of the 21st century. Oct Harv Bus Rev"},{"key":"e_1_2_1_2_10_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-9236(99)00052-4"},{"key":"e_1_2_1_2_11_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2008.10.007"},{"key":"e_1_2_1_2_12_2","doi-asserted-by":"publisher","DOI":"10.5555\/558662"},{"key":"#cr-split#-e_1_2_1_2_13_2.1","unstructured":"Gray J Bosworth A Layman A Pirahesh H (1996) Data cube: a relational aggregation operator generalizing group-by cross-tab and sub-total. In: Su SYW"},{"key":"#cr-split#-e_1_2_1_2_13_2.2","unstructured":"(ed) Proceedings of the 12th int. conf. on data engineering Feb. 26-Mar. 1 1996 New Orleans Louisiana. IEEE Computer Society New York pp 152-159"},{"key":"e_1_2_1_2_14_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009777418785"},{"key":"e_1_2_1_2_15_2","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.2000.1691"},{"key":"e_1_2_1_2_16_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009726021843"},{"key":"e_1_2_1_2_17_2","unstructured":"Gyssens M Lakshmanan LVS (1997) A foundation for multi-dimensional databases. VLDB J 106\u2013115"},{"key":"e_1_2_1_2_18_2","unstructured":"Johnson T Lakshmanan LV Ng RT (2000) The 3w model and algebra for unified data mining. VLDB 21\u201332"},{"key":"e_1_2_1_2_19_2","doi-asserted-by":"crossref","DOI":"10.2200\/S00299ED1V01Y201009DTM009","volume-title":"Multidimensional databases and data warehousing. In: Synthesis Lectures on Data Management","author":"Jensen CS","year":"2010"},{"key":"e_1_2_1_2_20_2","unstructured":"Macedo H. (2012) Matrices as arrows\u2014why categories of matrices matter. PhD thesis University of Minho October MAPi PhD programme"},{"key":"e_1_2_1_2_21_2","doi-asserted-by":"publisher","DOI":"10.5555\/1097039"},{"key":"e_1_2_1_2_22_2","doi-asserted-by":"crossref","unstructured":"Macedo HD Oliveira JN (2010) Matrices as arrows! A biproduct approach to typed linear algebra. In: MPC LNCS vol 6120. Springer Berlin pp 271\u2013287","DOI":"10.1007\/978-3-642-13321-3_16"},{"key":"e_1_2_1_2_23_2","unstructured":"Macedo HD Oliveira JN (2011) Do the two middle letters of \u201cOLAP\u201d stand for linear algebra (\u201cLA\u201d)? Technical report TR-HASLab:4:2011 HASLab U.Minho & INESC TEC July. http:\/\/wiki.di.uminho.pt\/twiki\/bin\/view\/DI\/FMHAS\/TechnicalReports"},{"key":"e_1_2_1_2_24_2","doi-asserted-by":"crossref","unstructured":"Macedo HD Oliveira JN (2011) Towards linear algebras of components. In: FACS 2010 of LNCS vol 6921. Springer Berlin pp 300\u2013303","DOI":"10.1007\/978-3-642-27269-1_20"},{"key":"e_1_2_1_2_25_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.07.012"},{"key":"e_1_2_1_2_26_2","unstructured":"Macedo HD Oliveira JN (2014) Typed linear algebra for the data scientist (In preparation)"},{"key":"e_1_2_1_2_27_2","doi-asserted-by":"publisher","DOI":"10.1145\/376284.375666"},{"key":"e_1_2_1_2_28_2","doi-asserted-by":"crossref","unstructured":"Oliveira JN (2009) Extended static checking by calculation using the pointfree transform. LNCS vol 5520. Springer Berlin pp 195\u2013251","DOI":"10.1007\/978-3-642-03153-3_5"},{"key":"e_1_2_1_2_29_2","unstructured":"Oliveira JN (2011) Pointfree foundations for (generic) lossless decomposition. Technical report TR-HASLab:3:2011 HASLab U.Minho & INESC TEC. http:\/\/wiki.di.uminho.pt\/twiki\/bin\/view\/DI\/FMHAS\/TechnicalReports."},{"key":"e_1_2_1_2_30_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-012-0240-9"},{"key":"e_1_2_1_2_31_2","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054113400145"},{"issue":"2","key":"e_1_2_1_2_32_2","first-page":"249","article-title":"A relation-algebraic approach to the \u201cHoare logic\u201d of functional dependencies","volume":"83","author":"Oliveira JN","year":"2014","journal-title":"JLAP"},{"key":"e_1_2_1_2_33_2","doi-asserted-by":"crossref","unstructured":"Oliveira JN (2014) Relational algebra for \u201cjust good enough\" hardware. In: RAMiCS. LNCS vol 8428. Springer Berlin pp 119\u2013138","DOI":"10.1007\/978-3-319-06251-8_8"},{"key":"e_1_2_1_2_34_2","doi-asserted-by":"crossref","unstructured":"O\u2019Neil P (1989) Model 204 architecture and performance. In: Gawlick D Haynie M Reuter A (ed) High performance transaction systems. Lecture notes in computer science vol 359. Springer Berlin pp 39\u201359","DOI":"10.1007\/3-540-51085-0_42"},{"key":"e_1_2_1_2_35_2","doi-asserted-by":"publisher","DOI":"10.5555\/619070.621859"},{"key":"e_1_2_1_2_36_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-9236(01)00123-3"},{"key":"e_1_2_1_2_37_2","doi-asserted-by":"crossref","unstructured":"Rao C.R. Rao M.B. (1998) Matrix algebra and its applications to statistics and econometrics. World Scientific Pub Co Inc","DOI":"10.1142\/3599"},{"key":"e_1_2_1_2_38_2","unstructured":"Sorber L Barel M Lathauwer L (2014) Tensorlab v2.0: a MATLAB toolbox for tensor computations January. http:\/\/www.tensorlab.net"},{"key":"e_1_2_1_2_39_2","unstructured":"Schmidt G (2011) Relational mathematics. Encyclopedia of mathematics and its applications vol 132 Cambridge U.P."},{"key":"e_1_2_1_2_40_2","unstructured":"Sorjonen S (2012) OLAP query performance in column-oriented databases. Columnar databases seminar DCS. University of Helsinki. https:\/\/www.cs.helsinki.fi\/en\/courses\/58312305\/2012\/s\/s\/1."},{"key":"e_1_2_1_2_41_2","doi-asserted-by":"crossref","unstructured":"Sun J Tao D Faloutsos C (2006) Beyond streams and graphs: dynamic tensor analysis. In: KDD\u201906: proc. of the 12th ACM SIGKDD int. conf. on knowledge discovery and data mining. ACM New York pp 374\u2013383","DOI":"10.1145\/1150402.1150445"},{"key":"e_1_2_1_2_42_2","doi-asserted-by":"crossref","unstructured":"Sun J Tao D Papadimitriou S Yu PS Faloutsos C (2008) Incremental tensor analysis: theory and applications. ACM Trans Knowl Discov Data 2:11:1\u201311:37","DOI":"10.1145\/1409620.1409621"},{"key":"e_1_2_1_2_43_2","doi-asserted-by":"publisher","DOI":"10.1145\/344816.344869"},{"key":"e_1_2_1_2_44_2","doi-asserted-by":"publisher","DOI":"10.1145\/1132863.1132864"},{"key":"e_1_2_1_2_45_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2008.12.006"},{"key":"e_1_2_1_2_46_2","volume-title":"Fast track to MDX","author":"Whitehorn M","year":"2002"},{"key":"e_1_2_1_2_47_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-739X(03)00035-9"},{"key":"e_1_2_1_2_48_2","doi-asserted-by":"publisher","DOI":"10.14778\/1938545.1938548"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-014-0316-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-014-0316-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-014-0316-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T16:07:04Z","timestamp":1641485224000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-014-0316-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3]]},"references-count":49,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,3]]}},"alternative-id":["10.1007\/s00165-014-0316-9"],"URL":"https:\/\/doi.org\/10.1007\/s00165-014-0316-9","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,3]]}}}