A linear algebra approach to OLAP

DOI10.1007/s00165-014-0316-9zbMath1331.68055OpenAlexW2138414916WikidataQ56428792 ScholiaQ56428792MaRDI QIDQ2355381

José Nuno Oliveira, Hugo Daniel Macedo

Publication date: 23 July 2015

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: http://repositorio.inesctec.pt/handle/123456789/6594

zbMATH Keywords

formal methodssoftware engineeringdata science

Mathematics Subject Classification ID

General topics in the theory of data (68P01)

Related Items (7)

Stone Relation Algebras ⋮ ``Keep definition, change category -- a practical approach to state-based system calculi ⋮ Gaussian elimination is not optimal, revisited ⋮ Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm ⋮ Relations in linear algebra ⋮ Verifying minimum spanning tree algorithms with Stone relation algebras ⋮ An algebraic framework for minimum spanning tree problems

Uses Software

• Tensorlab

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relational style laws and constructs of linear algebra
• A relation-algebraic approach to the ``Hoare logic of functional dependencies
• Safety of abstract interpretations for free, via logical relations and Galois connections
• Towards a linear algebra of programming
• Matrices as Arrows!
• Exercises in Quantifier Manipulation
• Multidimensional Databases and Data Warehousing
• Extended Static Checking by Calculation Using the Pointfree Transform
• WEIGHTED AUTOMATA AS COALGEBRAS IN CATEGORIES OF MATRICES
• Preparing Relational Algebra for “Just Good Enough” Hardware
• A relational model of data for large shared data banks
• PARSIMONY: An infrastructure for parallel multidimensional analysis and data mining

This page was built for publication: A linear algebra approach to OLAP