Knowledge compilation meets database theory: compiling queries to decision diagrams
type: Item
instance of: scholarly article
title: Knowledge compilation meets database theory: compiling queries to decision diagrams
zbMATH Open document ID: 1270.68297
author: Abhay Jha
author: Dan Suciu
published in: Theory of Computing Systems
publication date: 2013-08-23T00:00:00Z
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 68P15
Mathematics Subject Classification ID: 68Q87
zbMATH DE Number: 6201159
zbMATH Keywords: probabilistic databases
zbMATH Keywords: knowledge compilation
zbMATH Keywords: binary decision diagrams
zbMATH Keywords: OBDD
zbMATH Keywords: FBDD
zbMATH Keywords: d-DNNF
MaRDI profile type: Publication
full work available at URL: s00224-012-9392-5
OpenAlex ID: W2023076960
cites work: A very simple function that requires exponential size read-once branching programs.
cites work: Complexity theoretical results on partitioned (nondeterministic) binary decision diagrams
cites work: Graph-Based Algorithms for Boolean Function Manipulation
cites work: On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication
cites work: On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision
cites work: Q4411139
cites work: A simple function that requires exponential size read-once branching programs
cites work: Efficient Boolean manipulation with OBDD's can be extended to FBDD's
cites work: Factoring and recognition of read-once functions using cographs and normality and the readability of functions associated with partial \(k\)-trees
cites work: Q4120519
cites work: Equivalences Among Relational Expressions with the Union and Difference Operators
cites work: Graph driven BDDs -- a new data structure for Boolean functions
cites work: Branching Programs and Binary Decision Diagrams
cites work: BDDs -- design, analysis, complexity, and applications.
DOI: 10.1007/S00224-012-9392-5
description: scientific article; zbMATH DE number 6201159