Implementation of relational algebra using binary decision diagrams

DOI10.1007/3-540-36280-0_17MaRDI QIDQ4415085zbMATH OpenFDO

Authors Rudolf Berghammer, Barbara Leoniuk, Ulf Milanese

Publication date 28 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2561/25610241.htm

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Data structures (68P05) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Recommendations

• Computer Algebra in Scientific Computing
• Relation Algebras, Matrices, and Multi-valued Decision Diagrams
• Application of the REL VIEW system
• scientific article; zbMATH DE number 846270
• Relational Methods in Computer Science

Cited in

(27)

• Applying relation algebra and RelView to measures in a social network
• Collapsing binary data for algebraic multidimensional representation
• Choiceless polynomial time
• Cryptomorphic topological structures: a computational, relation-algebraic approach
• On the use of binary decision diagrams for solving problems on simple games
• Order- and graph-theoretic investigation of dimensions of finite topological spaces and Alexandroff spaces
• An interdisciplinary approach to coalition formation
• State space analysis of Petri nets with relation-algebraic methods
• Experimental investigation of sufficient criteria for relations to have kernels
• Efficient associative algorithms for implementing the second group of relational algebra operations
• Relation Algebra and RelView in Practical Use: Construction of Special University Timetables
• Multi-objective Problems in Terms of Relational Algebra
• Algebraic Visualization of Relations Using RelView
• Computing and Visualizing Closure Objects Using Relation Algebra and RelView
• Spatial voting games, relation algebra and RelView
• scientific article; zbMATH DE number 1432324 (Why is no real title available?)
• Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool
• Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces
• Computer Algebra in Scientific Computing
• Relational Methods in Computer Science
• Theory and Applications of Relational Structures as Knowledge Instruments
• Relation-algebraic specification and solution of special university timetabling problems
• A relation-algebraic approach to simple games
• Relation-algebraic computation of fixed points with applications
• Applying relational algebra and REL VIEW to coalition formation
• Applying relation algebra and RelView to solve problems on orders and lattices
• Relational measures and integration in preference modeling

Describes a project that uses

Uses Software

• CUDD
• RelView

This page was built for publication: Implementation of relational algebra using binary decision diagrams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4415085)